Wintersemester 2025/26

Vertiefende Veranstaltungen

• Algebra des Programmierens (Campo)
• Automatenlernen (Campo)
• Automaten und Logik (Campo)
• Advanced Competitive Programming (Campo)
• Beschreibungslogik und formale Ontologien (Campo)
• Oberseminar

Grundlagenveranstaltungen

• Grundlagen der Logik in der Informatik