BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:36633463-3636-4564-a634-363938646533
X-WR-CALNAME:Formal Methods in Security Calendar
X-WR-CALDESC:Events of the lecture Formal Methods in Security
X-WR-TIMEZONE:Europe/Berlin
BEGIN:VEVENT
UID:61656662-3235-4431-b361-326565323166
DTSTAMP:20260919T212256Z
DESCRIPTION:
DTSTART:20201130T090000Z
DTEND:20201130T090000Z
SUMMARY:SysV: First recorded lecture will be available
END:VEVENT
BEGIN:VEVENT
UID:66316139-3332-4130-b437-626163656438
DTSTAMP:20260919T212256Z
DESCRIPTION:
DTSTART:20201202T090000Z
DTEND:20201202T110000Z
LOCATION:https://cispa-de.zoom.us/j/97760616192?pwd=ZVJrRW9mclo2VmJ6TzF6V2d
 FY09udz09
SUMMARY:Q/A preliminaries
END:VEVENT
BEGIN:VEVENT
UID:37333431-3238-4132-b739-323465336662
DTSTAMP:20260919T212256Z
DESCRIPTION:
DTSTART:20201207T090000Z
DTEND:20201207T090000Z
SUMMARY:SysV: Second recorded lecture will be available
END:VEVENT
BEGIN:VEVENT
UID:30643030-3664-4330-b034-666635323130
DTSTAMP:20260919T212256Z
DESCRIPTION:
DTSTART:20201209T090000Z
DTEND:20201209T110000Z
LOCATION:https://cispa-de.zoom.us/j/98380099551?pwd=NGpyc29UWUhiaHZLQ2pqMXZ
 vUE9qZz09
SUMMARY:Q/A compositional verification
END:VEVENT
BEGIN:VEVENT
UID:64313539-6638-4830-b336-373561663531
DTSTAMP:20260919T212256Z
DESCRIPTION:
DTSTART:20201214T090000Z
DTEND:20201214T090000Z
SUMMARY:SysV: Third recorded lecture will be available
END:VEVENT
BEGIN:VEVENT
UID:64303337-3464-4030-b465-643439633137
DTSTAMP:20260919T212256Z
DESCRIPTION:
DTSTART:20201216T090000Z
DTEND:20201216T110000Z
LOCATION:https://cispa-de.zoom.us/j/97307213380?pwd=eTNxbHI2eHJWRStMQVZIUWJ
 jTXhOZz09
SUMMARY:Q/A refinement
END:VEVENT
BEGIN:VEVENT
UID:65303038-3135-4366-a233-316262666632
DTSTAMP:20260919T212256Z
DESCRIPTION:
DTSTART:20210104T090000Z
DTEND:20210104T090000Z
SUMMARY:SysV: Fourth recorded lecture will be available
END:VEVENT
BEGIN:VEVENT
UID:36346565-3839-4436-b766-363433316262
DTSTAMP:20260919T212256Z
DESCRIPTION:
DTSTART:20210106T090000Z
DTEND:20210106T110000Z
LOCATION:https://cispa-de.zoom.us/j/94653471916?pwd=bzFtaUdaL1NTY3VUYUhEZ2g
 yNU9oZz09
SUMMARY:Q/A A marriage of verification and testing
END:VEVENT
END:VCALENDAR