BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:36373662-6635-4563-b064-346230376532
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:61613434-6535-4530-a535-313462663234
DTSTAMP:20260425T183436Z
DESCRIPTION:
DTSTART;VALUE=DATE:20210113
DTEND;VALUE=DATE:20210114
LOCATION:https://cispa-de.zoom.us/j/93479792168?pwd=WkIyeG9BUDFnWlBxZ1hUNG1
 QUjZvZz09
SUMMARY:PROTO1: modelling
END:VEVENT
BEGIN:VEVENT
UID:35303232-3339-4263-a638-616465333561
DTSTAMP:20260425T183436Z
DESCRIPTION:
DTSTART:20210115T090000Z
DTEND:20210115T110000Z
LOCATION:https://rocketchat.cs.uni-saarland.de/channel/proto
SUMMARY:Q&A: PROTO1
END:VEVENT
BEGIN:VEVENT
UID:66616533-3564-4665-a363-336365366134
DTSTAMP:20260425T183436Z
DESCRIPTION:
DTSTART;VALUE=DATE:20210120
DTEND;VALUE=DATE:20210121
LOCATION:https://cispa-de.zoom.us/j/95553184253?pwd=UUdnZ1Nnc1lrWTdHV2VxcWl
 XRVJBZz09
SUMMARY:PROTO2: Applied-pi
END:VEVENT
BEGIN:VEVENT
UID:36653530-6562-4534-a366-396164343566
DTSTAMP:20260425T183436Z
DESCRIPTION:
DTSTART:20210122T090000Z
DTEND:20210122T110000Z
LOCATION:https://rocketchat.cs.uni-saarland.de/channel/proto
SUMMARY:Q&A: PROTO2
END:VEVENT
BEGIN:VEVENT
UID:64653365-3062-4431-b439-333065613331
DTSTAMP:20260425T183436Z
DESCRIPTION:
DTSTART;VALUE=DATE:20210127
DTEND;VALUE=DATE:20210128
LOCATION:https://cispa-de.zoom.us/j/96445853204?pwd=cktTNHpXN3Bob3RsYlpOQzl
 rM2JVQT09
SUMMARY:PROTO3: Verification tools
END:VEVENT
BEGIN:VEVENT
UID:65313634-3538-4566-a164-336531373035
DTSTAMP:20260425T183436Z
DESCRIPTION:
DTSTART:20210129T090000Z
DTEND:20210129T110000Z
LOCATION:https://rocketchat.cs.uni-saarland.de/channel/proto
SUMMARY:Q&A: PROTO3
END:VEVENT
BEGIN:VEVENT
UID:38363266-3333-4164-a661-663461333165
DTSTAMP:20260425T183436Z
DESCRIPTION:
DTSTART;VALUE=DATE:20210203
DTEND;VALUE=DATE:20210204
LOCATION:https://cispa-de.zoom.us/j/99708000942?pwd=Z3YxNHg5RXpMd3VLRFpSMW9
 YSDJuUT09
SUMMARY:PROTO4: Privacy
END:VEVENT
BEGIN:VEVENT
UID:64376334-6137-4436-b834-386465353361
DTSTAMP:20260425T183436Z
DESCRIPTION:
DTSTART:20210205T090000Z
DTEND:20210205T110000Z
LOCATION:https://rocketchat.cs.uni-saarland.de/channel/proto
SUMMARY:Q&A: PROTO4
END:VEVENT
BEGIN:VEVENT
UID:34373534-3930-4734-a364-623463643938
DTSTAMP:20260425T183436Z
DESCRIPTION:
DTSTART;VALUE=DATE:20210226
DTEND;VALUE=DATE:20210227
SUMMARY:PROTO project: early deadline
END:VEVENT
BEGIN:VEVENT
UID:31323235-3363-4764-b761-303932656562
DTSTAMP:20260425T183436Z
DESCRIPTION:
DTSTART;VALUE=DATE:20210326
DTEND;VALUE=DATE:20210327
SUMMARY:PROTO project: late deadline
END:VEVENT
END:VCALENDAR