BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:33323561-3333-4535-b836-393864316234
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:62613138-6531-4432-b464-313566313364
DTSTAMP:20261028T120605Z
DESCRIPTION:
DTSTART:20201130T090000Z
DTEND:20201130T090000Z
SUMMARY:Fms: SysV: First recorded lecture will be available
END:VEVENT
BEGIN:VEVENT
UID:36363165-3039-4138-b966-633535616665
DTSTAMP:20261028T120605Z
DESCRIPTION:
DTSTART:20201202T090000Z
DTEND:20201202T110000Z
LOCATION:https://cispa-de.zoom.us/j/97760616192?pwd=ZVJrRW9mclo2VmJ6TzF6V2d
 FY09udz09
SUMMARY:Fms: Q/A preliminaries
END:VEVENT
BEGIN:VEVENT
UID:38633231-3762-4564-b436-623061613536
DTSTAMP:20261028T120605Z
DESCRIPTION:
DTSTART:20201207T090000Z
DTEND:20201207T090000Z
SUMMARY:Fms: SysV: Second recorded lecture will be available
END:VEVENT
BEGIN:VEVENT
UID:62643038-6439-4264-b330-626164343265
DTSTAMP:20261028T120605Z
DESCRIPTION:
DTSTART:20201209T090000Z
DTEND:20201209T110000Z
LOCATION:https://cispa-de.zoom.us/j/98380099551?pwd=NGpyc29UWUhiaHZLQ2pqMXZ
 vUE9qZz09
SUMMARY:Fms: Q/A compositional verification
END:VEVENT
BEGIN:VEVENT
UID:61376539-3437-4261-a466-633031353532
DTSTAMP:20261028T120605Z
DESCRIPTION:
DTSTART:20201214T090000Z
DTEND:20201214T090000Z
SUMMARY:Fms: SysV: Third recorded lecture will be available
END:VEVENT
BEGIN:VEVENT
UID:34616230-3938-4430-b762-343264383566
DTSTAMP:20261028T120605Z
DESCRIPTION:
DTSTART:20201216T090000Z
DTEND:20201216T110000Z
LOCATION:https://cispa-de.zoom.us/j/97307213380?pwd=eTNxbHI2eHJWRStMQVZIUWJ
 jTXhOZz09
SUMMARY:Fms: Q/A refinement
END:VEVENT
BEGIN:VEVENT
UID:36353031-3839-4839-b436-343532303535
DTSTAMP:20261028T120605Z
DESCRIPTION:
DTSTART:20210104T090000Z
DTEND:20210104T090000Z
SUMMARY:Fms: SysV: Fourth recorded lecture will be available
END:VEVENT
BEGIN:VEVENT
UID:38656634-3435-4661-b966-313337396234
DTSTAMP:20261028T120605Z
DESCRIPTION:
DTSTART:20210106T090000Z
DTEND:20210106T110000Z
LOCATION:https://cispa-de.zoom.us/j/94653471916?pwd=bzFtaUdaL1NTY3VUYUhEZ2g
 yNU9oZz09
SUMMARY:Fms: Q/A A marriage of verification and testing
END:VEVENT
END:VCALENDAR