[Proof Complexity] Proof Theory Seminar, Autumn 2021

anupamdotdas at gmail.com anupamdotdas at gmail.com
Tue Sep 28 12:08:07 CEST 2021

Dear all,

We are pleased to announce that the Proof Theory Virtual Seminar series
will restart this autumn on Wednesday 6 October with a talk by
Professor Jeremy Avigad. A list of this season's speakers can be found
below, as well as other useful information.

The Proof Theory Virtual Seminar is an online seminar series that
presents talks by leading researchers from all areas of proof theory.
It was launched in October 2020 and typically has talks on the first
and third Wednesdays of the month, alternating between morning (9am
UTC) and afternoon (5pm UTC) to facilitate international participation.

6 October, 17:00 UTC. Jeremy Avigad (Carnegie Mellon University).
Title: The conservativity of weak König's lemma (a proof from the

20 October, 09:00 UTC. Fedor Pakhomov (Ghent University and Steklov
Mathematical Institute)
Title: Fast growing hierarchies, ordinal collapsing, and Π¹₁-CA₀.

3 November, 17:00 UTC. Wilfried Sieg (Carnegie Mellon University).
Title: Proofs as objects.

17 November, 09:00 UTC. Alexis Saurin (Centre National de la Recherche
Title: (TBA)

1 December. (No seminar due to Proof Society Winter School and
Workshop, 29 November - 4 December).

15 December, 09:00 UTC. Alessio Guglielmi (University of Bath).
Title: (TBA)

Joining details, abstracts and other information can be found on the
seminar website:


If you would like to receive reminders, you can sign up to our email
list by joining the following google group (no google account


Best wishes,
Lev Beklemishev, Yong Cheng, Anupam Das, Anton Freund, Thomas Powell,
Sam Sanders, Monika Seisenberger, Andrei Sipos, Henry Towsner

More information about the Proof-Complexity mailing list