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:5773@i2m.univ-amu.fr
DTSTART;TZID=Europe/Paris:20230126T103000
DTEND;TZID=Europe/Paris:20230126T170000
DTSTAMP:20241120T200214Z
URL:https://www.i2m.univ-amu.fr/evenements/chocola-a-lyon-curry-howard-cal
 cul-et-logique-janvier-2023/
SUMMARY: Rencontre ( ENS Lyon): Chocola à Lyon - Curry-Howard : Calcul et 
 Logique (janvier 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/meeting-2023-01-26/\nProgramme\n\n 	\nZeinab 
 Galal (Univ. of Manchester (UK))\n Invited talk:  TBA\n 	\nMeven Lennon-Be
 rtrand (Cambridge Univ. (UK))\n Invited talk:  TBA\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:STANDARD
DTSTART:20221030T020000
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
END:STANDARD
END:VTIMEZONE
END:VCALENDAR