BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:39616430-6364-4330-a332-373831613337
X-WR-CALNAME:Formal analysis of real-world security protocols Calendar
X-WR-CALDESC:Events of the lecture Formal analysis of real-world security p
 rotocols
X-WR-TIMEZONE:Europe/Berlin
BEGIN:VEVENT
UID:34303833-3062-4365-b666-366338373534
DTSTAMP:20260628T210115Z
DESCRIPTION:
DTSTART:20250106T141500Z
DTEND:20250106T144500Z
SUMMARY:Project Kick-Off
END:VEVENT
END:VCALENDAR
