BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:62373538-6438-4834-a634-663636646564
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:35303963-3038-4565-b137-396464373639
DTSTAMP:20260717T025739Z
DESCRIPTION:
DTSTART;VALUE=DATE:20210113
DTEND;VALUE=DATE:20210114
LOCATION:https://cispa-de.zoom.us/j/93479792168?pwd=WkIyeG9BUDFnWlBxZ1hUNG1
 QUjZvZz09
SUMMARY:Fms: PROTO1: modelling
END:VEVENT
BEGIN:VEVENT
UID:63656434-3530-4834-b337-363038656465
DTSTAMP:20260717T025739Z
DESCRIPTION:
DTSTART:20210115T090000Z
DTEND:20210115T110000Z
LOCATION:https://rocketchat.cs.uni-saarland.de/channel/proto
SUMMARY:Fms: Q&A: PROTO1
END:VEVENT
BEGIN:VEVENT
UID:64636435-6535-4662-a331-343136663931
DTSTAMP:20260717T025739Z
DESCRIPTION:
DTSTART;VALUE=DATE:20210120
DTEND;VALUE=DATE:20210121
LOCATION:https://cispa-de.zoom.us/j/95553184253?pwd=UUdnZ1Nnc1lrWTdHV2VxcWl
 XRVJBZz09
SUMMARY:Fms: PROTO2: Applied-pi
END:VEVENT
BEGIN:VEVENT
UID:32663938-6137-4164-a264-313535663435
DTSTAMP:20260717T025739Z
DESCRIPTION:
DTSTART:20210122T090000Z
DTEND:20210122T110000Z
LOCATION:https://rocketchat.cs.uni-saarland.de/channel/proto
SUMMARY:Fms: Q&A: PROTO2
END:VEVENT
BEGIN:VEVENT
UID:39373463-6430-4362-b634-363064386237
DTSTAMP:20260717T025739Z
DESCRIPTION:
DTSTART;VALUE=DATE:20210127
DTEND;VALUE=DATE:20210128
LOCATION:https://cispa-de.zoom.us/j/96445853204?pwd=cktTNHpXN3Bob3RsYlpOQzl
 rM2JVQT09
SUMMARY:Fms: PROTO3: Verification tools
END:VEVENT
BEGIN:VEVENT
UID:33373161-6132-4832-a436-636532373163
DTSTAMP:20260717T025739Z
DESCRIPTION:
DTSTART:20210129T090000Z
DTEND:20210129T110000Z
LOCATION:https://rocketchat.cs.uni-saarland.de/channel/proto
SUMMARY:Fms: Q&A: PROTO3
END:VEVENT
BEGIN:VEVENT
UID:34313332-3331-4663-a437-613962386161
DTSTAMP:20260717T025739Z
DESCRIPTION:
DTSTART;VALUE=DATE:20210203
DTEND;VALUE=DATE:20210204
LOCATION:https://cispa-de.zoom.us/j/99708000942?pwd=Z3YxNHg5RXpMd3VLRFpSMW9
 YSDJuUT09
SUMMARY:Fms: PROTO4: Privacy
END:VEVENT
BEGIN:VEVENT
UID:39633330-3163-4633-b263-633831646365
DTSTAMP:20260717T025739Z
DESCRIPTION:
DTSTART:20210205T090000Z
DTEND:20210205T110000Z
LOCATION:https://rocketchat.cs.uni-saarland.de/channel/proto
SUMMARY:Fms: Q&A: PROTO4
END:VEVENT
BEGIN:VEVENT
UID:61323963-3132-4334-a630-323264623866
DTSTAMP:20260717T025739Z
DESCRIPTION:
DTSTART;VALUE=DATE:20210226
DTEND;VALUE=DATE:20210227
SUMMARY:Fms: PROTO project: early deadline
END:VEVENT
BEGIN:VEVENT
UID:32623530-3562-4930-b631-383266393938
DTSTAMP:20260717T025739Z
DESCRIPTION:
DTSTART;VALUE=DATE:20210326
DTEND;VALUE=DATE:20210327
SUMMARY:Fms: PROTO project: late deadline
END:VEVENT
END:VCALENDAR