Master's Programme Computer Science Specialisation
Logic and Learning
Elective Module: Logic and Learning (WM 7)
SS 2023
SS 2024
- 703314 - VU3 "Interactive Theorem Proving"
- 703315 - VU3 "Interactive Theorem Proving in Isabelle/HOL"
- 703349 - VU3 "Advanced Machine Learning"
SS 2025 (planned)
- VU3 "Semantics of Programming Languages"
Elective Module: Selected Topics in Logic and Learning (WM 8)
WS 2023
SS 2024
- 703358 - VU3 "Automated Theorem Proving" (cancelled)
- 703359 - VU3 "Quantum Computation"
WS 2024
SS 2025 (planned)
- VU3 "Quantum Computing"
Elective Module: Advanced Topics in Logic and Learning (WM 9)
WS 2022
SS 2023
WS 2023
SS 2024
WS 2024
SS 2025 (planned)
- SE2 "Research Seminar: CL/TCS"