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:5684@i2m.univ-amu.fr
DTSTART;TZID=Europe/Paris:20230330T103000
DTEND;TZID=Europe/Paris:20230330T170000
DTSTAMP:20241120T200146Z
URL:https://www.i2m.univ-amu.fr/evenements/chocola-a-lyon-curry-howard-cal
 cul-et-logique-mars-2023/
SUMMARY: Rencontre ( ENS Lyon): Chocola à Lyon - Curry-Howard : Calcul et 
 Logique (mars 2023)
DESCRIPTION: Rencontre: Suite à celles mises en œuvre dans le cadre du pr
 ojet ANR CHoCo (2006–2010)\, nous mettons en place des rencontres mensue
 lles à Lyon\, visant à fédérer la communauté (française en particuli
 er) autour du domaine du calcul et de la logique. Chaque journée s'articu
 lera autour de quelques exposés\, avec d'importantes pauses pour laisser 
 le temps aux discussions informelles. Une attention particuliere est port
 ée a l'ouverture aux doctorants.\nÀ titre indicatif\, les sujets abordé
 s tourneront certainement autour de : logique\, calcul\, sémantique\, Cur
 ry-Howard\, réécriture\, chocolat\, concurrence\, réalisabilité\, thé
 orie des types\, complexité implicite\, typage\, preuves…\nVoir https:/
 /chocola.ens-lyon.fr/events/seminaire-2023-03-30/\nProgramme\n\n 	 Jules J
 acobs (Radboud University)\, TBA\n 	 Will Troiani (LIPN and Melbourne (Aus
 tralia))\, TBA\n\n&nbsp\;\n\n&nbsp\;\n\n&nbsp\;
ATTACH;FMTTYPE=image/jpeg:https://www.i2m.univ-amu.fr/wp-content/uploads/2
 022/08/image_aglr-ldp-logo_chocola.png
CATEGORIES:Manifestation scientifique,Rencontre(s)
LOCATION:ENSL - École normale supérieure de Lyon\, 15 parvis René Descar
 tes\, Lyon\, France\, 69342\, France
X-APPLE-STRUCTURED-LOCATION;VALUE=URI;X-ADDRESS=15 parvis René Descartes\,
  Lyon\, France\, 69342\, France;X-APPLE-RADIUS=100;X-TITLE=ENSL - École n
 ormale supérieure de Lyon:geo:0,0
END:VEVENT
BEGIN:VTIMEZONE
TZID:Europe/Paris
X-LIC-LOCATION:Europe/Paris
BEGIN:DAYLIGHT
DTSTART:20230326T030000
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
END:DAYLIGHT
END:VTIMEZONE
END:VCALENDAR