BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:31653231-3736-4238-a639-366434666233
X-WR-CALNAME:Hyperproperties Calendar
X-WR-CALDESC:Events of the lecture Hyperproperties
X-WR-TIMEZONE:Europe/Berlin
BEGIN:VEVENT
UID:63363762-3465-4133-b837-343361613666
DTSTAMP:20260728T111944Z
DESCRIPTION:
DTSTART:20230418T121500Z
DTEND:20230418T140000Z
LOCATION:Seminar Rom 106 in E1.1
SUMMARY:Hyper: Kickoff Meeting
END:VEVENT
BEGIN:VEVENT
UID:66323761-3066-4437-b737-623531303538
DTSTAMP:20260728T111944Z
DESCRIPTION:
DTSTART:20230523T121500Z
DTEND:20230523T140000Z
LOCATION:Seminar Rom 106 in E1.1
SUMMARY:Hyper: Group Talk 1 - Basics of Information-Flow Control
END:VEVENT
BEGIN:VEVENT
UID:38653334-6133-4838-b033-353934363835
DTSTAMP:20260728T111944Z
DESCRIPTION:
DTSTART:20230530T121500Z
DTEND:20230530T140000Z
LOCATION:Seminar Rom 106 in E1.1
SUMMARY:Hyper: Group Talk 2 - Formal Methods 101
END:VEVENT
BEGIN:VEVENT
UID:64353339-3866-4937-b534-363433313966
DTSTAMP:20260728T111944Z
DESCRIPTION:
DTSTART:20230620T120000Z
DTEND:20230620T121500Z
SUMMARY:Hyper: Paper 1 - SPECTECTOR: Principled Detection of Speculative In
 formation Flows
END:VEVENT
BEGIN:VEVENT
UID:31383764-3334-4437-a639-313264613338
DTSTAMP:20260728T111944Z
DESCRIPTION:
DTSTART:20230620T123000Z
DTEND:20230620T130000Z
SUMMARY:Hyper: Paper 2 - A Hardware Design Language for Timing-Sensitive In
 formation-Flow Security
END:VEVENT
BEGIN:VEVENT
UID:37656330-3632-4039-b666-613562366166
DTSTAMP:20260728T111944Z
DESCRIPTION:
DTSTART:20230620T130000Z
DTEND:20230620T134500Z
SUMMARY:Hyper: Paper 5 - Hyperproperties of Real-Valued Signals
END:VEVENT
BEGIN:VEVENT
UID:37623433-3434-4563-b537-663439333538
DTSTAMP:20260728T111944Z
DESCRIPTION:
DTSTART:20230627T121500Z
DTEND:20230627T130000Z
SUMMARY:Hyper: Paper 3 - Information Flow Control Based on Program Dependen
 ce Graphs
END:VEVENT
BEGIN:VEVENT
UID:34626330-6239-4961-b234-376236396165
DTSTAMP:20260728T111944Z
DESCRIPTION:
DTSTART:20230627T130000Z
DTEND:20230627T134500Z
SUMMARY:Hyper: Paper 7 - Epistemic Temporal Logic for Information Flow Secu
 rity
END:VEVENT
BEGIN:VEVENT
UID:38316636-6535-4638-b136-626666313934
DTSTAMP:20260728T111944Z
DESCRIPTION:
DTSTART:20230704T121500Z
DTEND:20230704T130000Z
SUMMARY:Hyper: Paper 8 - Algorithms for Model Checking HyperLTL and HyperCT
 L*
END:VEVENT
BEGIN:VEVENT
UID:31363966-3265-4465-b461-313336626262
DTSTAMP:20260728T111944Z
DESCRIPTION:
DTSTART:20230704T130000Z
DTEND:20230704T134500Z
SUMMARY:Hyper: Paper 9 - The Hierarchy of Hyperlogics
END:VEVENT
END:VCALENDAR