Wintersemester 2023/24
- Grundlagen der Logik in der Informatik (GLoIn)
- Algebra des Programmierens (AlgProg)
- Advanced Mechanized Reasoning in Coq (Americo)
- Beschreibungslogik und formale Ontologien (DL)
- Formale Verifikation (FV)
- Oberseminar
- Seminar Advanced Competitive Programming (ACP)
- Seminar Algebraische und logische Aspekte der Automatentheorie (ALoA)