Lehrveranstaltungen
Wintersemester 2009/10
Grundstudium und Bachelor
- Vorlesung Spezifikation und Verifikation
3-std., Mo 10-12, Do 10-12, Hofmann; Übungen 2-std., Schöpp
- Seminar Pioniere der Informatik
2-std., Lange
Hauptstudium
- Vorlesung Temporallogik
4-std., Lange
- Hauptseminar Multiagentensysteme
2-std., Brandt, Brill, Fischer, Harrenstein
- Praktikum Compilerbau
4-std., Hofmann, Schöpp, Grabowski
Lehramt
- Staatsexamensvorbereitung
2-std., Hofmann, Brichzin, Hüller
Sonstige
- Oberseminar Theoretische Informatik I
2-std., Hofmann, Fr 14-16
- Oberseminar Theoretische Informatik II
2-std., Lange, Di 10-12
- Arbeitsgemeinschaft Komplexität und Programmiersprachen
2-std., Hofmann
