2021 Winter School on Proof Theory
The 3rd International Winter School on Proof Theory will take place from the 29th of November to the 3rd of December in Funchal, Madeira. The location of the Winter School is the Jesuits College (which belongs to Madeira University) at the heart of the city.
The Winter School will be co-located with the 3rd Workshop on Proof Theory and its Applications.
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.
[…] Workshop will be co-located with the 3rd International Winter School on Proof Theory. (These events will not […]