Timetable
Title | Type | Location | Serial | Start | End | All Day | |
---|---|---|---|---|---|---|---|
Lecture – Policy Verification II: Policy Predicate Abstraction | Lecture | HS003 (E1 3) | 1 | 03.07.25 | 03.07.25 | No | |
Final Exam | Exam | HS003 E1 3 | 24.07.25 | 24.07.25 | No | ||
Exam Inspection | Exam | E1 1Room 3.06 | 31.07.25 | 31.07.25 | No | ||
Tutorial | Tutorial | E1 1, room 3.06 | 2 | 08.05.25 | 08.05.25 | No | |
Tutorial | Tutorial | E1 1, room 3.06 | 2 | 15.05.25 | 15.05.25 | No | |
Tutorial | Tutorial | E1 1, room 3.06 | 2 | 22.05.25 | 22.05.25 | No | |
Tutorial | Tutorial | E1 1, room 3.06 | 2 | 05.06.25 | 05.06.25 | No | |
Tutorial | Tutorial | E1 1, room 3.06 | 2 | 12.06.25 | 12.06.25 | No | |
Tutorial | Tutorial | E1 1, room 3.06 | 2 | 26.06.25 | 26.06.25 | No | |
Tutorial | Tutorial | E1 1, room 3.06 | 2 | 03.07.25 | 03.07.25 | No |