Section: Dissemination

Communications in conferences

Horatiu Cirstea:

• "TomML: A Rule Language For Structured Data", International RuleML Symposium on Rule Interchange and Applications, Las Vegas, US, November 5-7, 2009.

Yves Guiraud:

• "Complexity of polygraphic programs", ANR Complice meeting, Université Paris 13, Villetaneuse, January 27.

• "Higher-dimensional categories with finite derivation type", Logic Seminar, Institut de Mathématiques de Luminy, Université Aix-Marseille 2, April 9.

• "Finite derivation type and identities among relations for higher-dimensional rewriting systems", Workshop on Computer Algebra Methods and Commutativity of Algebraic Diagrams (CAM-CAD), Institut de Recherche en Informatique de Toulouse, Université Toulouse 3, October 16-17.

Pierre-Etienne Moreau:

• “Introduction aux langages dédiés”, GDR Robotique.