| Course | Type | Lecturers | Quick Links |
|---|---|---|---|
| Algorithmen, Komplexitätstheorie und Formale Sprachen | Lecture | Reischuk | |
| Algorithmik | Lecture | Reischuk | |
| Algorithmische Verfahren zur Datenkompression | Lecture | Völzer | |
| Informatik A | Lecture | Tantau, Reischuk | |
| Verteilte Algorithmen | Lecture | Völzer | |
| Wissensbasierte und lernende Systeme | Lecture | Liskiewicz | |
| Computational Geometry | Proseminar | Liskiewicz | |
| Formal Developments of Programs | Proseminar | Völzer | |
| Communication Complexity | Seminar | Reischuk, Balbach | |
| Oberseminar Theoretische Informatik | Seminar | Reischuk, Tantau | |
| Petrinetze | Seminar | Völzer | |
| Wissenschaftsmethodik | Seminar | Reischuk, Arpe |
