Rencontre - débat

Prochaines Rencontres de CHoCoLa

Le 6 février 2020

ENS de Lyon

Rencontres mensuelles “CHoCoLa” / Février et Mars

Suite à celles mises en œuvre dans le cadre du projet ANR CHoCo, ces rencontres mensuelles à Lyon, visent à fédérer la communauté (française en particulier) autour du domaine du calcul et de la logique. 
Chaque journée s'articulera 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. 

Rencontre CHoCoLa de Février 2020 : 

  • Cyrille Chenavier (Johannes Kepler University (Linz, Austria)), Topological rewriting systems applied to standard bases and syntactic algebras
  • Damiano Mazza (CNRS, Univ. Paris 13), Backpropagation in the Simply Typed Lambda-calculus with Linear Negation
  • Luc Pellissier (INRIA and École Polytechnique), Glueability of resource proof-structures: inverting the Taylor expansion
Rencontre CHoCoLa de Mars 2020 : 

  • Amina Doumane (CNRS, ENS de Lyon), Completeness for Identity-free Kleene Lattices