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