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/2018/newsitem/9827/19- April-2018-Workshop-on-mixed-inductive-coinductive -reasoning DTSTAMP:20180401T040438 SUMMARY:Workshop on mixed inductive-coinductive re asoning DTSTART;TZID=Europe/Amsterdam:20180419T100000 DTEND;TZID=Europe/Amsterdam:20180419T143000 LOCATION:Room LIN 1, Linaeus building, Heyendaalse weg 137, Nijmegen DESCRIPTION:The aim of this one-day workshop is to discuss how inductive-coinductive reasoning is us ed so far, what techniques exist and how we can ad vance on those techniques. X-ALT-DESC;FMTTYPE=text/html:\n
The aim of thi s one-day workshop is to discuss how inductive-coi nductive reasoning is used so far, what techniques exist and how we can advance on those techniques.
URL:https://perso.ens-lyon.fr/henning.basold/thesi s/workshop.html CONTACT:Henning Basold at henning.basold at ens-ly on.fr END:VEVENT END:VCALENDAR