BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//pretalx//pretalx.c3voc.de//asm26//talk//LE3LP7
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-LE3LP7@pretalx.c3voc.de
DTSTART;TZID=CET:20260524T150000
DTEND;TZID=CET:20260524T163000
DESCRIPTION:Im Gebiet der Softwarespezifikation und -verifikation sind Temp
 orallogiken ein nützliches Mittel\, um das Verhalten von Algorithmen zu b
 eschreiben und ihre Eigenschaften zu formalisieren. So kann zum Beispiel d
 ie Korrektheit von nebenläufigen Programmen bewiesen werden\, oder man ka
 nn Fehler in real existierender Software durch Finden von Gegenbeispielen 
 aufzeigen.
DTSTAMP:20260522T214307Z
LOCATION:Sprachschule 1: Argentinien
SUMMARY:Formale Systeme: Crashkurs Temporallogik mit Anwendungen - Leah Neu
 kirchen
URL:https://pretalx.c3voc.de/asm26/talk/LE3LP7/
END:VEVENT
END:VCALENDAR