BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//pretalx//pretalx.freifunktag.de//hip7//7V79XE
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-hip7-SA9RDN@pretalx.freifunktag.de
DTSTART;TZID=CET:20260307T140000
DTEND;TZID=CET:20260307T160000
DESCRIPTION:Ein kleiner Einblick in die Welt des Beweisen und Programmieren
  mit Agda!
DTSTAMP:20260417T124152Z
LOCATION:Vortragssaal
SUMMARY:Beweisen mit Agda für Programmierer*innen - Nicolas (Eisfunke)
URL:https://pretalx.freifunktag.de/hip7/talk/SA9RDN/
END:VEVENT
END:VCALENDAR