29 November - 1 December 2021, Proof Society Winter School 2021

The intended audience for the Winter School is advanced master students, PhD students, postdocs and experienced researchers new to the field in mathematics, computer science and philosophy. The winter school offers courses of various levels by the following experts in the field: Bahareh Afshari, Juan Aguilera , Anupam Das, Graham Leigh, Alexander Leitsch and Norbert Preining. The event will be attending-only and shall not be streamed online.The conference fee includes registation to the affiliated The Proof Society Workshop on Proof Theory and its Applications