BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:31313532-6634-4532-b333-356239643234
X-WR-CALNAME:Hyperproperties Calendar
X-WR-CALDESC:Events of the lecture Hyperproperties
X-WR-TIMEZONE:Europe/Berlin
BEGIN:VEVENT
UID:64353339-3939-4737-a233-396432303430
DTSTAMP:20260818T013912Z
DESCRIPTION:
DTSTART:20230620T120000Z
DTEND:20230620T121500Z
SUMMARY:Paper 1 - SPECTECTOR: Principled Detection of Speculative Informati
 on Flows
END:VEVENT
BEGIN:VEVENT
UID:31316539-3863-4564-a334-613032613436
DTSTAMP:20260818T013912Z
DESCRIPTION:
DTSTART:20230620T123000Z
DTEND:20230620T130000Z
SUMMARY:Paper 2 - A Hardware Design Language for Timing-Sensitive Informati
 on-Flow Security
END:VEVENT
BEGIN:VEVENT
UID:65653762-6430-4430-a561-373338383236
DTSTAMP:20260818T013912Z
DESCRIPTION:
DTSTART:20230620T130000Z
DTEND:20230620T134500Z
SUMMARY:Paper 5 - Hyperproperties of Real-Valued Signals
END:VEVENT
BEGIN:VEVENT
UID:33623464-3834-4062-a332-643563316233
DTSTAMP:20260818T013912Z
DESCRIPTION:
DTSTART:20230627T121500Z
DTEND:20230627T130000Z
SUMMARY:Paper 3 - Information Flow Control Based on Program Dependence Grap
 hs
END:VEVENT
BEGIN:VEVENT
UID:61343266-3333-4039-a437-353266623964
DTSTAMP:20260818T013912Z
DESCRIPTION:
DTSTART:20230627T130000Z
DTEND:20230627T134500Z
SUMMARY:Paper 7 - Epistemic Temporal Logic for Information Flow Security
END:VEVENT
BEGIN:VEVENT
UID:65346662-3139-4933-a634-643062343838
DTSTAMP:20260818T013912Z
DESCRIPTION:
DTSTART:20230704T121500Z
DTEND:20230704T130000Z
SUMMARY:Paper 8 - Algorithms for Model Checking HyperLTL and HyperCTL*
END:VEVENT
BEGIN:VEVENT
UID:39356561-3435-4333-b330-323539636462
DTSTAMP:20260818T013912Z
DESCRIPTION:
DTSTART:20230704T130000Z
DTEND:20230704T134500Z
SUMMARY:Paper 9 - The Hierarchy of Hyperlogics
END:VEVENT
END:VCALENDAR