BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:64643233-6361-4331-a461-616230333735
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:39313864-3930-4561-b734-653438336361
DTSTAMP:20261028T120506Z
DESCRIPTION:
DTSTART:20201130T090000Z
DTEND:20201130T090000Z
SUMMARY:SysV: First recorded lecture will be available
END:VEVENT
BEGIN:VEVENT
UID:36353365-6662-4464-b737-646530366164
DTSTAMP:20261028T120506Z
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:30636438-3765-4435-b163-346539333063
DTSTAMP:20261028T120506Z
DESCRIPTION:
DTSTART:20201207T090000Z
DTEND:20201207T090000Z
SUMMARY:SysV: Second recorded lecture will be available
END:VEVENT
BEGIN:VEVENT
UID:63393735-6363-4666-b338-653836336330
DTSTAMP:20261028T120506Z
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:63303834-3136-4035-b732-383563393533
DTSTAMP:20261028T120506Z
DESCRIPTION:
DTSTART:20201214T090000Z
DTEND:20201214T090000Z
SUMMARY:SysV: Third recorded lecture will be available
END:VEVENT
BEGIN:VEVENT
UID:35303237-3664-4461-a361-363964616332
DTSTAMP:20261028T120506Z
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:37323830-3633-4565-a264-396665393333
DTSTAMP:20261028T120506Z
DESCRIPTION:
DTSTART:20210104T090000Z
DTEND:20210104T090000Z
SUMMARY:SysV: Fourth recorded lecture will be available
END:VEVENT
BEGIN:VEVENT
UID:39363236-6638-4435-a265-306331363639
DTSTAMP:20261028T120506Z
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