BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:61373438-6332-4163-b833-623734636634
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:34666136-6133-4264-b064-646334633739
DTSTAMP:20260626T225545Z
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:61323734-3535-4663-b265-623733353761
DTSTAMP:20260626T225545Z
DESCRIPTION:
DTSTART:20210115T090000Z
DTEND:20210115T110000Z
LOCATION:https://rocketchat.cs.uni-saarland.de/channel/proto
SUMMARY:Fms: Q&A: PROTO1
END:VEVENT
BEGIN:VEVENT
UID:33363761-6631-4633-a136-376261633236
DTSTAMP:20260626T225545Z
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:62666665-6231-4233-b334-363230633733
DTSTAMP:20260626T225545Z
DESCRIPTION:
DTSTART:20210122T090000Z
DTEND:20210122T110000Z
LOCATION:https://rocketchat.cs.uni-saarland.de/channel/proto
SUMMARY:Fms: Q&A: PROTO2
END:VEVENT
BEGIN:VEVENT
UID:36623038-3230-4462-b461-646465316334
DTSTAMP:20260626T225545Z
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:36623666-6333-4261-b037-323537353163
DTSTAMP:20260626T225545Z
DESCRIPTION:
DTSTART:20210129T090000Z
DTEND:20210129T110000Z
LOCATION:https://rocketchat.cs.uni-saarland.de/channel/proto
SUMMARY:Fms: Q&A: PROTO3
END:VEVENT
BEGIN:VEVENT
UID:39383264-3532-4431-b161-313763363634
DTSTAMP:20260626T225545Z
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:62653735-6461-4361-a137-393061316631
DTSTAMP:20260626T225545Z
DESCRIPTION:
DTSTART:20210205T090000Z
DTEND:20210205T110000Z
LOCATION:https://rocketchat.cs.uni-saarland.de/channel/proto
SUMMARY:Fms: Q&A: PROTO4
END:VEVENT
BEGIN:VEVENT
UID:38333766-3436-4963-b130-393735366361
DTSTAMP:20260626T225545Z
DESCRIPTION:
DTSTART;VALUE=DATE:20210226
DTEND;VALUE=DATE:20210227
SUMMARY:Fms: PROTO project: early deadline
END:VEVENT
BEGIN:VEVENT
UID:39323835-3765-4763-b735-663538663138
DTSTAMP:20260626T225545Z
DESCRIPTION:
DTSTART;VALUE=DATE:20210326
DTEND;VALUE=DATE:20210327
SUMMARY:Fms: PROTO project: late deadline
END:VEVENT
END:VCALENDAR