- 338.110, VL Formal Models in AI, Mena Leemhuis, 2026W (2026W338110)
- 338.111, UE Formal Models in AI, Paulus Seip, 2026W (2026W338111)
- 338.112, UE Formal Models in AI, Peter Pfeiffer, 2026W (2026W338112)
- 338.113, UE Formal Models in AI, Mena Leemhuis, 2026W (2026W338113)
- 338.114, UE Formal Models in AI, Peter Pfeiffer, 2026W (2026W338114)
- 338.115, UE Formal Models in AI, Mena Leemhuis, 2026W (2026W338115)
- Teacher: Mena Leemhuis
- Teacher: Peter Pfeiffer
- Teacher: Paulus Seip