BEGIN:VCALENDAR VERSION:2.0 PRODID:ILLC Website X-WR-TIMEZONE:Europe/Amsterdam BEGIN:VTIMEZONE TZID: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 UID:/NewsandEvents/Archives/2022/newsitem/13458/4- March-2022-DutchCATS-Andrew-Swan DTSTAMP:20220227T183751 SUMMARY:DutchCATS, Andrew Swan ATTENDEE;ROLE=Speaker:Andrew Swan DTSTART;TZID=Europe/Amsterdam:20220304T160000 DTEND;TZID=Europe/Amsterdam:20220304T170000 LOCATION:Online DESCRIPTION:The Dutch Categories And Types Seminar is an inter-university seminar on type theory, ca tegory theory, and the interaction between these t wo fields. It provides a forum for discussion, col laboration, and dissemination to researchers in ty pe theory and category theory working in the Nethe rlands. X-ALT-DESC;FMTTYPE=text/html:\n
The Dutch Cate gories And Types Seminar is an inter-university se minar on type theory, category theory, and the int eraction between these two fields. It provides a f orum for discussion, collaboration, and disseminat ion to researchers in type theory and category the ory working in the Netherlands.
URL:https://dutchcats.github.io CONTACT:Benno van den Berg at bennovdberg at gmail .com END:VEVENT END:VCALENDAR