Laboratoire d'informatique de l'École polytechnique

Séminaire par Thomas Seiller: «Dynamique, algèbre, géométrie, et complexité du calcul»

Speaker: Thomas Seiller
Location: Salle Philippe Flajolet, Bât. Alan Turing
Date: Ven. 28 sept. 2018, 10h30-11h30

Pour le prochain séminaire de notre équipe, nous aurons le plaisir d'accueillir Thomas Seiller.

Résumé: Le but de cet exposé est de présenter certains aspects géométriques des programmes et de la complexité algorithmique qui apparaissent lorsque l’on s’essaie à représenter la dynamique de l’execution des programmes. Le cadre formel que je considère, les modèles de graphes d’interaction, est inspiré des modèles de géométrie de l’interaction de Girard et permet de representer les programmes comme des généralisations de systèmes dynamiques. J’expliquerai comment cette approche me mène à étudier certaines relations d’équivalences entre actions de monoides, et comment ceci pourrait mener à de nouvelles techniques de séparation en complexité.