Event Categories
- Name
- Kick-Off
- Farbe
- Gray
Related Events
| Title | Status | Starttime | Endtime | the whole day | |
|---|---|---|---|---|---|
| Kick-Off | Scheduled | 27.04.2022 10:15 | 27.04.2022 11:45 | No |
|
From Program Verification to Synthesis
Raven Beutner, Bernd Finkbeiner, Hadar Frenkel, Noemi Passing, Malte Schledjewski