Invariants algébriques et topologiques du calcul
17 et 18 mars 2005, Montpellier.
Rencontre dans le cadre de l'ACI Nouvelles interfaces des
mathématiques, GEOCAL
Cette rencontre porte sur les deux thèmes suivants :
- l'étude homotopique des systèmes distribués
et de la concurrence,
- l'étude homologique des systèmes de
réécritures et du lambda-calcul.
L'objectif de la rencontre est de faire le point sur les derniers
résultats obtenus dans ces deux directions et sur les
interactions qui les relient.
Liste des orateurs
Peter Bubenik : Using
context and model categories to define directed homotopies (abstract, slides pdf)
Albert Burroni :
Polygraphes et orientaux
(résumé)
Ulrich Fahrenberg :
Bisimulation for Higher-Dimensional Automata. A geometric
interpretation (abstract).
Philippe Gaucher
: Comment faire rentrer la T-homotopie dans une catégorie de
modèles sans introduire d'équivalences faibles parasites
? (résumé, transparents pdf,
ps.gz)
Marco Grandis :
Modelling fundamental categories and fundamental 2-categories for
directed homotopy (abstract)
Emmanuel Haucourt :
Catégorie de composantes d'un espace partiellement
ordonné (résumé)
Yves Lafont : Vers une
théorie homotopique des calculs (résumé,
annexe à l'exposé pdf)
François Lamarche
: Qu'est-ce qu'une catégorie Booléenne ?
Teimuraz Pirashvili :
Cohomology of small categories and strictification of track theories (abstract)
Krzysztof Worytkiewicz : Changing
the contexts of directed homotopies (abstract)
Inscription : envoyer un courrier
à malbos@pps.jussieu.fr en joignant ce formulaire.
Organisateurs : Eric
Goubault et Philippe
Malbos