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  <p>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.
 </p>\n
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