Lehrveranstaltungen
Wintersemester 2025/26

Einführende Veranstaltungen

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

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

• Proseminar Scientific and Technical English for Computer Scientists
  2-std., Blanchette

• Proseminar Functional Pearls
  2-std., Desharnais, Blanchette

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

Weiterführende Veranstaltungen

• Hauptseminar Satisfiability Modulo Theories
  2-std., Kondylidou, Blanchette

• Hauptseminar Type Theory
  2-std., Guerdi, Blanchette

• Master-Praktikum Mobile Application Development
  2+2-std., Toth, Blanchette

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

• Master-Praktikum SAT Solving
  2+2-std., Johannsen

Sonstige

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