GdI-MfI-1-B: Mathematik für Informatik 1
GdI-MTL: Modal and Temporal Logic
GdI-Proj-M: Masterprojekt Grundlagen der Informatik
GdI-Sem-B/M: Seminar (Computational Semantics of Natural Language)