Timetable
| Title | Type | Location | Serial | Start | End | All Day | |
|---|---|---|---|---|---|---|---|
| Group Talk 1 - Basics of Information-Flow Control | Group Talks | Seminar Rom 106 in E1.1 | 23.05.23 | 23.05.23 | No | ||
| Kickoff Meeting | Kickoff | Seminar Rom 106 in E1.1 | 18.04.23 | 18.04.23 | No |
Hyperproperties
Raven Beutner, Norine Coenen, Arthur Correnson, Matthias Cosler, Bernd Finkbeiner, Florian Kohn, Julian Siber