BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//wp-events-plugin.com//7.2.3.1//EN
TZID:Europe/Paris
X-WR-TIMEZONE:Europe/Paris
BEGIN:VEVENT
UID:8131@i2m.univ-amu.fr
DTSTART;TZID=Europe/Paris:20150319T110000
DTEND;TZID=Europe/Paris:20150319T123000
DTSTAMP:20241120T210039Z
URL:https://www.i2m.univ-amu.fr/evenements/types-inductifs-stricts-et-pare
 sseux-du-point-de-vue-de-la-logique-lineaire/
SUMMARY:Thomas Ehrhard (PPS\, Université Paris-Diderot): Types inductifs s
 tricts et paresseux\, du point de vue de la logique linéaire
DESCRIPTION:Thomas Ehrhard: TBA\n\nhttp://www.pps.univ-paris-diderot.fr/~eh
 rhard/
ATTACH;FMTTYPE=image/jpeg:https://www.i2m.univ-amu.fr/wp-content/uploads/2
 020/01/Thomas_Ehrhard.jpg
CATEGORIES:Séminaire,Logique et Interactions
END:VEVENT
BEGIN:VTIMEZONE
TZID:Europe/Paris
X-LIC-LOCATION:Europe/Paris
BEGIN:STANDARD
DTSTART:20141026T020000
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
END:STANDARD
END:VTIMEZONE
END:VCALENDAR