BEGIN:VCALENDAR
VERSION:2.0
CALSCALE:GREGORIAN
PRODID:SCI (Service Center Informatik)
METHOD:PUBLISH
X-LIC-LOCATION:Europe/Berlin

X-WR-TIMEZONE:Europe/Berlin

BEGIN:VTIMEZONE

TZID:Europe/Berlin

BEGIN:DAYLIGHT

TZOFFSETFROM:+0100

TZOFFSETTO:+0200

TZNAME:CEST

DTSTART:19700329T020000

RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU

END:DAYLIGHT

BEGIN:STANDARD

TZOFFSETFROM:+0200

TZOFFSETTO:+0100

TZNAME:CET

DTSTART:19701025T030000

RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU

END:STANDARD

END:VTIMEZONE

BEGIN:VEVENT
UID:20240506145010@sci
LOCATION:MPI-113 (KL)
SUMMARY:Talk by Martin Lester (Automated Reasoning Group), hosted by Automated Reasoning Group
CLASS:PUBLIC
DTSTART;TZID=Europe/Berlin:20240419T100000
DTEND;TZID=Europe/Berlin:20240419T120000
DTSTAMP;TZID=Europe/Berlin:20240506T145000Z
END:VEVENT
END:VCALENDAR