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 | ||
| 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 | 01.06.23 | 01.06.23 | No | ||
| Meeting | Meeting | E9.1 (CISPA Building), meeting room 3.21 | 29.06.23 | 29.06.23 | No |