BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:39373865-6334-4664-a136-636233363935
X-WR-CALNAME:Hyperproperties Calendar
X-WR-CALDESC:Events of the lecture Hyperproperties
X-WR-TIMEZONE:Europe/Berlin
BEGIN:VEVENT
UID:65643635-6434-4634-b534-323936636531
DTSTAMP:20260708T083027Z
DESCRIPTION:
DTSTART:20230418T121500Z
DTEND:20230418T140000Z
LOCATION:Seminar Rom 106 in E1.1
SUMMARY:Hyper: Kickoff Meeting
END:VEVENT
BEGIN:VEVENT
UID:35623133-3332-4835-a534-393437386136
DTSTAMP:20260708T083027Z
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:30393534-6635-4334-b439-626139626339
DTSTAMP:20260708T083027Z
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:39343034-6338-4839-b534-313837343631
DTSTAMP:20260708T083027Z
DESCRIPTION:
DTSTART:20230620T120000Z
DTEND:20230620T121500Z
SUMMARY:Hyper: Paper 1 - SPECTECTOR: Principled Detection of Speculative In
 formation Flows
END:VEVENT
BEGIN:VEVENT
UID:61303539-3364-4439-b138-333836653336
DTSTAMP:20260708T083027Z
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:38393464-3836-4230-b736-363437623639
DTSTAMP:20260708T083027Z
DESCRIPTION:
DTSTART:20230620T130000Z
DTEND:20230620T134500Z
SUMMARY:Hyper: Paper 5 - Hyperproperties of Real-Valued Signals
END:VEVENT
BEGIN:VEVENT
UID:38613533-6338-4633-b761-613538383737
DTSTAMP:20260708T083027Z
DESCRIPTION:
DTSTART:20230627T121500Z
DTEND:20230627T130000Z
SUMMARY:Hyper: Paper 3 - Information Flow Control Based on Program Dependen
 ce Graphs
END:VEVENT
BEGIN:VEVENT
UID:36333336-3430-4464-b232-323633306338
DTSTAMP:20260708T083027Z
DESCRIPTION:
DTSTART:20230627T130000Z
DTEND:20230627T134500Z
SUMMARY:Hyper: Paper 7 - Epistemic Temporal Logic for Information Flow Secu
 rity
END:VEVENT
BEGIN:VEVENT
UID:34393633-3839-4035-b233-363836343633
DTSTAMP:20260708T083027Z
DESCRIPTION:
DTSTART:20230704T121500Z
DTEND:20230704T130000Z
SUMMARY:Hyper: Paper 8 - Algorithms for Model Checking HyperLTL and HyperCT
 L*
END:VEVENT
BEGIN:VEVENT
UID:63393639-3237-4232-a363-633132313937
DTSTAMP:20260708T083027Z
DESCRIPTION:
DTSTART:20230704T130000Z
DTEND:20230704T134500Z
SUMMARY:Hyper: Paper 9 - The Hierarchy of Hyperlogics
END:VEVENT
END:VCALENDAR