GdI-CSNL (Computational Semantics of Natural Languages and Modal Predicate Logic) (SS24)
- Moderator/in: Gabriele Bauer
- Moderator/in: Luke Burke
- Moderator/in: Michael Mendler
Semester: 2024 Sommersemester
GdI-GTI-B: Grundlagen der Theoretischen Informatik (Machines and Languages)
- Moderator/in: Luke Burke
- Moderator/in: Michael Mendler
Semester: 2024 Sommersemester
GdI-FPRS-M: Functional Programming of Reactive Systems
- Moderator/in: Gabriele Bauer
- Moderator/in: Luke Burke
- Moderator/in: Michael Mendler
Semester: 2024 Sommersemester