BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//pretalx//fahrplan.do-byte.de//do-byte-2026//talk//HS3UN8
BEGIN:VTIMEZONE
TZID:CET
BEGIN:STANDARD
DTSTART:20001029T040000
RRULE:FREQ=YEARLY;BYDAY=-1SU;BYMONTH=10
TZNAME:CET
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
END:STANDARD
BEGIN:DAYLIGHT
DTSTART:20000326T030000
RRULE:FREQ=YEARLY;BYDAY=-1SU;BYMONTH=3
TZNAME:CEST
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
END:DAYLIGHT
END:VTIMEZONE
BEGIN:VEVENT
UID:pretalx-do-byte-2026-HS3UN8@fahrplan.do-byte.de
DTSTART;TZID=CET:20260621T130000
DTEND;TZID=CET:20260621T150000
DESCRIPTION:Ein kleiner Einblick in die Welt des Beweisens und Programmiere
 n mit Agda!
DTSTAMP:20260615T131943Z
LOCATION:Workshops/CTDO Raum 3
SUMMARY:Beweisen mit Agda für Programmierer*innen - Nicolas
URL:https://fahrplan.do-byte.de/do-byte-2026/talk/HS3UN8/
END:VEVENT
END:VCALENDAR