BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:64653162-6266-4139-a432-353939396162
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:38343531-6565-4339-b430-356133333838
DTSTAMP:20260626T225422Z
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:64633766-3338-4036-b366-333737616665
DTSTAMP:20260626T225422Z
DESCRIPTION:
DTSTART:20210115T090000Z
DTEND:20210115T110000Z
LOCATION:https://rocketchat.cs.uni-saarland.de/channel/proto
SUMMARY:Q&A: PROTO1
END:VEVENT
BEGIN:VEVENT
UID:39636662-3061-4464-b765-643664613061
DTSTAMP:20260626T225422Z
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:37636665-6539-4035-b039-626134356534
DTSTAMP:20260626T225422Z
DESCRIPTION:
DTSTART:20210122T090000Z
DTEND:20210122T110000Z
LOCATION:https://rocketchat.cs.uni-saarland.de/channel/proto
SUMMARY:Q&A: PROTO2
END:VEVENT
BEGIN:VEVENT
UID:37656534-6634-4262-b937-636532376661
DTSTAMP:20260626T225422Z
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:65306462-6264-4330-a536-613334396335
DTSTAMP:20260626T225422Z
DESCRIPTION:
DTSTART:20210129T090000Z
DTEND:20210129T110000Z
LOCATION:https://rocketchat.cs.uni-saarland.de/channel/proto
SUMMARY:Q&A: PROTO3
END:VEVENT
BEGIN:VEVENT
UID:65383865-3831-4166-a536-306665653634
DTSTAMP:20260626T225422Z
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:33636633-3763-4233-b631-643361323463
DTSTAMP:20260626T225422Z
DESCRIPTION:
DTSTART:20210205T090000Z
DTEND:20210205T110000Z
LOCATION:https://rocketchat.cs.uni-saarland.de/channel/proto
SUMMARY:Q&A: PROTO4
END:VEVENT
BEGIN:VEVENT
UID:66393239-3962-4566-a334-393762633461
DTSTAMP:20260626T225422Z
DESCRIPTION:
DTSTART;VALUE=DATE:20210226
DTEND;VALUE=DATE:20210227
SUMMARY:PROTO project: early deadline
END:VEVENT
BEGIN:VEVENT
UID:64636665-6236-4634-b037-366661336531
DTSTAMP:20260626T225422Z
DESCRIPTION:
DTSTART;VALUE=DATE:20210326
DTEND;VALUE=DATE:20210327
SUMMARY:PROTO project: late deadline
END:VEVENT
END:VCALENDAR