BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:37633464-6264-4765-a465-663265353831
X-WR-CALNAME:Hyperproperties Calendar
X-WR-CALDESC:Events of the lecture Hyperproperties
X-WR-TIMEZONE:Europe/Berlin
BEGIN:VEVENT
UID:62373833-3262-4464-b838-363761306361
DTSTAMP:20260429T150236Z
DESCRIPTION:
DTSTART:20230418T121500Z
DTEND:20230418T140000Z
LOCATION:Seminar Rom 106 in E1.1
SUMMARY:Hyper: Kickoff Meeting
END:VEVENT
BEGIN:VEVENT
UID:37633031-3739-4564-a335-356436646465
DTSTAMP:20260429T150236Z
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:39346336-3063-4331-a262-343831666339
DTSTAMP:20260429T150236Z
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:39356439-3862-4566-b339-313939376664
DTSTAMP:20260429T150236Z
DESCRIPTION:
DTSTART:20230620T120000Z
DTEND:20230620T121500Z
SUMMARY:Hyper: Paper 1 - SPECTECTOR: Principled Detection of Speculative In
 formation Flows
END:VEVENT
BEGIN:VEVENT
UID:62323531-3066-4037-b365-336264626538
DTSTAMP:20260429T150236Z
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:34653332-3935-4534-a435-336330393232
DTSTAMP:20260429T150236Z
DESCRIPTION:
DTSTART:20230620T130000Z
DTEND:20230620T134500Z
SUMMARY:Hyper: Paper 5 - Hyperproperties of Real-Valued Signals
END:VEVENT
BEGIN:VEVENT
UID:38656536-3864-4664-b636-663863313736
DTSTAMP:20260429T150236Z
DESCRIPTION:
DTSTART:20230627T121500Z
DTEND:20230627T130000Z
SUMMARY:Hyper: Paper 3 - Information Flow Control Based on Program Dependen
 ce Graphs
END:VEVENT
BEGIN:VEVENT
UID:36353734-6435-4438-b330-636238366231
DTSTAMP:20260429T150236Z
DESCRIPTION:
DTSTART:20230627T130000Z
DTEND:20230627T134500Z
SUMMARY:Hyper: Paper 7 - Epistemic Temporal Logic for Information Flow Secu
 rity
END:VEVENT
BEGIN:VEVENT
UID:30383331-3065-4535-b030-636662643864
DTSTAMP:20260429T150236Z
DESCRIPTION:
DTSTART:20230704T121500Z
DTEND:20230704T130000Z
SUMMARY:Hyper: Paper 8 - Algorithms for Model Checking HyperLTL and HyperCT
 L*
END:VEVENT
BEGIN:VEVENT
UID:37356534-3438-4332-b761-363036313736
DTSTAMP:20260429T150236Z
DESCRIPTION:
DTSTART:20230704T130000Z
DTEND:20230704T134500Z
SUMMARY:Hyper: Paper 9 - The Hierarchy of Hyperlogics
END:VEVENT
END:VCALENDAR