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