Lehrveranstaltungen
Wintersemester 2023/24

Einführende Veranstaltungen

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

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

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

Weiterführende Veranstaltungen

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

• Vorlesung SAT Solving
  3+1-std., Johannsen, Kondylidou

Sonstige

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