BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//pretalx//pretalx.linuxtage.at//glt22//speaker//GWJXAL
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-glt22-RCAPX9@pretalx.linuxtage.at
DTSTART;TZID=CET:20220423T160000
DTEND;TZID=CET:20220423T164500
DESCRIPTION:Constraint solvers are powerful tools that can be used to solve
  various problems.\nWe will look at the open source solver Z3 and see how 
 to use it for logic puzzles and other applications.
DTSTAMP:20260514T185747Z
LOCATION:HS i2
SUMMARY:Solving Puzzles with Constraint Solvers - Benedikt Maderbacher
URL:https://pretalx.linuxtage.at/glt22/talk/RCAPX9/
END:VEVENT
END:VCALENDAR