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/2014/newsitem/5582/23- April-2014-Colloquium-on-Mathematical-Logic-Thierr y-Coquand-Gothenburg- DTSTAMP:20140424T000000 SUMMARY:Colloquium on Mathematical Logic, Thierry Coquand (Gothenburg) ATTENDEE;ROLE=Speaker:Thierry Coquand (Gothenburg) DTSTART;TZID=Europe/Amsterdam:20140423T160000 DTEND;TZID=Europe/Amsterdam:20140423T170000 LOCATION:Room 0.06, Janskerkhof 13, Utrecht DESCRIPTION:For abstracts and more information, se e http://www.staff.science.uu.nl/~ooste110/seminar .html X-ALT-DESC;FMTTYPE=text/html:\n
For abstra cts and more information, see\n http://www.staff.science.uu.nl/ ~ooste110/seminar.html\n
URL:/NewsandEvents/Archives/2014/newsitem/5582/23- April-2014-Colloquium-on-Mathematical-Logic-Thierr y-Coquand-Gothenburg- END:VEVENT END:VCALENDAR