BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:30623964-3131-4963-a563-336136643466
X-WR-CALNAME:Seminal Papers in Security Protocol Verification Calendar
X-WR-CALDESC:Events of the lecture Seminal Papers in Security Protocol Veri
 fication
X-WR-TIMEZONE:Europe/Berlin
BEGIN:VEVENT
UID:61626366-3032-4430-b130-653236313430
DTSTAMP:20260409T192617Z
DESCRIPTION:
DTSTART:20230418T110000Z
DTEND:20230418T120000Z
SUMMARY:Spv: Kick-Off Meeting
END:VEVENT
END:VCALENDAR
