Lehrveranstaltungen im Sommersemester 2007
- Vorlesung "Deklarative Programmiersprachen" (Ankündigung)
- Seminar "Funktionale Programmiertechniken" (Ankündigung)
- Diplomandenseminar (hier sind Vorschläge für Diplomarbeiten)
- Fachpraktische Übung mit Seminar "Verteilte Echtzeit-Programmierung" (Ankündigung)
- Systematisches Programmieren (Ankündigung)
- Arbeitsgemeinschaft "Informatik, Logik und Mathematik"