Spécialités
:
- logique mathématique : théorie de la
démonstration
- informatique théorique : théorie du
calcul
- algèbre homotopique
Projets de recherche :
Séminaires :
Doctorants
: Matteo Acclavio (2012 - 2016) ; Pierre
Rannou (2007 - 2013) ; Sylvain
Lippi (1998 - 2002) ; Tom
Krantz
(1998 - 1999) ; Virgile
Mogbil
(1996 - 2001) ; Arnaud
Fleury
(1996) ; Anne Massol (1993
- 1997)
Collaborateurs récents
:
Albert Burroni
; Patrick
Dehornoy ; Yves
Guiraud ; François
Métayer ; Krzysztof
Worytkiewicz
Exposés
récents :
- Homotopy and Homology of Rewriting (11th International School on Rewriting, Paris, 1-6 juillet 2019) [pdf]
- Diagrammatic syntax for algebra (Logic and interactions 2012 : Algebra and computation, CIRM, Marseille, 27 février 2012) [pdf]
- Homotopy of computation: a deconstruction of equality (comité d'évaluation de l'IML, 6 décembre 2010) [pdf]
- Diagrammes et Σ-diagrammes (avec Pierre Rannou, groupe de travail Catégories supérieures, polygraphes et homotopie, PPS, Paris, 18 juin 2010) [première partie : pdf, seconde partie : pdf, vidéo : mp4]
- Réécriture et problème du
mot (séminaire Logique et
Interactions, IML, Marseille, 4 février 2010 et DIT - ENS Cachan Bretagne, Rennes, 16 février 2010) [pdf]
- Calculs de
diagrammes et combinateurs d’interaction (séminaire MaMuX,
IRCAM, Paris, 9 mai 2009) [pdf]
- Diagram
Rewriting (école thématique Opérades,
CIRM, Marseille, 20 - 25 avril 2009) [pdf]
- A folk model
structure on
omega-cat (Homotopy Structures in Geometry and Algebra; Derived Categories, Higher Categories,
CRM, Barcelone, 30 juin - 5 juillet 2008) [pdf]
- Algèbre
et
géométrie de la réécriture
(Ecole Jeunes
Chercheurs en Informatique Mathématique, CIRM,
Marseille, 31 mars
- 4 avril 2008) [pdf]
- Réécriture
de la géométrie (LIP,
Lyon, 21 décembre 2007) [pdf]
Voir aussi : L'imagination mathématique (colloque : Les mathématiciens et l'enseignement de leur discipline en France, CIRM, Marseille, 18 mars 2010) [pdf]
Autres rencontres
récentes :
- Journées « popularisation des mathématiques » (Orléans, 15-16 mai 2012)
- Operads and Rewriting (ICJ, Lyon, 2-4 novembre 2011)
- Topology, Algebra and Categories in Logic (Marseille, 26-30 juillet 2011)
- Homotopy and Equality in Type Theory (CIRM, Marseille, 20 mai - 3 juin 2011)
- Journées GEOCAL-LAC (LORIA, Nancy, 12-13 mai 2011)
- Journées
GEOCAL-LAC (Laboratoire J.A. Dieudonné, Nice, 15-17 mars 2010)
- Workshop CAM-CAD
(IRIT, Toulouse, 16-17 octobre 2009)
- Journées
GEOCAL-LAC (LIP, Lyon, 16-17 mars 2009)
- Algebraic Topological Methods in
Computer Science (Université Denis Diderot, Paris, 7-11
juillet 2008)
- Journées
Jean-Yves
Girard
(IHP, Paris, 10-12 septembre 2007)
- Geometry of
Computation 2006 (CIRM, Marseille, 30 janvier - 3 février 2006)
Articles
récents :
- Diagram
rewriting and operads
(Operads 2009, ed. J.-L. Loday & B. Vallette, Séminaires et Congrès 26, p. 163-179, SMF, 2011) [pdf]
- A folk model structure on
omega-cat
(avec François
Métayer et Krzysztof
Worytkiewicz, Advances in Mathematics 224 (3), p. 1183-1231, 2010)
- Polygraphic
resolutions
and homology of monoids
(avec François
Métayer, Journal
of Pure and Applied Algebra 213 (6), p. 947-968, 2009)
- Réécriture
et problème du mot
(Gazette
des mathématiciens 120, p. 27-38, 2009) [pdf]
- Diagram
rewriting for
orthogonal matrices: a study of critical peaks (avec
Pierre
Rannou, Lecture
Notes in Computer Science 5117, p. 232-245, 2008) [pdf]
- Algebra
and
geometry of rewriting (Applied
Categorical Structures 15 (4), p. 415-437, 2007)
[pdf]
Liste
de publications
Voir aussi
: Combinateurs
d'Interaction (court-métrage d'animation, 1995)
[wmv]