When: From Monday, July 10 until Friday, July 14, 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. The location of the Summer School is the historical building of the Faculty of Mathematics and Informatics which belongs to the Universitat de Barcelona, at the heart of the city. The Summer School will be co-located with the 5th Workshop on Proof Theory and its Applications the 13th and 14th of July 2023. Both events take place under the auspices of the Proof Society.

Workshop information, *including submission*, can be found here.

Previous editions can be found at the Proof Society webpage.

Confirmed tutorial speakers:

• Albert Atserias (Technical University of Catalonia)
• Lev Beklemishev (Steklov Mathematical Institute of Russian Academy of Sciences)
• Matthieu Sozeau (Inria)
• Elaine Pimentel (University College London)
• Sara Uckelman (Durham University)

Confirmed invited speakers for the workshop:

• Leszek Aleksander Kołodziejczyk (Institute of Mathematics, University of Warsaw)
• Maria Lluisa Bonet (Technical University of Catalonia)
• Samuel R. Buss (University of California)

Abstracts:

• Booklet of Abstracts.

Posters:

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

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

The Summer School and Workshop have slightly different Program Committees. Chairs of both committees are David Fernández Duque and Joost J. Joosten.

Workshop Programm Commitee can be found here.

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.