Wintersemester 2022/23
- Grundlagen der Logik in der Informatik (GLoIn)
- Advanced Mechanized Reasoning in Coq (Americo)
- Formale Methoden der Softwareentwicklung (FMSoft)
- Kommunikation und parallele Prozesse (KommPar)
- Oberseminar
- Seminar Homotopy Type Theory (HoTT)
- Seminar Advanced Competitive Programming (ACP)
- Seminar Themen der Kategorientheorie (TopCat)