Timetable
| Title | Type | Location | Serial | Start | End | All Day | |
|---|---|---|---|---|---|---|---|
| Kick-Off | Kick-Off | Room 1.06 in E1 1 and online | 27.04.22 | 27.04.22 | No | ||
| Talks 1 + 2 | Full Talk | Room 1.06 in E1 1 and online | 29.06.22 | 29.06.22 | No | ||
| Talk 3 | Full Talk | Room 1.06 in E1 1 and online | 06.07.22 | 06.07.22 | No | ||
| Practcice Talks 3 + 4 | Practice Talk | Room 1.06 in E1 1 and online | 08.06.22 | 08.06.22 | No | ||
| Background - Automata and LTL | Background | Room 1.06 in E1 1 and online | 04.05.22 | 04.05.22 | No |