Lehrveranstaltungen
Sommersemester 2025

Einführende Veranstaltungen

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

• Vorlesung Logik und Diskrete Strukturen
  3-std., Johannsen

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

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

Weiterführende Veranstaltungen

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

• Master-Seminar Dependent Type Theory
  2-std., Limperg

• Master-Praktikum Cryptography
  2+2-std., Kondylidou

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

Sonstige

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