BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:66653439-6239-4731-a465-643461373466
X-WR-CALNAME:Hyperproperties Calendar
X-WR-CALDESC:Events of the lecture Hyperproperties
X-WR-TIMEZONE:Europe/Berlin
BEGIN:VEVENT
UID:34646661-6639-4461-b563-666564333061
DTSTAMP:20260708T082936Z
DESCRIPTION:
DTSTART:20230418T121500Z
DTEND:20230418T140000Z
LOCATION:Seminar Rom 106 in E1.1
SUMMARY:Kickoff Meeting
END:VEVENT
BEGIN:VEVENT
UID:64656331-6334-4934-b331-383666663830
DTSTAMP:20260708T082936Z
DESCRIPTION:
DTSTART:20230523T121500Z
DTEND:20230523T140000Z
LOCATION:Seminar Rom 106 in E1.1
SUMMARY:Group Talk 1 - Basics of Information-Flow Control
END:VEVENT
BEGIN:VEVENT
UID:63373335-3637-4162-b437-666234623065
DTSTAMP:20260708T082936Z
DESCRIPTION:
DTSTART:20230530T121500Z
DTEND:20230530T140000Z
LOCATION:Seminar Rom 106 in E1.1
SUMMARY:Group Talk 2 - Formal Methods 101
END:VEVENT
BEGIN:VEVENT
UID:30633037-3338-4139-b165-613866323137
DTSTAMP:20260708T082936Z
DESCRIPTION:
DTSTART:20230620T120000Z
DTEND:20230620T121500Z
SUMMARY:Paper 1 - SPECTECTOR: Principled Detection of Speculative Informati
 on Flows
END:VEVENT
BEGIN:VEVENT
UID:63396333-3766-4564-b031-376139396538
DTSTAMP:20260708T082936Z
DESCRIPTION:
DTSTART:20230620T123000Z
DTEND:20230620T130000Z
SUMMARY:Paper 2 - A Hardware Design Language for Timing-Sensitive Informati
 on-Flow Security
END:VEVENT
BEGIN:VEVENT
UID:62343732-3136-4530-b963-326665623364
DTSTAMP:20260708T082936Z
DESCRIPTION:
DTSTART:20230620T130000Z
DTEND:20230620T134500Z
SUMMARY:Paper 5 - Hyperproperties of Real-Valued Signals
END:VEVENT
BEGIN:VEVENT
UID:39623865-6133-4137-a662-613631396537
DTSTAMP:20260708T082936Z
DESCRIPTION:
DTSTART:20230627T121500Z
DTEND:20230627T130000Z
SUMMARY:Paper 3 - Information Flow Control Based on Program Dependence Grap
 hs
END:VEVENT
BEGIN:VEVENT
UID:63626134-6336-4366-a432-626435323136
DTSTAMP:20260708T082936Z
DESCRIPTION:
DTSTART:20230627T130000Z
DTEND:20230627T134500Z
SUMMARY:Paper 7 - Epistemic Temporal Logic for Information Flow Security
END:VEVENT
BEGIN:VEVENT
UID:38363632-6362-4766-a364-653530366265
DTSTAMP:20260708T082936Z
DESCRIPTION:
DTSTART:20230704T121500Z
DTEND:20230704T130000Z
SUMMARY:Paper 8 - Algorithms for Model Checking HyperLTL and HyperCTL*
END:VEVENT
BEGIN:VEVENT
UID:64333733-3464-4165-a632-303730313364
DTSTAMP:20260708T082936Z
DESCRIPTION:
DTSTART:20230704T130000Z
DTEND:20230704T134500Z
SUMMARY:Paper 9 - The Hierarchy of Hyperlogics
END:VEVENT
END:VCALENDAR