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)