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 "Interactive Theorem Proving"
- VU3 "Interactive Theorem Proving in Isabelle/HOL"
- VU3 "Advanced Machine Learning"
Elective Module: Selected Topics in Logic and Learning (WM 8)
WS 2023
SS 2024
WS 2024 (planned)
- VU3 "Program and Resource Analysis"
SS 2025 (planned)
- VU3 "Automated Theorem Proving"
- VU3 "Advanced Logic"
Elective Module: Advanced Topics in Logic and Learning (WM 9)
WS 2022
SS 2023
WS 2023
SS 2024
WS 2024 (planned)
- VU3 "Tree Automata"
SS 2025 (planned)
- VU3 "Selected Topics in Term Rewriting"
- SE2 "Research Seminar: CL/TCS"