• Home
  • Research
  • People
  • Short CV
  • Grants
  • Teaching
  • Talks
  • Mehr
    • Home
    • Research
    • People
    • Short CV
    • Grants
    • Teaching
    • Talks
  • Home
  • Research
  • People
  • Short CV
  • Grants
  • Teaching
  • Talks

Trends in Proof Theory 2024

TU Vienna, February 5th–16th, 2024.

Location: Wiedner Hauptstraße 8–10, 1040 Vienna, Austria.
Seminar room DA05E10, 5th floor, green part.

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;
  • Combinatorial principles and independence results;
  • WQO and BQO theory;
  • Models of systems of arithmetic;
  • Provability algebras and reflection principles;
  • Reverse Mathematics;
  • Recursive analogs of large cardinals and reflecting ordinals;
  • Interactions with other areas of Logic and Mathematics;
  • Any other topics of relevance to the above and to FWF project ESP-3.
     

Talks are planned with low density and announced on short notice, allowing for focus on discussions and collaborations.
 

On the first Wednesday, February 7th, we will have a Weiermanntag on the occasion of Andreas' birthday. The talks this day will be less specialized and relate to Andreas' research interests.
 

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

(Subject to change until February 17th)

Monday 5

10:00 – 10:10. Opening
10:10 – 11:10. Pakhomov

11:25 – 12:25. Pakhomov

 

14:00. Week 1 open problem session chaired by Pacheco

Tuesday 6

10:00 – 11:00. Pakhomov

11:15 – 12:15. Pakhomov

Wednesday 7

Weiermanntag – on the occasion of Andreas Weiermann's 15th birthday.

 

10:00 – 10:15. Introduction

10:15 – 11:15. Baaz

11:30 – 12:32. Soldà

 

14:30 – 15:30. Aschenbrenner

15:45 – 16:45. S. Friedman

17:00 – 18:00. Aguilera

 

19:00. Dinner

Thursday 8

10:00–11:00. Kouptchinsky

11:15–12:15. Kouptchinsky

 

14:00–15:00. Pakhomov

Friday 9

10:00–11:00. Pacheco

11:15–12:15. Weiermann

Monday 12

10:00–11:00. Sanders

11:15–12:15. Sanders

 

14:00. Week 2 open problem session chaired by Pacheco.

Tuesday 13

10:00–11:00. Uftring

11:15–12:15. Manca

Wednesday 14

10:00–11:00. Lazar

11:15–12:15. Sanders

Thursday 15

10:00–11:00. Kołodziejczyk

11:15–12:15. Kołodziejczyk

 

14:00–15:00. Kołodziejczyk

15:30–16:30. Kołodziejczyk

Friday 16

10:00–11:00. Степанов

11:15–12:15. Freund

Participants

  • F. Achammer (Vienna)
  • J. P. Aguilera (Vienna, Ghent)
  • M. Aschenbrenner (Vienna)
  • M. Baaz (Vienna)
  • A. D. Chopra (Ghent)
  • A. Freund (Würzburg)
  • S. Friedman (Vienna)
  • P. Gruza (Warsaw)
  • M. Iannella (Vienna)
  • J. Joosten (Barcelona)
  • V. Lazar (Ghent)
  • T. Kouptchinsky (Vienna)
  • K. Kowalik (Warsaw)
  • L. Kołodziejczyk (Warsaw)*
  • D. Manca (Würzburg)
  • L. Pacheco (Vienna)
  • F. Pakhomov (Ghent, Moscow)
  • Κ. Παπαφιλίπου (Γάνδη)
  • P. Provenzano (Ghent)
  • S. Sanders (Bochum)
  • G. Soldà (Ghent)
  • Г. Степанов (Вена)
  • C. Switzer (Vienna)
  • P. Uftring (Würzburg)
  • A. Weiermann (Ghent)

© 2019–2024 All rights reserved. Photographs not on the home page are © FWF/Ulrich Zinell, Gerd Schneider, Klaus Ranger.

Cookie Policy

This website uses cookies. By continuing to use this site, you accept our use of cookies.

Accept & Close