Timetable
You can import this calendar in your calendar app by copying an export link from the "Date Overview" menu.
Upcoming Events
| Lecture – Policy Learning: Action Schema Networks/Policy Verification I: Basics | 05.06.2025 10:15 - 11:45 | |
| Tutorial | 05.06.2025 14:15 - 15:45 | |
| Lecture – Policy Verification I: Basics | 12.06.2025 10:15 - 11:45 | |
| Tutorial | 12.06.2025 14:15 - 15:45 | |
| 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 |