Timetable
Title | Type | Location | Serial | Start | End | All Day | |
---|---|---|---|---|---|---|---|
Endterm Exam | Exam | 12.08.21 | N/A | Yes | |||
Final Exam | Exam | 16.09.21 | N/A | Yes | |||
Endterm Exam | Exam | 13.08.21 | N/A | Yes | |||
Coq WarmUp | Tutorial | 15.04.21 | 15.04.21 | No | |||
Tutorial | Tutorial | 9 | 08.07.21 | 08.07.21 | No | ||
Tutorial | Tutorial | 9 | 24.06.21 | 24.06.21 | No | ||
Tutorial | Tutorial | 9 | 01.07.21 | 01.07.21 | No | ||
Tutorial | Tutorial | 9 | 27.05.21 | 27.05.21 | No | ||
Tutorial | Tutorial | 9 | 06.05.21 | 06.05.21 | No | ||
Tutorial | Tutorial | 9 | 10.06.21 | 10.06.21 | No | ||
Tutorial | Tutorial | 9 | 15.07.21 | 15.07.21 | No | ||
Tutorial | Tutorial | 9 | 20.05.21 | 20.05.21 | No | ||
Tutorial | Tutorial | 9 | 17.06.21 | 17.06.21 | No | ||
Tutorial | Tutorial | 9 | 22.04.21 | 22.04.21 | No | ||
Tutorial | Tutorial | 9 | 22.07.21 | 22.07.21 | No | ||
Tutorial | Tutorial | 9 | 29.04.21 | 29.04.21 | No | ||
Tutorial | Tutorial | 8 | 24.06.21 | 24.06.21 | No | ||
Tutorial | Tutorial | 8 | 06.05.21 | 06.05.21 | No | ||
Tutorial | Tutorial | 8 | 01.07.21 | 01.07.21 | No | ||
Tutorial | Tutorial | 8 | 20.05.21 | 20.05.21 | No | ||
Tutorial | Tutorial | 8 | 10.06.21 | 10.06.21 | No | ||
Tutorial | Tutorial | 8 | 27.05.21 | 27.05.21 | No | ||
Tutorial | Tutorial | 8 | 22.04.21 | 22.04.21 | No | ||
Tutorial | Tutorial | 8 | 15.07.21 | 15.07.21 | No | ||
Tutorial | Tutorial | 8 | 17.06.21 | 17.06.21 | No | ||
Tutorial | Tutorial | 8 | 08.07.21 | 08.07.21 | No | ||
Tutorial | Tutorial | 8 | 29.04.21 | 29.04.21 | No | ||
Tutorial | Tutorial | 8 | 22.07.21 | 22.07.21 | No | ||
Tutorial | Tutorial | 7 | 10.06.21 | 10.06.21 | No | ||
Tutorial | Tutorial | 7 | 17.06.21 | 17.06.21 | No | ||
Tutorial | Tutorial | 7 | 27.05.21 | 27.05.21 | No | ||
Tutorial | Tutorial | 7 | 29.04.21 | 29.04.21 | No | ||
Tutorial | Tutorial | 7 | 06.05.21 | 06.05.21 | No | ||
Tutorial | Tutorial | 7 | 20.05.21 | 20.05.21 | No | ||
Tutorial | Tutorial | 7 | 15.07.21 | 15.07.21 | No | ||
Tutorial | Tutorial | 7 | 22.07.21 | 22.07.21 | No | ||
Tutorial | Tutorial | 7 | 08.07.21 | 08.07.21 | No | ||
Tutorial | Tutorial | 7 | 22.04.21 | 22.04.21 | No | ||
Tutorial | Tutorial | 7 | 24.06.21 | 24.06.21 | No | ||
Tutorial | Tutorial | 7 | 01.07.21 | 01.07.21 | No | ||
Test | Exam | 6 | 18.05.21 | 18.05.21 | No | ||
Test | Exam | 6 | 25.05.21 | 25.05.21 | No | ||
Test | Exam | 6 | 11.05.21 | 11.05.21 | No | ||
Test | Exam | 6 | 27.04.21 | 27.04.21 | No | ||
Test | Exam | 6 | 04.05.21 | 04.05.21 | No | ||
Test | Exam | 6 | 01.06.21 | 01.06.21 | No | ||
Test | Exam | 6 | 20.04.21 | 20.04.21 | No | ||
Test | Exam | 6 | 06.07.21 | 06.07.21 | No | ||
Test | Exam | 6 | 13.07.21 | 13.07.21 | No | ||
Test | Exam | 6 | 29.06.21 | 29.06.21 | No |