Lehrveranstaltungen im Sommersemester 2007
- Vorlesung "Deklarative Programmiersprachen"
- Seminar "Funktionale Programmiertechniken"
- Diplomandenseminar
- Fachpraktische Übung mit Seminar "Verteilte Echtzeit-Programmierung"
- Systematisches Programmieren
- Arbeitsgemeinschaft "Informatik, Logik und Mathematik"