Le Bois Marie
35, route de Chartres
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.