BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:35323265-6135-4338-b231-623961376139
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:38376466-3265-4633-a334-386234353435
DTSTAMP:20260425T170747Z
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:62623166-3732-4963-b434-623565373162
DTSTAMP:20260425T170747Z
DESCRIPTION:
DTSTART:20210115T090000Z
DTEND:20210115T110000Z
LOCATION:https://rocketchat.cs.uni-saarland.de/channel/proto
SUMMARY:Q&A: PROTO1
END:VEVENT
BEGIN:VEVENT
UID:65343735-3938-4566-a364-316333643065
DTSTAMP:20260425T170747Z
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:36383163-3837-4634-a365-626230666663
DTSTAMP:20260425T170747Z
DESCRIPTION:
DTSTART:20210122T090000Z
DTEND:20210122T110000Z
LOCATION:https://rocketchat.cs.uni-saarland.de/channel/proto
SUMMARY:Q&A: PROTO2
END:VEVENT
BEGIN:VEVENT
UID:61343932-6537-4431-b130-643234313363
DTSTAMP:20260425T170747Z
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:36656661-3362-4239-a130-383430393536
DTSTAMP:20260425T170747Z
DESCRIPTION:
DTSTART:20210129T090000Z
DTEND:20210129T110000Z
LOCATION:https://rocketchat.cs.uni-saarland.de/channel/proto
SUMMARY:Q&A: PROTO3
END:VEVENT
BEGIN:VEVENT
UID:32636237-3338-4137-a236-616437643963
DTSTAMP:20260425T170747Z
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:32323131-6261-4863-b261-373130643638
DTSTAMP:20260425T170747Z
DESCRIPTION:
DTSTART:20210205T090000Z
DTEND:20210205T110000Z
LOCATION:https://rocketchat.cs.uni-saarland.de/channel/proto
SUMMARY:Q&A: PROTO4
END:VEVENT
BEGIN:VEVENT
UID:33303239-6332-4636-b036-646331636465
DTSTAMP:20260425T170747Z
DESCRIPTION:
DTSTART;VALUE=DATE:20210226
DTEND;VALUE=DATE:20210227
SUMMARY:PROTO project: early deadline
END:VEVENT
BEGIN:VEVENT
UID:34666337-3662-4364-b638-623836396237
DTSTAMP:20260425T170747Z
DESCRIPTION:
DTSTART;VALUE=DATE:20210326
DTEND;VALUE=DATE:20210327
SUMMARY:PROTO project: late deadline
END:VEVENT
END:VCALENDAR