Timetable
| Title | Type | Location | Serial | Start | End | All Day | |
|---|---|---|---|---|---|---|---|
| Final Report Due | Deadline | 11.09.23 | N/A | Yes | |||
| Kickoff meeting | Meeting | E9.1 (CISPA Building), meeting room 0.01 | 04.05.23 | 04.05.23 | No | ||
| Lecture: Brief Intro to Formal Methods | Meeting | E9.1 (CISPA Building), meeting room 3.21 | 11.05.23 | 11.05.23 | No | ||
| Meeting | Meeting | E9.1 (CISPA Building), meeting room 3.21 | 27.07.23 | 27.07.23 | No | ||
| Meeting | Meeting | E9.1 (CISPA Building), meeting room 3.21 | 13.07.23 | 13.07.23 | No | ||
| Meeting | Meeting | E9.1 (CISPA Building), meeting room 0.07 | 22.06.23 | 22.06.23 | No | ||
| Meeting | Meeting | E9.1 (CISPA Building), meeting room 3.21 | 29.06.23 | 29.06.23 | No | ||
| Meeting | Meeting | E9.1 (CISPA Building), meeting room 3.21 | 01.06.23 | 01.06.23 | No | ||
| Report Draft Due | Deadline | 25.08.23 | N/A | Yes |