Série de Courts Exposés

Geometry of Interaction : Logic and Complexity

by Prof. Thomas SEILLER (IHÉS)

Europe/Paris
Amphitéâtre Léon Motchane (IHES)

Amphitéâtre Léon Motchane

IHES

Le Bois Marie 35, route de Chartres 91440 Bures-sur-Yvette
Description
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.
Contact
Your browser is out of date!

Update your browser to view this website correctly. Update my browser now

×