Timetable
| Title | Type | Location | Serial | Start | End | All Day | |
|---|---|---|---|---|---|---|---|
| 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 | 01.06.23 | 01.06.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 |