ARES3: Oberseminar Software Science
GdI-AFP-M Advanced Functional Programming
GdI-GTI-B: Grundlagen der Theoretischen Informatik
GdI-Proj-B