Lehrveranstaltungen
Sommersemester 2027

Einführende Veranstaltungen

• Vorlesung Formale Sprachen und Komplexität
  3(+1)+2-std., Johannsen

• Vorlesung Theoretische Informatik für Studierende der Medieninformatik
  2(+1)+1-std., Johannsen

• Vorlesung Programmierung und Modellierung
  3+2-std., Blanchette

• Bachelor-Seminar Algebra and Computer Science
  2-std., Généreux, Blanchette

Weiterführende Veranstaltungen

• Vorlesung Interactive Theorem Proving
  2+2-std., Blanchette

• Vorlesung Theory and Security of Voting Systems
  2+2-std., Kirsten, Blanchette

• Master-Praktikum Automated Theorem Provers
  2+2-std., Guerdi, Bozec, Blanchette

• Master-Seminar Type Theory
  2+2-std., Guilloud, Blanchette

Sonstige

• Oberseminar Theoretische Informatik und Theorembeweisen
  2-std., Blanchette