Lehrveranstaltungen im Sommersemester 2001
- Vorlesung "Prinzipien von Programmiersprachen" (Ankündigung)
- Fortgeschrittenen-Praktikum "Verteilte Programmierung"
- Seminar "Hochsprachen zur nebenläufigen und verteilten Programmierung"
- Diplomandenseminar (hier sind Vorschläge für Diplomarbeiten)
- Arbeitsgemeinschaft "Informatik, Logik und Mathematik"
- Vorlesung "Probleme beim Bau voll korrekter Übersetzer" (Ankündigung)
(Übung) - Vorlesung "Systematisches Programmieren" (Nebenfachausbildung)