BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:32643465-6661-4661-b939-366132356639
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:61376538-3738-4165-b831-306432633531
DTSTAMP:20260605T223922Z
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:31326435-3831-4738-b234-663666393139
DTSTAMP:20260605T223922Z
DESCRIPTION:
DTSTART:20210115T090000Z
DTEND:20210115T110000Z
LOCATION:https://rocketchat.cs.uni-saarland.de/channel/proto
SUMMARY:Fms: Q&A: PROTO1
END:VEVENT
BEGIN:VEVENT
UID:64363436-3939-4538-b235-306337386566
DTSTAMP:20260605T223922Z
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:39373135-6439-4230-b138-366561393732
DTSTAMP:20260605T223922Z
DESCRIPTION:
DTSTART:20210122T090000Z
DTEND:20210122T110000Z
LOCATION:https://rocketchat.cs.uni-saarland.de/channel/proto
SUMMARY:Fms: Q&A: PROTO2
END:VEVENT
BEGIN:VEVENT
UID:66333338-3966-4533-b735-633735666637
DTSTAMP:20260605T223922Z
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:33653236-6665-4137-a263-613135383235
DTSTAMP:20260605T223922Z
DESCRIPTION:
DTSTART:20210129T090000Z
DTEND:20210129T110000Z
LOCATION:https://rocketchat.cs.uni-saarland.de/channel/proto
SUMMARY:Fms: Q&A: PROTO3
END:VEVENT
BEGIN:VEVENT
UID:38623731-3865-4136-b235-316564656234
DTSTAMP:20260605T223922Z
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:30653964-3764-4635-b530-343531356565
DTSTAMP:20260605T223922Z
DESCRIPTION:
DTSTART:20210205T090000Z
DTEND:20210205T110000Z
LOCATION:https://rocketchat.cs.uni-saarland.de/channel/proto
SUMMARY:Fms: Q&A: PROTO4
END:VEVENT
BEGIN:VEVENT
UID:62343065-3365-4663-a363-653038393961
DTSTAMP:20260605T223922Z
DESCRIPTION:
DTSTART;VALUE=DATE:20210226
DTEND;VALUE=DATE:20210227
SUMMARY:Fms: PROTO project: early deadline
END:VEVENT
BEGIN:VEVENT
UID:31643666-3539-4565-b761-383466313335
DTSTAMP:20260605T223922Z
DESCRIPTION:
DTSTART;VALUE=DATE:20210326
DTEND;VALUE=DATE:20210327
SUMMARY:Fms: PROTO project: late deadline
END:VEVENT
END:VCALENDAR