Lehrveranstaltungen
Sommersemester 2024

Einführende Veranstaltungen

• Vorlesung Formale Sprachen und Komplexität
  3(+1)+2-std., Di 14-17, Mi 12-14, Blanchette

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

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

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

• Bachelor-Seminar Functional Pearls
  2-std., Maio

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

Sonstige

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