Algebra and Logic Seminar - 21/2/2014

Friday, 21 February 2014, 2:00 p.m.

Lecturer: Jaime Gaspar (CMA, Department of Computer Engineering and Mathematics, Universitat Rovira i Virgili, Tarragona, Catalonia)

Title: "Proof interpretations: what they are and what they are good for".

Local: Room 1.4, Edifício VII
Faculdade de Ciências e Tecnologia, Quinta da Torre, Caparica

Abstract: Proof interpretations are tools in mathematical logic with many applications: for example, consistency results, unprovability results, and extraction of computational content from proofs, to name a few. In this talk we are going to introduce proof interpretations and to present examples of their applications. We keep the talk short, simple and sweet.