AlgoK and GDl Joint Research Seminar [S]
GdI-FPRS-M: Functional Programming of Reactive Systems
GdI-GTI-B: Grundlagen der Theoretischen Informatik (Machines and Languages)