BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:63396264-3161-4738-b731-383933306162
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:34336534-3032-4534-b965-653165393339
DTSTAMP:20260425T170850Z
DESCRIPTION:We will give an introduction lecture about the course on Wednes
 day 28.\n\nIf you are considering taking the course\, we recommend you to 
 attend this lecture\, which will give you an overview of the topics that w
 ill be discussed.
DTSTART:20201028T090000Z
DTEND:20201028T110000Z
LOCATION:Zoom: https://cispa-de.zoom.us/j/91272899429?pwd=c1NRanNtbC90RmYwR
 W9lWEh3b3p0dz09
SUMMARY:Introduction Lecture
END:VEVENT
END:VCALENDAR