Research Group Computer Science 2

Dept. of Computer Science

Seminar: Verification Techniques (S2, WS 2019)

Instructors

Prof. Dr. Jürgen Giesl, Stefan Dollase, Marcel Hark, Jera Hensel, David Korzeniewski

Contents

Several techniques and methods for program verification will be presented in this seminar.

Times

• 05.04.2019: Kickoff Meeting
• 19.04.2019: Contact your supervisor
• 26.04.2019: Withdrawing without failing the seminar.
• 17.05.2019: Read and understand your primary sources, if needed, obtain more literature. Discuss a rough sketch of your seminar paper with your supervisor.
• 14.06.2019: Complete your seminar paper (10 pages including title and references) and send it to your supervisor.
• As arranged with your supervisor but at the latest two weeks before the talk: Complete slides for your talk and send them to your supervisor.
• As arranged with your supervisor but at the latest one weeks before the talk: Hand in final version of your seminar paper.
• 04.09.2019 starting at 8:30: Seminar talks in our Seminar Room (4201b). Please see the schedule below.

Requirements for the Seminar Paper

• The seminar paper should be written in either German or English.
• The seminar paper should adhere to the following layout:
  • single-column
  • font size 11
  • margin approximately 3cm on every side
• Do not provide an index or table of contents, but attach a list of references.
• The seminar paper should have at most 10 pages including the title and the list of references. A seminar paper with more pages will not be considered.
• More than 5 spelling or grammar mistakes on a single page will lead to an immediate rejection of your paper, so please use an automated spell checker!
• The seminar paper can be created using any text processing program. However, we recommend to use LaTeX.
  • Introduction to LaTeX from the LaTeX course
  • General Remarks about seminar papers and talks
• We do not provide a LaTeX-Template.

Requirements for the Seminar Talk and Slides

• The seminar talk should be held in either German or English.
• The seminar slides should be written in either German or English.
• The seminar talk should take 25 minutes.
• The seminar slides can be created using any presentation program.

Prerequisites

Participants should have knowledge in program verification or related areas (for example "functional programming", "logic programming", "term rewriting", "satisfiability checking", "model checking", "static program analysis", "semantics and verification of software", etc.).

Topics

Area

Theoretical Computer Science

Further Details and Questions

For further details please contact Stefan Dollase.

Disclaimer

Research Group Computer Science 2

Dept. of Computer Science