Vous êtes ici : Version française > Présentation > Evénements scientifiques
-
Partager cette page
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 :
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
- Amina Doumane (CNRS, ENS de Lyon), Completeness for Identity-free Kleene Lattices
