Summer 2025 Master Program - Computational Logic

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