2021 Workshop on Proof Theory and its Applications
The 3rd Workshop on Proof Theory and its Applications will take place from the 29th of November to the 3rd of December in Funchal, Madeira. The location of the workshop is the Jesuits College (which belongs to Madeira University) at the heart of the city.
The Workshop will be co-located with the 3rd International Winter School on Proof Theory.
Further details will be announced soon.