Summer 2025 Master Program
Summer 2025
Master Program
| Course number | Type/hours | Semester | Title |
|---|
| 703304 + 703305 |
VO2 + PS2 |
SS 2025 |
Constraint Solving |
| 703319 |
SE2 |
SS 2025 |
Research Seminar in Logic and Learning: CL/TCS |
| 703360 |
VU3 |
SS 2025 |
Semantics of Programming Languages |
