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.
Lecturers
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
Schedule
| 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