Lehrveranstaltungen im Sommersemester 2010
- Diplomandenseminar
- Vorlesung "MS0301 - Prinzipien von Programmiersprachen"
- Vorlesung "MS0304 - Funktionale Programmierung"
- MSS303 - Masterabschluss-Seminar
- Vorlesung "Systematisches Programmieren"
- Vorlesung "Systematisches Programmieren für Physiker"
- Vorlesung "WI09 - Fortgeschrittene Programmierung"
- Arbeitsgemeinschaft "Informatik, Logik und Mathematik"