BEGIN:VCALENDAR
VERSION:2.0
PRODID:"-//TU Delft PL//Events//NL"
X-WR-CALNAME:TU Delft PL Events
CALSCALE:GREGORIAN
BEGIN:VTIMEZONE
TZID:Europe/Amsterdam
TZURL:http://tzurl.org/zoneinfo-outlook/Europe/Amsterdam
X-LIC-LOCATION:Europe/Amsterdam
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:19700329T020000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:19701025T030000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
ORGANIZER;CN="TU Delft PL":MAILTO:secr-pl-ewi@tudelft.nl
UID:20261111-Daniel A.A. Pelsmaeker@pl.ewi.tudelft.nl
DTSTAMP:20260929T001100Z
DTSTART;TZID=Europe/Amsterdam:20261111T173000
DTEND;TZID=Europe/Amsterdam:20261111T190000
LOCATION:Aula - Senaatzaal
SUMMARY:[PhD Defense] Daniel A.A. Pelsmaeker: "Language-Parametric Editor Services from Language Specifications"
END:VEVENT
BEGIN:VEVENT
ORGANIZER;CN="TU Delft PL":MAILTO:secr-pl-ewi@tudelft.nl
UID:20261014-Mauricio Verano Merino@pl.ewi.tudelft.nl
DTSTAMP:20260929T001100Z
DTSTART;TZID=Europe/Amsterdam:20261014T134500
DTEND;TZID=Europe/Amsterdam:20261014T144500
LOCATION:28 - Social Data Lab
SUMMARY:[Seminar] Mauricio Verano Merino: ""
END:VEVENT
BEGIN:VEVENT
ORGANIZER;CN="TU Delft PL":MAILTO:secr-pl-ewi@tudelft.nl
UID:20260930-Ralf Lämmel@pl.ewi.tudelft.nl
DTSTAMP:20260929T001100Z
DTSTART;TZID=Europe/Amsterdam:20260930T110000
DTEND;TZID=Europe/Amsterdam:20260930T120000
LOCATION:28 - Hilbert
SUMMARY:[Seminar] Ralf Lämmel: "Deep Instantiation Meets Dependent Typing: The Potential of Coding Potency in Potent Type Systems"
END:VEVENT
BEGIN:VEVENT
ORGANIZER;CN="TU Delft PL":MAILTO:secr-pl-ewi@tudelft.nl
UID:20260921-Georgi Nihrizov@pl.ewi.tudelft.nl
DTSTAMP:20260929T001100Z
DTSTART;TZID=Europe/Amsterdam:20260921T160000
DTEND;TZID=Europe/Amsterdam:20260921T173000
LOCATION:28 - 5.C960 Ritchie
SUMMARY:[MSc Defense] Georgi Nihrizov: ""
END:VEVENT
BEGIN:VEVENT
ORGANIZER;CN="TU Delft PL":MAILTO:secr-pl-ewi@tudelft.nl
UID:20260916-Satoshi Takimoto@pl.ewi.tudelft.nl
DTSTAMP:20260929T001100Z
DTSTART;TZID=Europe/Amsterdam:20260916T120000
DTEND;TZID=Europe/Amsterdam:20260916T130000
LOCATION:28 - Hilbert
SUMMARY:[Seminar] Satoshi Takimoto: "Type-Based Library Search for Theorem Provers"
END:VEVENT
BEGIN:VEVENT
ORGANIZER;CN="TU Delft PL":MAILTO:secr-pl-ewi@tudelft.nl
UID:20260909-Sacha Bernheim@pl.ewi.tudelft.nl
DTSTAMP:20260929T001100Z
DTSTART;TZID=Europe/Amsterdam:20260909T120000
DTEND;TZID=Europe/Amsterdam:20260909T130000
LOCATION:28 - Hilbert
SUMMARY:[Seminar] Sacha Bernheim: "A compiler for quantum and classical computation"
END:VEVENT
BEGIN:VEVENT
ORGANIZER;CN="TU Delft PL":MAILTO:secr-pl-ewi@tudelft.nl
UID:20260902-James Wood@pl.ewi.tudelft.nl
DTSTAMP:20260929T001100Z
DTSTART;TZID=Europe/Amsterdam:20260902T120000
DTEND;TZID=Europe/Amsterdam:20260902T130000
LOCATION:28 - Hilbert
SUMMARY:[Seminar] James Wood: "NbE for LNL via Adjoint Meta-Modalities"
END:VEVENT
BEGIN:VEVENT
ORGANIZER;CN="TU Delft PL":MAILTO:secr-pl-ewi@tudelft.nl
UID:20260901-Gijs van der Heide@pl.ewi.tudelft.nl
DTSTAMP:20260929T001100Z
DTSTART;TZID=Europe/Amsterdam:20260901T173000
DTEND;TZID=Europe/Amsterdam:20260901T190000
LOCATION:28 - 1.W510 Banach
SUMMARY:[MSc Defense] Gijs van der Heide: ""
END:VEVENT
END:VCALENDAR