Invariants algébriques et topologiques du calcul
17 et 18 mars 2005, Montpellier.
Les exposés auront lieu dans la salle 431 de l'I3M, batiment 9
de l'Université Montpellier
II. Un plan du campus
se trouve ici.
Pour se rendre à l'Université de la gare ou du centre
ville, prendre le tramway
Mosson <->Odysseum, un tram toutes les 5 minutes, ensuite
descendre
à l'arrêt Universités des Sciences et Lettres.
L'entrée principale de l'Université se trouve à 5
minutes de l'arrêt du tram dans la direction de cette sculpture.
Jeudi 17 mars
- 9h00 : Accueil en salle de réunion (2 ème
étage de l'I3M)
- 9h30 - 10h30 : Marco Grandis :
Modelling fundamental categories and fundamental 2-categories for
directed homotopy (abstract)
- Pause
- 11h - 12h00 : François Lamarche
: Qu'est-ce qu'une catégorie Booléenne ?
- Déjeuner : au restaurant universitaire Vert-bois
- 14h00 - 15h00 : Yves Lafont : Vers une
théorie homotopique des calculs (résumé)
- 15h10 - 16h10 : Albert Burroni :
Polygraphes et orientaux
- Pause (résumé)
- 16h40 - 17h40 : Teimuraz Pirashvili :
Cohomology of small categories and strictification of track theories (abstract)
Vendredi 18 mars
- 9h - 10h : Peter Bubenik : Using
context and model categories to define directed homotopies (abstract)
- Pause
- 10h30 - 11h30 : Philippe Gaucher
: Comment faire rentrer la T-homotopie dans une catégorie de
modèles sans introduire d'équivalences faibles parasites
? (résumé)
- 11h40 - 12h40 : Krzysztof Worytkiewicz : Changing
the contexts of directed homotopies (abstract)
- Déjeuner : au restaurant universitaire Vert-bois.
- 14h00 - 15h00 : Ulrich Fahrenberg :
Bisimulation for Higher-Dimensional Automata. A geometric
interpretation (abstract).
- 15h10 - 16h10 : Emmanuel Haucourt :
Catégorie de composantes d'un espace partiellement
ordonné (résumé)
- Pause
- 16h30 - 17h30 : discussion libre.