BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:37663337-3637-4632-b239-343234376433
X-WR-CALNAME:Hyperproperties Calendar
X-WR-CALDESC:Events of the lecture Hyperproperties
X-WR-TIMEZONE:Europe/Berlin
BEGIN:VEVENT
UID:31623931-3861-4566-b333-333233316131
DTSTAMP:20260928T001536Z
DESCRIPTION:
DTSTART:20230620T120000Z
DTEND:20230620T121500Z
SUMMARY:Hyper: Paper 1 - SPECTECTOR: Principled Detection of Speculative In
 formation Flows
END:VEVENT
BEGIN:VEVENT
UID:38616564-3635-4466-b830-383139323637
DTSTAMP:20260928T001536Z
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:37363136-6663-4063-b230-336564373533
DTSTAMP:20260928T001536Z
DESCRIPTION:
DTSTART:20230620T130000Z
DTEND:20230620T134500Z
SUMMARY:Hyper: Paper 5 - Hyperproperties of Real-Valued Signals
END:VEVENT
BEGIN:VEVENT
UID:38373536-6136-4434-a564-316130656136
DTSTAMP:20260928T001536Z
DESCRIPTION:
DTSTART:20230627T121500Z
DTEND:20230627T130000Z
SUMMARY:Hyper: Paper 3 - Information Flow Control Based on Program Dependen
 ce Graphs
END:VEVENT
BEGIN:VEVENT
UID:34383830-3036-4566-b433-306632383762
DTSTAMP:20260928T001536Z
DESCRIPTION:
DTSTART:20230627T130000Z
DTEND:20230627T134500Z
SUMMARY:Hyper: Paper 7 - Epistemic Temporal Logic for Information Flow Secu
 rity
END:VEVENT
BEGIN:VEVENT
UID:32393863-6538-4436-a161-346238643637
DTSTAMP:20260928T001536Z
DESCRIPTION:
DTSTART:20230704T121500Z
DTEND:20230704T130000Z
SUMMARY:Hyper: Paper 8 - Algorithms for Model Checking HyperLTL and HyperCT
 L*
END:VEVENT
BEGIN:VEVENT
UID:36636139-6330-4362-a466-656461633338
DTSTAMP:20260928T001536Z
DESCRIPTION:
DTSTART:20230704T130000Z
DTEND:20230704T134500Z
SUMMARY:Hyper: Paper 9 - The Hierarchy of Hyperlogics
END:VEVENT
END:VCALENDAR