Timetable
- Event Category
- Full Talk
- Title
- Talks 1 + 2
- Location
- Room 1.06 in E1 1 and online
- Details
- Starttime
- 29.06.2022 10:15
- Endtime
- 29.06.2022 10:15
- the whole day
- No
From Program Verification to Synthesis
Raven Beutner, Bernd Finkbeiner, Hadar Frenkel, Noemi Passing, Malte Schledjewski