Timetable
| Title | Type | Location | Serial | Start | End | All Day | |
|---|---|---|---|---|---|---|---|
| Tutorial | Tutorial | E1 1, room 3.06 | 2 | 10.07.25 | 10.07.25 | No | |
| Lecture – Policy Verification II: Policy Predicate Abstraction | Lecture | HS003 (E1 3) | 1 | 03.07.25 | 03.07.25 | No | |
| Lecture – Policy Verification II: Policy Predicate Abstraction | Lecture | HS003 (E1 3) | 1 | 26.06.25 | 26.06.25 | No |