Timetable
| Title | Type | Location | Serial | Start | End | All Day | |
|---|---|---|---|---|---|---|---|
| Office Hour | Office Hour | Zoom | 4 | 12.04.21 | 12.04.21 | No | |
| Office Hour | Office Hour | 5 | 13.04.21 | 13.04.21 | No | ||
| Lecture | Lecture | Zoom | 1 | 14.04.21 | 14.04.21 | No | |
| Coq WarmUp | Tutorial | 15.04.21 | 15.04.21 | No | |||
| Lecture | Lecture | Zoom | 2 | 16.04.21 | 16.04.21 | No | |
| Office Hour | Office Hour | Zoom | 4 | 19.04.21 | 19.04.21 | No | |
| Office Hour | Office Hour | 5 | 20.04.21 | 20.04.21 | No | ||
| Test | Exam | 6 | 20.04.21 | 20.04.21 | No | ||
| Lecture | Lecture | Zoom | 1 | 21.04.21 | 21.04.21 | No | |
| Tutorial | Tutorial | 7 | 22.04.21 | 22.04.21 | No |