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 |