Timetable
| Title | Type | Location | Serial | Start | End | All Day | |
|---|---|---|---|---|---|---|---|
| Coq WarmUp | Tutorial | 15.04.21 | 15.04.21 | No | |||
| Endterm Exam | Exam | 13.08.21 | N/A | Yes | |||
| Endterm Exam | Exam | 12.08.21 | N/A | Yes | |||
| Final Exam | Exam | 16.09.21 | N/A | Yes | |||
| Lecture | Lecture | Zoom | 1 | 19.05.21 | 19.05.21 | No | |
| Lecture | Lecture | Zoom | 1 | 26.05.21 | 26.05.21 | No | |
| Lecture | Lecture | Zoom | 1 | 28.04.21 | 28.04.21 | No | |
| Lecture | Lecture | Zoom | 1 | 16.06.21 | 16.06.21 | No | |
| Lecture | Lecture | Zoom | 1 | 12.05.21 | 12.05.21 | No | |
| Lecture | Lecture | Zoom | 1 | 23.06.21 | 23.06.21 | No | |
| Lecture | Lecture | Zoom | 1 | 30.06.21 | 30.06.21 | No | |
| Lecture | Lecture | Zoom | 1 | 07.07.21 | 07.07.21 | No | |
| Lecture | Lecture | Zoom | 1 | 14.07.21 | 14.07.21 | No | |
| Lecture | Lecture | Zoom | 1 | 21.07.21 | 21.07.21 | No | |
| Lecture | Lecture | Zoom | 2 | 30.04.21 | 30.04.21 | No | |
| Lecture | Lecture | Zoom | 1 | 09.06.21 | 09.06.21 | No | |
| Lecture | Lecture | Zoom | 2 | 23.04.21 | 23.04.21 | No | |
| Lecture | Lecture | Zoom | 2 | 07.05.21 | 07.05.21 | No | |
| Lecture | Lecture | Zoom | 2 | 14.05.21 | 14.05.21 | No | |
| Lecture | Lecture | Zoom | 2 | 21.05.21 | 21.05.21 | No | |
| Lecture | Lecture | Zoom | 2 | 28.05.21 | 28.05.21 | No | |
| Lecture | Lecture | Zoom | 2 | 04.06.21 | 04.06.21 | No | |
| Lecture | Lecture | Zoom | 2 | 11.06.21 | 11.06.21 | No | |
| Lecture | Lecture | Zoom | 2 | 18.06.21 | 18.06.21 | No | |
| Lecture | Lecture | Zoom | 2 | 16.04.21 | 16.04.21 | No |