Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

8 - 11 September 2019, 2nd International Summer School on Proof Theory, Swansea, Wales

Date: 8 - 11 September 2019
Location: Swansea, Wales
Deadline: Monday 1 July 2019

The 2nd International Summer School on Proof Theory will be hosted by the Department of Computer Science at Swansea University under the auspices of The Proof Society and is sponsored by the London Mathematical Society. The Summer School will be co-located with the 2nd Workshop on Proof Theory and its Applications which will take place on September 11-13.

It is the aim of the summer school to cover basic and advanced topics in proof theory. The focus of the second edition will be on philosophy of proof theory, proof theory of impredicative theories, structural proof theory, proof mining, reverse mathematics, type theory and bounded arithmetic. Other areas like proof complexity, program extraction from proofs, and philosophy of constructive mathematics will be covered at the workshop.

The intended audience for the Summer School is advanced master students, PhD students postdocs and experienced researchers new to the field in mathematics, computer science and philosophy.

Please note that this newsitem has been archived, and may contain outdated information or links.