BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//pretalx//pretalx.c3voc.de//asm26//talk//YNY8A8
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-asm26-YNY8A8@pretalx.c3voc.de
DTSTART;TZID=CET:20260524T133000
DTEND;TZID=CET:20260524T141500
DESCRIPTION:Viele Regeln und Gesetze sind eher schwammig formuliert\, doch 
 im Bereich Verkehrsregeln gibt es tatsächlich die Möglichkeit\, mittels 
 Temporallogik einen Teil der StVO zu formalisieren. Ich zeige euch einige 
 interessante Anwendungsfälle formalisierter Verkehrsregeln.
DTSTAMP:20260522T215359Z
LOCATION:Sprachschule 1: Argentinien
SUMMARY:Gib dir einen Ruck! Der Zusammenhang zwischen Jerk und Temporallogi
 k - whoami
URL:https://pretalx.c3voc.de/asm26/talk/YNY8A8/
END:VEVENT
END:VCALENDAR