| Veranstaltung | Art | Frequenz | Dozent |
|---|---|---|---|
| Datenstrukturen und Algorithmen | Vorlesung | jährlich im WS | Meier |
| Grundlagen der Theoretischen Informatik | Vorlesung | jährlich im WS | Vollmer |
| Komplexität von Algorithmen | Vorlesung | jährlich im SS | Meier |
| Logik und formale Systeme | Vorlesung | jährlich im SS | Vollmer |
| Proseminar Theoretische Informatik | Proseminar | WS 2025/26 | Meier |