Série de Courts Exposés

Geometry of Interaction : Logic and Complexity

by Prof. Thomas SEILLER (IHÉS)

Amphitéâtre Léon Motchane (IHES)

Amphitéâtre Léon Motchane


Le Bois Marie 35, route de Chartres 91440 Bures-sur-Yvette
I will give an overview of the Geometry of Interaction program and its applications to complexity theory. The Geometry of Interaction program takes its root in the field of logic, and more precisely of proof theory. It can be understood as a refoundation of logic arising from the dynamics of a mathematical model of computation. This research program provides well-suited frameworks for the study of computational complexity in which both time and space complexity classes can be described and which offer new methods and techniques for the study of those.