Timetable
You can import this calendar in your calendar app by copying an export link from the "Date Overview" menu.
Upcoming Events
| Lecture | 10.07.2026 10:00 - 12:00 | |
| Oral Exams | 16.07.2026 - 17.07.2026 |
Parameterized Verification
Swen Jacobs