Yves Guiraud

Page personnelle

Rencontre Operads and rewriting, 2 – 4 novembre 2011, Institut Camille Jordan, Lyon

Semaines Logic and interactions, 30 janvier – 2 mars 2012, CIRM, Marseille

Groupe de travail Invariants algébriques en informatique