Courses (Summer term 2023)

Lectures
Title	Type	Semester	SWS
Timed Systems	Lecture (L)	SS 2023	2

Seminars
Title	Type	Semester	SWS
Proseminar Self-Explainability of Software Systems: AI meets Theoretical Computing Science	Proseminar (PS)	SS 2023	2