ARES3: Oberseminar Software Science
GdI-IFP: Introduction to Functional Progamming
GdI-MfI-1-B: Mathematik für Informatik
GdI-MTL: Modal and Temporal Logic