BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:66373538-3730-4964-b937-653264353062
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:35633437-3738-4833-b838-643239376265
DTSTAMP:20260919T212350Z
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:66646535-6363-4439-b238-643663393661
DTSTAMP:20260919T212350Z
DESCRIPTION:
DTSTART:20210115T090000Z
DTEND:20210115T110000Z
LOCATION:https://rocketchat.cs.uni-saarland.de/channel/proto
SUMMARY:Fms: Q&A: PROTO1
END:VEVENT
BEGIN:VEVENT
UID:65333037-3961-4763-b437-353362383436
DTSTAMP:20260919T212350Z
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:63313036-3734-4461-b763-306238636265
DTSTAMP:20260919T212350Z
DESCRIPTION:
DTSTART:20210122T090000Z
DTEND:20210122T110000Z
LOCATION:https://rocketchat.cs.uni-saarland.de/channel/proto
SUMMARY:Fms: Q&A: PROTO2
END:VEVENT
BEGIN:VEVENT
UID:32623930-3738-4664-b865-326533386136
DTSTAMP:20260919T212350Z
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:64343639-6537-4434-a237-623766616130
DTSTAMP:20260919T212350Z
DESCRIPTION:
DTSTART:20210129T090000Z
DTEND:20210129T110000Z
LOCATION:https://rocketchat.cs.uni-saarland.de/channel/proto
SUMMARY:Fms: Q&A: PROTO3
END:VEVENT
BEGIN:VEVENT
UID:30396461-6263-4862-a566-636131623538
DTSTAMP:20260919T212350Z
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:31333839-6637-4666-a562-383432626261
DTSTAMP:20260919T212350Z
DESCRIPTION:
DTSTART:20210205T090000Z
DTEND:20210205T110000Z
LOCATION:https://rocketchat.cs.uni-saarland.de/channel/proto
SUMMARY:Fms: Q&A: PROTO4
END:VEVENT
BEGIN:VEVENT
UID:31373333-3538-4432-a661-313034316637
DTSTAMP:20260919T212350Z
DESCRIPTION:
DTSTART;VALUE=DATE:20210226
DTEND;VALUE=DATE:20210227
SUMMARY:Fms: PROTO project: early deadline
END:VEVENT
BEGIN:VEVENT
UID:33623535-3630-4436-b034-306130383166
DTSTAMP:20260919T212350Z
DESCRIPTION:
DTSTART;VALUE=DATE:20210326
DTEND;VALUE=DATE:20210327
SUMMARY:Fms: PROTO project: late deadline
END:VEVENT
END:VCALENDAR