Sommersemester 2013
- Theoretische Informatik II
- Critical Thinking: Logik und Argumentation
- How critical is Logic? I will tell you. In every Corner of the known universe, you will either find the presence of logical arguments or, more significantly, the absence. (V.K.Samadar)
- Seminar Theoretische Informatik: Funktionale Programmierung
- Cartesisches Seminar
- Theorie-Kolloquium