BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//CERN//INDICO//EN
BEGIN:VEVENT
SUMMARY:Geometry of Interaction : Logic and Complexity
DTSTART;VALUE=DATE-TIME:20140225T143000Z
DTEND;VALUE=DATE-TIME:20140225T150000Z
DTSTAMP;VALUE=DATE-TIME:20210122T043812Z
UID:indico-event-390@indico.math.cnrs.fr
DESCRIPTION:I will give an overview of the Geometry of Interaction program
and its applications to complexity theory. The Geometry of Interaction pr
ogram takes its root in the field of logic\, and more precisely of proof t
heory. It can be understood as a refoundation of logic arising from the dy
namics of a mathematical model of computation.\n\nThis research program pr
ovides well-suited frameworks for the study of computational complexity in
which both time and space complexity classes can be described and which o
ffer new methods and techniques for the study of those.\n\nhttps://indico.
math.cnrs.fr/event/390/
LOCATION:IHES Amphitéâtre Léon Motchane
URL:https://indico.math.cnrs.fr/event/390/
END:VEVENT
END:VCALENDAR