BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:32313064-3131-4831-a364-383131353731
X-WR-CALNAME:Hyperproperties Calendar
X-WR-CALDESC:Events of the lecture Hyperproperties
X-WR-TIMEZONE:Europe/Berlin
BEGIN:VEVENT
UID:62306461-3961-4663-b834-323333376362
DTSTAMP:20260907T115732Z
DESCRIPTION:
DTSTART:20230418T121500Z
DTEND:20230418T140000Z
LOCATION:Seminar Rom 106 in E1.1
SUMMARY:Hyper: Kickoff Meeting
END:VEVENT
BEGIN:VEVENT
UID:65666434-3964-4864-a262-376231383238
DTSTAMP:20260907T115732Z
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:34323866-6634-4965-b861-306438613463
DTSTAMP:20260907T115732Z
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:31636539-3639-4463-b061-393062363834
DTSTAMP:20260907T115732Z
DESCRIPTION:
DTSTART:20230620T120000Z
DTEND:20230620T121500Z
SUMMARY:Hyper: Paper 1 - SPECTECTOR: Principled Detection of Speculative In
 formation Flows
END:VEVENT
BEGIN:VEVENT
UID:39623265-3131-4565-b030-363135323133
DTSTAMP:20260907T115732Z
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:31633963-6439-4632-b239-373135366535
DTSTAMP:20260907T115732Z
DESCRIPTION:
DTSTART:20230620T130000Z
DTEND:20230620T134500Z
SUMMARY:Hyper: Paper 5 - Hyperproperties of Real-Valued Signals
END:VEVENT
BEGIN:VEVENT
UID:66376438-3464-4333-a638-393132383435
DTSTAMP:20260907T115732Z
DESCRIPTION:
DTSTART:20230627T121500Z
DTEND:20230627T130000Z
SUMMARY:Hyper: Paper 3 - Information Flow Control Based on Program Dependen
 ce Graphs
END:VEVENT
BEGIN:VEVENT
UID:36393834-3233-4961-b931-323338396437
DTSTAMP:20260907T115732Z
DESCRIPTION:
DTSTART:20230627T130000Z
DTEND:20230627T134500Z
SUMMARY:Hyper: Paper 7 - Epistemic Temporal Logic for Information Flow Secu
 rity
END:VEVENT
BEGIN:VEVENT
UID:64343831-3031-4638-a537-393465633334
DTSTAMP:20260907T115732Z
DESCRIPTION:
DTSTART:20230704T121500Z
DTEND:20230704T130000Z
SUMMARY:Hyper: Paper 8 - Algorithms for Model Checking HyperLTL and HyperCT
 L*
END:VEVENT
BEGIN:VEVENT
UID:31373733-3832-4235-b965-313764623039
DTSTAMP:20260907T115732Z
DESCRIPTION:
DTSTART:20230704T130000Z
DTEND:20230704T134500Z
SUMMARY:Hyper: Paper 9 - The Hierarchy of Hyperlogics
END:VEVENT
END:VCALENDAR