Proof Society Workshop and Winter School 2021

2021 Winter School on Proof Theory

The 3rd International Winter School on Proof Theory will take place from Nov 29 to Dec 1 at the University of Madeira under the auspices of the Proof Society and is organized by the Kurt Gödel Society.

The Winter School will be co-located with the 3rd Workshop on Proof Theory and its Applications.

The Proof Society supports the notion of proof in its broadest sense, through a series of suitable activities; to be therefore inclusive in reaching out to all scientific areas which consider proof as an object in their studies; to enable the community to shape its future by identifying, formulating and communicating it most important goals; to actively promote proof to increase its visibility and representation.

It is the aim of the Winter School to cover basic and advanced topics in proof theory. 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 objective of the Winter School is to enable young scientists in their future careers by

  • inviting renowned speakers from academia
  • providing a firm foundation in central basic and advanced areas of proof theory
  • allowing them to present their (first results) to fellow (PhD) students, postdocs and professors
  • offering them a forum to grow their own (international) network in an informal setting.


The Winter School will consist of 6 courses: (details to be announced)

Juan Aguilera (Ghent): Dilators

Bahareh Afshari (Amsterdam): Cyclic Proof Theory

Anupam Das (Birmingham): Complexity Theory for Proof Theorists

Graham Leigh (Gothenburg): Proof and Truth


time Mo Nov 29 Tu Nov 30 We Dec 1
9.30 - 11.00 Das Aguilera
11.00 - 11.30 coffee break coffee break
11.30 - 13.00 Afshari Afshari Aguilera
13.00 - 14.30 lunch break lunch break
14.30 - 16.00 Leigh Leigh
16.00 - 16.30 coffee break coffee break
16.30 - 18.00 Das

Practical Information

The number of participants is limited by the Corona rules. Therefore, everybody who intends to participate in the Winter School (or in the workshop) has to register.

  • Early registration opens Monday, October 11.
  • Acceptance is confirmed Thursday, November 11.
  • Early registration closes Monday, November 15.

More information on the registration process can be found on the registration page.

Program Committee

Matthias Baaz, TU Wien (chair)

Arnold Beckmann, Swansea University

Lev D. Beklemishev, Steklov Mathematical Institute

Balthasar Grabmayr, Humboldt University of Berlin

Rosalie Iemhoff, Utrecht University

Joost Joosten, University of Barcelona

Antonina Kolokolova, Memorial University of Newfoundland

Anela Lolic, TU Wien

Andreas Weiermann, Ghent University

Organizing Committee

Nino Antidze

Matthias Baaz (co-chair)

Ketevan Gognadze

Benedikt Hartl

Joost Joosten

Anela Lolic (co-chair)

Ilma Lolic

Eduardo Marques

Maurício Reis

Vesna Sabljakovic-Fritz

Back to Top