Yves Guiraud

Chargé de recherche
INRIA, Université Paris 7
yves.guiraud@irif.fr
Téléphone : 01.57.27.94.29

Adresse physique

Bât. Sophie Germain, bureau 3012
8 place Aurélie Nemours
75013 Paris

Adresse postale

Université Paris 7
Case 7014
75205 Paris Cedex 13

Recherche

Domaines d'intérêt

Articles

Mémoires

Logiciels

Divers

Étudiants

Antoine Allioux, avec Matthieu Sozeau, depuis février 2018
Simon Forest, avec Samuel Mimram, depuis septembre 2017
Maxime Lucas, avec Pierre-Louis Curien, thèse soutenue le 1er décembre 2017
Cyrille Chenavier, avec Philippe Malbos, thèse soutenue le 9 décembre 2016

Groupe de travail

Catégories supérieures, polygraphes et homotopie

Actions collectives

ANR Cathre (Catégories, homotopie et réécriture), 2014-2017
IDEX SPC Focal (Formalisation du calcul algébrique), 2013-2016
GDR Topologie Algébrique et Applications
GDR Informatique Mathématique

Rencontres organisées

Higher-Dimensional Rewriting and Applications, 7 juillet 2018, Oxford
Categories in Homotopy and Rewriting, 25-29 septembre 2017, CIRM, Marseille
Higher-Dimensional Rewriting and Applications, 8-9 septembre 2017, Oxford
Journées nationales Géocal-LAC, 28-29 novembre 2016, Paris
Higher-Dimensional Rewriting and Applications, 25-26 juin 2016, Porto
Higher-Dimensional Rewriting and Applications, 28-29 juin 2015, Varsovie
Homotopy in Concurrency and Rewriting, 9-12 juin 2015, Saclay
Mathematical Structures of Computation, 13 janvier – 14 février 2014, Lyon
Logic and Interactions, 30 janvier – 2 mars 2012, CIRM, Marseille
Operads and Rewriting, 2-4 novembre 2011, Lyon

Notes d'exposés

Introduction à la théorie de Squier (fr)
Présentations cohérentes des monoïdes d'Artin (fr)
Théorie de Squier et résolutions polygraphiques (fr, en)
Catégories supérieures de type de dérivation fini (fr, en)
Programmes polygraphiques (fr, en)
Polygraphes, réécriture et logique (fr)
Les trois dimensions des démonstrations (fr, en)
Réécriture en dimension supérieure (en)
Polygraphes et réécriture de termes (fr, en)

Illustrations

Démonstrations en 3D : 1, 2, 3, 4, 5, 6, 7, 8, 9, 10
Films (par Guillaume Bonfante) : 1, 2, 3