Timetable
- Event Category
- Group Talks
- Title
- Group Talk 1 - Basics of Information-Flow Control
- Location
- Seminar Rom 106 in E1.1
- Details
- Starttime
- 23.05.2023 14:15
- Endtime
- 23.05.2023 16:00
- the whole day
- No
Hyperproperties
Raven Beutner, Norine Coenen, Arthur Correnson, Matthias Cosler, Bernd Finkbeiner, Florian Kohn, Julian Siber