Lehrveranstaltungen im Sommersemester 2001
- Vorlesung "Prinzipien von Programmiersprachen" (Ankündigung)
- Fortgeschrittenen-Praktikum "Verteilte Programmierung" (Ankündigung)
- Seminar "Hochsprachen zur nebenläufigen und verteilten Programmierung" (Ankündigung)
- 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)(Ankündigung)