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.
This talk is included in these lists:
Note that ex-directory lists are not shown.
|