GdI-IFP: Introduction to Functional Programming
- Moderator/in: Gabriele Bauer
- Moderator/in: Luke Burke
- Moderator/in: Michael Mendler
Semester: 2024/25 Wintersemester
GdI-MTL: Modal and Temporal Logic
- Moderator/in: Gabriele Bauer
- Moderator/in: Luke Burke
- Moderator/in: Michael Mendler
Semester: 2024/25 Wintersemester
GdI-Sem-M/B: Seminar GdI (Computational Semantics of Natural Language and Modal Predicate Logic)
- Moderator/in: Luke Burke
Semester: 2024/25 Wintersemester