When: From Monday, July 10 until Wednesday, July 12, 2023.

Venue: Faculty of Mathematics and Informatics, University of Barcelona: Gran Via de les Corts Catalanes, 585, 08007 Barcelona.

Overview:

The 5th International Summer School on Proof Theory and its Applications will take place from the 10th of July to the 12th of July 2023 in Barcelona, Spain. It is organized by the Universitat de Barcelona and the Technical University of Catalonia, under the auspices of The Proof Society.

The Proof Society has recently been formed to support the notion of proof in its broadest sense, through a series of suitable activities; to be therefore inclusive in reaching out to all scientific areas which consider proof as an object in their studies; to enable the community to shape its future by identifying, formulating and communicating its most important goals; to actively promote proof to increase its visibility and representation.

The aim of the Summer School is to cover basic and advanced topics in proof theory. The focus of the fifth edition will be computational content of proofs, proof complexity, proof theory and philosophical aspects of proof. Other areas will be represented through research talks at the following workshop. The intended audience is advanced master students, PhD students, postdocs and experienced researchers in mathematics, computer science and philosophy.

• Registration details can be found here.

Registration closes: June 26th, Extended to July 2th AoE .

The Summer School will provide the following courses:

• Albert Atserias (Technical University of Catalonia) : Proof Complexity of Propositional Resolution ;

• Lev Beklemishev (Steklov Mathematical Institute of Russian Academy of Sciences) : Reflection algebras: an introduction ;

• Matthieu Sozeau (Inria) : MetaCoq, CertiCoq and Certified Extraction of Dependently-Typed Programs ;

• Elaine Pimentel (University College London) : Proof theory for ecumenical systems ;

• Sara Uckelman (Durham University) : The Historical Origins of Proof Theory: Proofs in 13th and 14th Centuries .

Abstracts:

• Booklet of Abstracts.

Posters:

• Poster of the Summer School.
• Poster of the Workshop.

Posters designs by Isabel Hortelano Martín, June 2023.

There will be a Cocktail party which will take place Wednesday, July 12th at 20:00 at the roof terrace of the Barceló Raval hotel.

Further details will be announced soon.

The Summer School will be held in the room B5 of the Faculty of Mathematics and Informatics, University of Barcelona: Gran Via de les Corts Catalanes, 585, 08007 Barcelona.

Useful phone numers:

• Citizen inquiries: 012
• Emergency: 112
• Health related issues: 061

For questions please contact one of the Local Organising Committee members.