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:5875@i2m.univ-amu.fr
DTSTART;TZID=Europe/Paris:20221124T103000
DTEND;TZID=Europe/Paris:20221124T170000
DTSTAMP:20241120T200644Z
URL:https://www.i2m.univ-amu.fr/evenements/curry-howard-calcul-et-logique-
 novembre-2022/
SUMMARY: Rencontre ( ENS Lyon): Curry-Howard : Calcul et Logique (novembre 
 2022)
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…\n\nVoir https
 ://chocola.ens-lyon.fr/events/meeting-2022-11-24/\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