Philippe Malbos

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.

- Homological and homotopical finiteness conditions for rewriting systems using natural systems,
(avec Yves Guiraud) en préparation.
- Identities among relations for higher-dimensional rewriting systems, pdf.
(avec Yves Guiraud) arXiv:0910.4538
- Higher-dimensional categories with finite derivation type, pdf,
(avec Yves Guiraud), Theory and Applications of Categories, Vol. 22, 2009, No. 18, pp 420-478, arXiv:0810.1442.
- Rewriting Systems and Hochschild-Mitchell Homology,
Electronic Notes in Theoretical Computer Science, vol 81, Elsevier, 2003.
- The Blob: A Basic Topological Concept for "Hardware-free" Distributed Computation,
(avec F. Gruau) Lecture Notes in Computer Science, Springer, 2509, 151-163, 2002.

- Homotopical methods in polygraphic rewwriting, a survey, pdf, présentation ANR choco, 12/09.

Coordination de la mention mathématiques de la licence Sciences, Technologies, Santé.

Outils de développement informatique (Master 2 SITN)
Math I algèbre (Licence STS)
Math III algèbre (Licence STS)

Archives

Enseignements

- Ecrit 2 du CAPES de mathématiques : révisions d'algèbre linéaire I, pdf, et II, pdf, un capes blanc autour de Perron, Frobenius et Markov, pdf.
- Programmation Swing

Divers

- Rencontre ANR INVAL 25-26 septembre 2008
- Rencontre ANR INVAL 9 novembre 2006