Philippe Malbos

Accueil
Recherche
Enseignement

Institut Camille Jordan
Université Claude Bernard Lyon 1
43 boulevard du 11 novembre 1918
69622 Villeurbanne cedex
bureau 255, bâtiment Braconnier
Localisation : plan d'accès
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

Réécriture algébrique. Bases de Gröbner (non)commutatives. Bases de Janet.
Sémantiques algébriques de la réécriture. Réécriture de dimension supérieure.
Algèbre homologique. Conditions de fini-convergence des systèmes de réécriture.
Homologie persistante. Analyse topologique des données de grande dimension.

Publications

From analytical mechanical problems to rewriting theory through M. Janet, (avec Kenji Iohara), 2017, Lecture note of the Kobe-Lyon summer school 2015, arXiv:1801.00053, hal-01673715.
Noncommutative linear rewriting: applications and generalizations, 2017, Lecture note of the Kobe-Lyon summer school 2015, hal-01718880.
Coherence of string rewriting systems by decreasingness, (avec Clément Alleaume), soumis, 2017, arXiv:1612.09193, hal-01676936.
Convergent presentations and polygraphic resolutions of associative algebras, (avec Yves Guiraud et Eric Hoffbeck), soumis, 2017, arXiv:1406.0815v2, hal-01006220v2.
Polygraphs of finite derivation type, (avec Yves Guiraud), Mathematical Structures in Computer Science, Vol. 28, Issue 2, pp 155-201, 2018, arXiv:1402.2587, hal-00932845.
Knuth's coherent presentations of plactic monoids of type A, (avec Nohra Hage), Algebras and Representation Theory, Vol. 20, Issue 5, pp 1259–1288, 2017, hal-01359677. Version longue : arXiv:1609.01460.
Homological Computations for Term Rewriting Systems, (avec Samuel Mimram), 1st International Conference on Formal Structures for Computation and Deduction (FSCD 2016), LIPIcs. Leibniz Int. Proc. Inform., Vol. 52, pp 27:1-27:17, 2016, hal-01678175.
Coherent presentations of Artin monoids, (avec Stéphane Gaussent et Yves Guiraud), Compositio Mathematica, Vol. 151, No. 5, pp 957-998, 2015, arXiv:1203.5358, hal-00682233.
Eigenvalue method with symmetry and vibration analysis of cyclic structure, (avec Aurélien Grolet et Fabrice Thouverez), 16th International Workshop on Computer Algebra in Scientific Computing (CASC 2014), Lecture Notes in Computer Science, Springer-Verlag, Vol. 8660, pp 121-137, 2014.
A Homotopical Completion Procedure with Applications to Coherence of Monoids, (avec Yves Guiraud et Samuel Mimram), 24th International Conference on Rewriting Techniques and Applications (RTA 2013), LIPIcs. Leibniz Int. Proc. Inform., Vol. 21, pp 223-238, 2013, hal-00818253.
Identities among relations for higher-dimensional rewriting systems, (avec Yves Guiraud) Séminaires et Congrès, Société Mathématique de France, Vol. 26, pp 145-161, 2013, arXiv:0910.4538, hal-00426228.
Higher-dimensional normalisation strategies for acyclicity, (avec Yves Guiraud), Advances in Mathematics, Vol. 231, No. 3–4, pp 2294–2351, 2012, arXiv:1011.0558, hal-00531242.
Coherence in monoidal track categories, (avec Yves Guiraud), Mathematical Structures in Computer Science, Vol. 22, Issue 6, pp 931-969, 2012, arXiv:1004.1055, hal-00470795.
Higher-dimensional categories with finite derivation type, (avec Yves Guiraud), Theory and Applications of Categories, Vol. 22, No. 18, pp 420-478, 2009, arXiv:0810.1442, hal-00326974.
Rewriting Systems and Hochschild-Mitchell Homology, Electronic Notes in Theoretical Computer Science, Vol. 81, Elsevier, 2003.
Modelling through human-computer interactions and mathematical discourse, (avec G. M. da Nóbrega et J. Sallantin), Applied Logic Series, Vol. 25, pp 293-311, 2002.
The Blob: A Basic Topological Concept for "Hardware-free" Distributed Computation, (avec Frédéric Gruau) Lecture Notes in Computer Science, Springer-Verlag, Vol. 2509, pp 151-163, 2002.

Présentations

Squier’s theory for monoids and algebras (slides in complement of the blackboard lecture), Categories in Homotopy Theory and Rewriting, CIRM, septembre 2017.
Coherence of quasi-terminating decreasing 2-polygraphs, International Workshop on Confluence (IWC 2016), septembre 2016.
Musée des confluences , janvier 2015.
Confluence of linear rewriting and homology of algebras , International Workshop on Confluence (IWC 2014), juillet 2014.
Coherent presentations of Artin groups, octobre 2013.
A Homotopical Completion Procedure, Rewriting Techniques and Applications (RTA 2013), juin 2013.
Algebraic confluences
- Part I. Homology and rewriting,
- Part II. Two-dimensional homotopy and rewriting,
Identities among relations for polygraphic rewriting.

Archives annonces

Workshop Higher-dimensional Rewriting and Applications 2016, HDRA 2016, June 25-26, Porto, Portugal. Summer School On Quivers : Computational Aspects and Geometric Applications, July 21-31, 2015, Kobe, Japan. Workshop Higher-dimensional Rewriting and Applications 2015, HDRA 2015, June 28-29, Warsaw, Poland. Conference Homotopy in Concurrency and exitRewriting , June 9-11, 2015, Palaiseau. Workshop Algebras, Operads and Rewriting , September 30 – October 3, 2014, Saint-Étienne. 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. École d'hiver Algebra and computation, 27 février - 2 mars 2012, CIRM, Marseille, dans le cadre de la session Logic and interactions 2012, CIRM, Marseille, 30 Janvier - 2 Mars 2012. Conférence Operads and Rewriting, 2-4 Novembre 2011, Lyon. Groupe de travail Invariants algébriques en informatique (2009-2010). Rencontre ANR INVAL, Lyon, 25-26 septembre 2008 . Rencontre ANR INVAL, Strasbourg, 9 novembre 2006 . Groupe de travail Frontières (2006). Rencontre Simplicial and Cubical Sets and Knowledge Evolution in Distributed Systems, Paris 3-4 mai 2004.

Confluences...