Timetable
You can import this calendar in your calendar app by copying an export link from the "Date Overview" menu.
Upcoming Events
| PUBLIC HOLIDAY | 19.06.2025 | |
| Lecture – Policy Verification II: Policy Predicate Abstraction | 26.06.2025 10:15 - 11:45 | |
| Tutorial | 26.06.2025 14:15 - 15:45 | |
| Lecture – Policy Verification II: Policy Predicate Abstraction | 03.07.2025 10:15 - 11:45 | |
| Tutorial | 03.07.2025 14:15 - 15:45 | |
| Lecture – Policy Testing: Classical Planning | 10.07.2025 10:15 - 11:45 | |
| Tutorial | 10.07.2025 14:15 - 15:45 |