2023 Workshop on Proof Theory and its Applications
The 5th International Workshop on Proof Theory and its Applications will take place the 13th and 14th of July 2023 in Barcelona, Spain, under the auspices of the Proof Society. More information can be found here.
