BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//CERN//INDICO//EN
BEGIN:VEVENT
SUMMARY:Applications of proof theory in mathematics
DTSTART;VALUE=DATE-TIME:20140114T143000Z
DTEND;VALUE=DATE-TIME:20140114T150000Z
DTSTAMP;VALUE=DATE-TIME:20191120T092008Z
UID:indico-event-377@indico.math.cnrs.fr
DESCRIPTION:I will briefly describe\, by means of a few examples\, some of
the ways in which proof-theoretic methods are being applied in mathematic
s today. I focus on a particular tool - the proof interpretation\, althoug
h more generally my aim is to illustrate how ideas and techniques from pro
of theory have an impact outside of the foundations of mathematics.\n\nhtt
ps://indico.math.cnrs.fr/event/377/
LOCATION:IHES Amphitéâtre Léon Motchane
URL:https://indico.math.cnrs.fr/event/377/
END:VEVENT
END:VCALENDAR