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é.