Pierre Fraigniaud (IRIF, Paris)

Cet exposé effectuera un survol de différents modèles de calcul relatifs à l’algorithmique distribuée et des principaux résultats obtenus dans chacun de ces modèles. L’exposé insistera sur l’importance de la topologie algébrique en tant qu’outil d’analyse pour le calcul distribué, et illustrera cette importance au travers de résultats de calculabilité distribuée. Enfin, l’exposé présentera quelques pistes d’investigation questionnant la possibilité d’utiliser la topologie algébrique pour analyser la complexité de problèmes exprimés dans des modèles pour lesquels l’outil topologique n’a pas encore été utilisé.