| Dozent: | Prof. Dr. Enno Ohnebusch |
| Prof. Dr. Hans A. Kestler | |
| Dr. Karlheinz Holzmann | |
Die Vorlesung findet wöchentlich mittwochs 08:30 - 10:00 Uhr in Raum 123 in O27 statt.
Die Übung findet zweiwöchentlich freitags 14:00 - 16:00 Uhr in Raum 121 in O27 statt.
Weitere Informationen finden Sie auf der Internetseite des Instituts für Theoretische Informatik.