délégation INRIA au sein de l'équipe πr² ,
Centre de recherche Paris - Rocquencourt ,
Laboratoire Preuves, Programmes et Systèmes,
Université Paris Diderot - Paris 7,
bureau 3032, bâtiment Sophie Germain, 75205 Paris Cedex 13,
Tel: (+33)(0)1 57 27 90 86
---
Institut Camille Jordan,
Université Claude
Bernard Lyon1,
43 boulevard du 11 novembre 1918,
69622 Villeurbanne cedex
bureau 255,
bâtiment Braconnier
Tel: (+33)(0)4 72 44 85 25
Fax: (+33)(0)4 72 43 16 87
Courriel: malbos % math.univ-lyon1.fr
Domaines d'intérêt
Algèbre homologique, sémantiques algébriques, systèmes de réécriture.
Conditions de fini-convergence des systèmes de réécriture.
Travaux récents
- A polygraphic survey on finiteness conditions for rewriting systems (avec Yves Guiraud), un texte introductif aux conditions de fini-convergence de Squier.
- Coherent presentations of Artin groups (avec Stéphane Gaussent et Yves Guiraud), arXiv:1203.5358v2, hal-00682233, soumis.
- A Homotopical Completion Procedure with Applications to Coherence of Monoids (avec Yves Guiraud et Samuel Mimram), Rewriting Techniques and Applications 2013.
Annonces
- Sujet de thèse : Cohérence des algèbres plaxiques en théorie des représentations.
- Session thématique Mathematical Structures of Computation, 13 janvier - 14 février 2014, Lyon.
- Conférence Algebra and computation , 20 janvier - 24 janvier 2014, Lyon.
- Sujet de stage M2R (informatique) : Calcul homologique par réécriture.
- Réseau européen Applied and Computational Algebraic Topology.