BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//pretalx//cfp.gulas.ch//gpn23//talk//7HRAK7
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-gpn23-7HRAK7@cfp.gulas.ch
DTSTART;TZID=CET:20250621T144500
DTEND;TZID=CET:20250621T154500
DESCRIPTION:Programming languages are a core tool of what we as hackers wor
 k with\, but their design\, implementation\, and properties are also a fie
 ld of scientific study\, frequently called "PL theory"\, which deals with 
 program semantics\, verification (etc.) and often also overlaps with other
  fields of mathematics and logic (type theory\, category theory\, etc.).
DTSTAMP:20260513T124013Z
LOCATION:Blue Saloon
SUMMARY:PL theory & co meetup - terru\, Christina
URL:https://cfp.gulas.ch/gpn23/talk/7HRAK7/
END:VEVENT
END:VCALENDAR