University of Birmingham > Talks@bham > Theoretical computer science seminar > Recent results and open questions in applied proof theory

Recent results and open questions in applied proof theory

Add to your list(s) Download to your calendar using vCal

If you have a question about this talk, please contact George Kaye.

Zoom details

Abstract

I give an overview of some recent research aimed at bringing proof theoretic ideas to bear on new domains of application. The talk will not assume any prior knowledge of the area, and will try to convey a sense of the main challenges we face, and outline what I consider to be some key open questions for the next decade or so.

Paul Levy has kindly agreed to chair this talk.

This talk is part of the Theoretical computer science seminar series.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

 

Talks@bham, University of Birmingham. Contact Us | Help and Documentation | Privacy and Publicity.
talks@bham is based on talks.cam from the University of Cambridge.