Timetable
- Event Category
- Kick-Off
- Title
- Kick-Off
- Location
- Room 1.06 in E1 1 and online
- Details
- Starttime
- 27.04.2022 10:15
- Endtime
- 27.04.2022 11:45
- the whole day
- No
From Program Verification to Synthesis
Raven Beutner, Bernd Finkbeiner, Hadar Frenkel, Noemi Passing, Malte Schledjewski