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

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

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

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

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

Sonstige

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