GdI-AFP-M Advanced Functional Programming
GdI-CSNL-M: Computational Semantics of Natural Language
GdI-GTI-B: Grundlagen der Theoretischen Informatik
GdI-Proj-B
GdI-Sem-M: God, Modal Logic and Computational Metaphysics
Repetitorium Theoretischen Informatik
Scientific Research and Writing for Master's Students [SSS-SRW-M]