Event Categories
- Name
- Summary
- Farbe
- Orange
Related Events
| Title | Status | Starttime | Endtime | the whole day | |
|---|---|---|---|---|---|
| Summary Submission Deadline 2 | Scheduled | 22.09.2023 | N/A | Yes |
|
| Summary Submission Deadline 1 | Scheduled | 08.09.2023 | N/A | Yes |
|
Hyperproperties
Raven Beutner, Norine Coenen, Arthur Correnson, Matthias Cosler, Bernd Finkbeiner, Florian Kohn, Julian Siber