Events

Upcoming

Recent

• ANR ReciProg kick-off meeting. 6 mai, 2022
• Indiscernibility and abstraction: classification and types. Colloque à Lyon 3. 21–22 novembre, 2019.
• LHChocoScalp. 16–18 octobre, 2019.
• Annual meeting of the ANR project REPAS. Workshop à l’ENS Lyon. 18 avril, 2019

arXiv

• Preuves de logique linéaire sur machine. Workshop à l’ENS Lyon. 18 décembre, 2018
• Le même et l’autre :  identité, orthogonalité, types. Colloque à Lyon 3. 5–6 novembre, 2018
• École Jeunes Chercheurs et Chercheuses en Programmation. GDR GPL. 25–29 juin, 2018
• Relational and Algebraic Methods in Computer Science (RAMiCS). 15–18 May, 2017
• École Jeunes Chercheurs et Chercheuses en Informatique Mathématique. GDR IM. 23–27 janvier, 2017
• LL2016: Linear Logic: interaction, proofs & computation. GDRI LL. 7–10 November, 2016
• Mathematical Structures of Computation. LabEx MILyon. 13 janvier — 14 février, 2014