BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:37633339-6232-4237-b563-376131643664
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:35353938-6262-4138-a564-363630653862
DTSTAMP:20260626T225410Z
DESCRIPTION:
DTSTART:20201130T090000Z
DTEND:20201130T090000Z
SUMMARY:SysV: First recorded lecture will be available
END:VEVENT
BEGIN:VEVENT
UID:65613830-3665-4764-a531-373663393438
DTSTAMP:20260626T225410Z
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:62376333-3362-4639-a632-653965326439
DTSTAMP:20260626T225410Z
DESCRIPTION:
DTSTART:20201207T090000Z
DTEND:20201207T090000Z
SUMMARY:SysV: Second recorded lecture will be available
END:VEVENT
BEGIN:VEVENT
UID:63396235-6462-4762-b235-303639613034
DTSTAMP:20260626T225410Z
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:38323331-3033-4465-a239-323362656663
DTSTAMP:20260626T225410Z
DESCRIPTION:
DTSTART:20201214T090000Z
DTEND:20201214T090000Z
SUMMARY:SysV: Third recorded lecture will be available
END:VEVENT
BEGIN:VEVENT
UID:65646661-3939-4163-b261-396637363530
DTSTAMP:20260626T225410Z
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:65643639-3765-4538-b834-323939353566
DTSTAMP:20260626T225410Z
DESCRIPTION:
DTSTART:20210104T090000Z
DTEND:20210104T090000Z
SUMMARY:SysV: Fourth recorded lecture will be available
END:VEVENT
BEGIN:VEVENT
UID:61643866-3862-4635-b337-356333363639
DTSTAMP:20260626T225410Z
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