Event Categories
- Name
- Full Talk
- Farbe
- Red
Related Events
| Title | Status | Starttime | Endtime | the whole day | |
|---|---|---|---|---|---|
| Talks 1 + 2 | Scheduled | 29.06.2022 10:15 | 29.06.2022 10:15 | No |
|
| Talk 3 | Scheduled | 06.07.2022 10:15 | 06.07.2022 10:15 | No |
|
From Program Verification to Synthesis
Raven Beutner, Bernd Finkbeiner, Hadar Frenkel, Noemi Passing, Malte Schledjewski