Wintersemester 2025/26
Vertiefende Veranstaltungen
- Algebra des Programmierens (Campo) (StudOn)
- Automatenlernen (Campo) (StudOn)
- Automaten und Logik (Campo) (StudOn)
- Advanced Competitive Programming (Campo) (StudOn)
- Beschreibungslogik und formale Ontologien (Campo)
- Oberseminar