BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//pretalx//pretalx.c3voc.de//asm26//speaker//CDU9FX
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-SNWZ8M@pretalx.c3voc.de
DTSTART;TZID=CET:20260523T200000
DTEND;TZID=CET:20260523T203000
DESCRIPTION:"Cryptic crosswords" are some of the most inscrutable word puzz
 les for the inexperienced and pose a serious challenge for non-native spea
 kers. In a cryptic crossword\, words are not only found by definition (as 
 in a regular crossword)\, but also by wordplay.\n\nWe'll investigate how c
 ryptic crosswords work\, where we can find them\, how we can solve them\, 
 and we will try to tackle some clues together.\n\nP.S.: Can you already so
 lve the clue in the talk title?
DTSTAMP:20260522T205900Z
LOCATION:Sprachschule 1: Argentinien
SUMMARY:"Mysterious underground room leads to interesting chamber" (7) - Le
 ah Neukirchen
URL:https://pretalx.c3voc.de/asm26/talk/SNWZ8M/
END:VEVENT
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:20260522T205900Z
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