Lehrveranstaltungen
Wintersemester 2024/25

Einführende Veranstaltungen

• Vorlesung Einführung in die Programmierung
  4+2-std., Blanchette

• Bachelor-Kurs Python für Anfänger
  2-std., Guerdi, Blanchette

• Bachelor-Seminar Basics of Theorem Proving Using Coq
  2-std., Limperg, Blanchette

• Bachelor-Praktikum Softwareentwicklungspraktikum für Informatik im Nebenfach
  3-std., Dannehl, Kondylidou, Blanchette, Kinder

Weiterführende Veranstaltungen

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

• Vorlesung Complexity Theory
  3+1-std., Johannsen

• Master-Seminar Functional Programming and Type Theory
  2-std., Maio, Blanchette

• Master-Praktikum Formalization in Lean
  2+2-std., Généreux, Blanchette

Sonstige

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