Bachelor/Master Seminar (WS 2020/21)

We offer a Bachelor/Master seminar “Software Engineering” (cf. 89-3311 / 89-3372).

Topics

The topics cover theoretical and practical aspects of verification and model checking. We will work with the following theorem provers / model checkers:

• Agda
• Coq
• Isabelle/HOL
• TLA+
• Z3

More details and materials will be published later.

Prerequisites

To participate in our seminar, you should be familiar with propositional logic and first-order predicate logic.

Registration

The registration deadline was on September 18th 2020. We got way more applications than we can accommodate, therefore we had to select who can participate. The selection is completed, we’ve sent out acceptance/rejection notices to all applicants. We have no more available places.

If you have any questions, please contact Markus Heinrich.