2023 Summer School on Proof Theory and its Applications

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. More information can be found here.