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:5963@i2m.univ-amu.fr
DTSTART;TZID=Europe/Paris:20220922T000000
DTEND;TZID=Europe/Paris:20220922T000000
DTSTAMP:20241120T200706Z
URL:https://www.i2m.univ-amu.fr/evenements/rencontre-mensuelle-chocola-cur
 ry-howard-calcul-et-logique/
SUMMARY:Rencontre (LIP\, ENS Lyon): Rencontre mensuelle “CHoCoLa” Curry
 -Howard : Calcul et Logique
DESCRIPTION:Rencontre: Suite à celles mises en œuvre dans le cadre du pro
 jet ANR CHoCo (2006–2010)\, nous mettons en place des rencontres mensuel
 les à Lyon\, visant à fédérer la communauté (française en particulie
 r) autour du domaine du calcul et de la logique. Chaque journée s'articul
 era autour de quelques exposés\, avec d'importantes pauses pour laisser l
 e temps aux discussions informelles. Une attention particuliere est porté
 e a l'ouverture aux doctorants.\n\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\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)
END:VEVENT
BEGIN:VTIMEZONE
TZID:Europe/Paris
X-LIC-LOCATION:Europe/Paris
BEGIN:DAYLIGHT
DTSTART:20220327T030000
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
END:DAYLIGHT
END:VTIMEZONE
END:VCALENDAR