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:4657@i2m.univ-amu.fr
DTSTART;TZID=Europe/Paris:20230302T110000
DTEND;TZID=Europe/Paris:20230302T123000
DTSTAMP:20241124T134131Z
URL:https://www.i2m.univ-amu.fr/evenements/la-reduction-des-termes-a-resso
 urces-induit-une-extension-conservative-de-la-%ce%b2-reduction-sur-les-%ce
 %bb-termes/
SUMMARY:Rémy Cerda (I2M\, Aix-Marseille): La réduction des termes à ress
 ources induit une extension conservative de la β-réduction sur les λ-te
 rmes
DESCRIPTION:Rémy Cerda: Tout est dans le titre\, qu’on aura peut-être l
 e temps de prolonger par : « On a en outre des raisons raisonnables de pe
 nser que\, contre toute attente\, ce résultat n'est plus vrai quand on co
 nsidère un λ-calcul infinitaire. »
ATTACH;FMTTYPE=image/jpeg:https://www.i2m.univ-amu.fr/wp-content/uploads/2
 023/02/Remy_Cerda.png
CATEGORIES:Séminaire,Logique et Interactions
LOCATION:I2M Luminy - Ancienne BU\, Salle Séminaire2 (RdC)\, 163 Avenue de
  Luminy\, 13009 Marseille\, France\, 
X-APPLE-STRUCTURED-LOCATION;VALUE=URI;X-ADDRESS=163 Avenue de Luminy\, 1300
 9 Marseille\, France\, ;X-APPLE-RADIUS=100;X-TITLE=I2M Luminy - Ancienne B
 U\, Salle Séminaire2 (RdC):geo:0,0
END:VEVENT
BEGIN:VTIMEZONE
TZID:Europe/Paris
X-LIC-LOCATION:Europe/Paris
BEGIN:STANDARD
DTSTART:20221030T020000
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
END:STANDARD
END:VTIMEZONE
END:VCALENDAR