Recent results and open questions in applied proof theory

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

• Tom Powell (University of Bath)
• Friday 18 March 2022, 14:00-15:00
• LG23, SoCS and Zoom (see abstract for link).

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

Zoom details

• Link: https://bham-ac-uk.zoom.us/j/81873335084?pwd=T1NaUFg2U1l6d0RLL2RlTzFBam1IUT09
• Meeting ID: 818 7333 5084
• Passcode: 217

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:

• Computer Science Departmental Series
• Computer Science Distinguished Seminars
• LG23, SoCS and Zoom (see abstract for link)
• Theoretical computer science seminar
• computer sience

Note that ex-directory lists are not shown.