Sommersemester:
- Automated Reasoning, Master, EN
- Logik und Verifikation Seminar, Bachelor/Master, EN
- Algorithmen und Deduktion Projekt, EN
Wintersemester:
- Logik und Semantik von Programmiersprachen, Bachelor, DE
- Algorithmen und Deduktion Projekt, EN
- Game Theory in Logic and Verification, Master, EN [Every 2 years]
- Logik und Verifikation Seminar, Bachelor/Master, EN