Algebraic rewriting: higher-dimensional rewriting, (non)commutative Gröbner bases, Janet bases.
Strict ω-categories, polygraphs and computads, operads, properads, PROPS.
Modal Kleene algebras, algebraic coherence, abstract rewriting systems.
Homological algebra, homotopical conditions of finite convergence.
Persistent homology. Topological Data Analysis.
Topological Process Analysis in computer science and biology.
Plactic-like structures. Crystal structures.
History of mathematics: symbolic computation in the 20th century.
Fields of primary interest (Mathematics Subject Classification 2020): 18N30, 68Q42, 18N10, 68Q70, 20M05, 18M85. Secondary interest: 01A60, 03D05, 05E10, 13P10, 16D10, 16E05, 16S37, 16Z05, 18B40, 18C10, 18C50, 18D40, 18F75, 18G10, 18G15, 18G20, 18M05, 18M30, 20F36, 55U99, 57M05, 68Q80, 68Q85, 68R15, 68W15.
Repository of e-prints and bibliographic databases
ORCID, ArXiv, HAL, MathSciNet, zbMATH, GScholar, ResearchGate.
Announcements
9th International Workshop on Confluence, IWC 2020, 30th June 2020, Paris, France.
Journées LHC - Logique, homotopie, catégories, 2019, 16-17 octobre 2019, Lyon.
Workshop Higher-dimensional Rewriting and Applications 2018, HDRA 2018, September 7, Oxford, United Kingdom.
Workshop Higher-dimensional Rewriting and Applications 2017, HDRA 2017, September 8-9, Oxford, United Kingdom.
6th International Workshop on Confluence, IWC 2017, September 8th 2017, Oxford, United Kingdom.
Conférence Catégories pour la théorie de l'homotopie et la réécriture, du 25 au 29 septembre 2017, CIRM, Marseille.
Workshop Higher-dimensional Rewriting and Applications 2016, HDRA 2016, June 25-26, Porto, Portugal.
Kobe-Lyon 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 Rewriting, 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, 3-4 mai 2004, Paris.
Projects.
Projet ANR Catégories, Homotopie et Réécriture.
Projet Formalisation du calcul algebrique.
Applied and Computational Algebraic Topology.