March 31, 2014
Thomas Seiller (IHES)Je donnerai un aperçu du programme de Géométrie de l’Interaction, et en particulier mon travail sur les graphes d’interaction et son application à la théorie de la complexité. Le programme de Géométrie de l’Interaction trouve ses racines en théorie de la démonstration. Il s’agit d’une reconstruction de la logique autour de la dynamique des programmes, via la correspondance preuves-programmes.
Ce programme de recherche procure des modèles particulièrement intéressants pour l’étude de la complexité algorithmique. J’expliquerai comment ils permettent de caractériser des classes de complexité en temps et en espace, ainsi que les nouvelles méthodes et outils qu’ils procurent.