Event Categories
- Name
- Deadline
- Farbe
- Green
Related Events
| Title | Status | Starttime | Endtime | the whole day | |
|---|---|---|---|---|---|
| Summary Deadline | Scheduled | 29.07.2022 | N/A | Yes |
|
| Summary Soft Deadline | Scheduled | 22.07.2022 | N/A | Yes |
|
From Program Verification to Synthesis
Raven Beutner, Bernd Finkbeiner, Hadar Frenkel, Noemi Passing, Malte Schledjewski