About
Trends in Proof Theory is a workshop–meeting hybrid focusing on topics of current interest in Proof Theory. Topics include, but are not limited to:
- Higher-type proof theory and higher-type proof-theoretic analysis;
- Proof-theoretic classification of theories and their consequences;
- WQO and BQO theory;
- Models of systems of arithmetic;
- Provability algebras and reflection principles;
- Reverse Mathematics;
- Interactions with other areas of Logic and Mathematics.
Talks are planned with low density and announced on short notice, allowing for focus on discussions and collaborations.
Registration is free but mandatory, due to the restricted capacity of the rooms.
Organizers
- Juan Aguilera (Vienna, Ghent)
- Anton Freund (Würzburg)
- Fedor Pakhomov (Ghent, Moscow)
Program
To be announced
Tentative list of participants
- J. P. Aguilera (Vienna, Ghent)
- M. Baaz (Vienna)
- A. Freund (Würzburg)
- M. Iannella (Vienna)
- J. Joosten (Barcelona)
- T. Kouptchinsky (Vienna)
- K. Kowalik (Warsaw)
- L. Kołodziejczyk (Warsaw)*
- D. Manca (Würzburg)
- L. Pacheco (Vienna)
- F. Pakhomov (Ghent, Moscow)
- N. Pischke (Darmstadt)
- G. Stepanov (Vienna)
- P. Uftring (Würzburg)
- A. Weiermann (Ghent)
Cookie Policy
This website uses cookies. By continuing to use this site, you accept our use of cookies.