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