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.
More information and registration details can be found at https://kgs.logic.at/madeira2021/
The workshop and the Winter School are organized by the Kurt Gödel Society.
[…] Winter School will be co-located with the 3rd Workshop on Proof Theory and its Applications. (These events will not […]