Terminkategorien
- Name
- Summaries
- Farbe
- Orange
Related Events
| Titel | Status | Startzeit | Endzeit | den ganzen Tag | |
|---|---|---|---|---|---|
| 1st Summary due | Scheduled | 01.06.2023 | N/A | Yes |
|
| 2nd Summary due | Scheduled | 01.07.2023 | N/A | Yes |
|
Formal Compiler Security
Xaver Fabian, Matthis Kruse, Faezeh Nasrabadi, Robert Künnemann