Proof Society Workshop and Winter School 2021


The 3rd Workshop on Proof Theory and its Applications and the 3rd International Winter School on Proof Theory will take place from the 29th of November to the 3rd of December in Funchal, Madeira, under the auspices of The Proof Society. The location of the workshop and the Winter School is the Jesuit College (which belongs to Madeira University) at the heart of the city.

The workshop and the Winter School are organized by the Kurt Gödel Society.


Important Dates

  • Submission of abstracts for the workshop (one page) and early registration open Monday, October 11.
  • Submission of abstracts closes Monday, November 8.
  • Acceptance is confirmed Thursday, November 11.
  • Early registration closes Monday, November 15.


  • Winter School Monday, November 29 - Wednesday, December 1.
  • Workshop Thursday, December 2 - Saturday, December 4.
Back to Top