BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:62656438-6465-4033-b933-646565613838
X-WR-CALNAME:Hyperproperties Calendar
X-WR-CALDESC:Events of the lecture Hyperproperties
X-WR-TIMEZONE:Europe/Berlin
BEGIN:VEVENT
UID:36373936-6338-4263-a234-623731653735
DTSTAMP:20260928T001445Z
DESCRIPTION:
DTSTART:20230620T120000Z
DTEND:20230620T121500Z
SUMMARY:Paper 1 - SPECTECTOR: Principled Detection of Speculative Informati
 on Flows
END:VEVENT
BEGIN:VEVENT
UID:65643464-3231-4362-a165-656530316362
DTSTAMP:20260928T001445Z
DESCRIPTION:
DTSTART:20230620T123000Z
DTEND:20230620T130000Z
SUMMARY:Paper 2 - A Hardware Design Language for Timing-Sensitive Informati
 on-Flow Security
END:VEVENT
BEGIN:VEVENT
UID:61666635-3864-4136-a662-663137303034
DTSTAMP:20260928T001445Z
DESCRIPTION:
DTSTART:20230620T130000Z
DTEND:20230620T134500Z
SUMMARY:Paper 5 - Hyperproperties of Real-Valued Signals
END:VEVENT
BEGIN:VEVENT
UID:65666562-3761-4161-b765-653139613633
DTSTAMP:20260928T001445Z
DESCRIPTION:
DTSTART:20230627T121500Z
DTEND:20230627T130000Z
SUMMARY:Paper 3 - Information Flow Control Based on Program Dependence Grap
 hs
END:VEVENT
BEGIN:VEVENT
UID:64643733-3437-4664-b735-343061386563
DTSTAMP:20260928T001445Z
DESCRIPTION:
DTSTART:20230627T130000Z
DTEND:20230627T134500Z
SUMMARY:Paper 7 - Epistemic Temporal Logic for Information Flow Security
END:VEVENT
BEGIN:VEVENT
UID:35633564-3930-4239-a563-346366373235
DTSTAMP:20260928T001445Z
DESCRIPTION:
DTSTART:20230704T121500Z
DTEND:20230704T130000Z
SUMMARY:Paper 8 - Algorithms for Model Checking HyperLTL and HyperCTL*
END:VEVENT
BEGIN:VEVENT
UID:63623965-3566-4665-b964-383139613962
DTSTAMP:20260928T001445Z
DESCRIPTION:
DTSTART:20230704T130000Z
DTEND:20230704T134500Z
SUMMARY:Paper 9 - The Hierarchy of Hyperlogics
END:VEVENT
END:VCALENDAR