Logic List Mailing Archive

Proof Theory Virtual Seminar, starting 7 Oct 2020

Dear colleagues,

We are pleased to announce the Proof Theory Virtual Seminar, an online
seminar series that presents talks by leading researchers from all areas
of proof theory. It will be inaugurated with the following talks:

7 October, 17:00 UTC: Sam Buss
Title: Propositional proof systems and bounded arithmetic for logspace and
nondeterministic logspace

21 October, 09:00 UTC: Michael Rathjen
Title: Far beyond Goodman's Theorem?

4 November, 17:00 UTC: Valeria de Paiva
Title: Benchmarking Theorems of Implicational Intuitionistic Linear Logic

18 November, 09:00 UTC: Albert Visser
Title: Fixed Points meet Lb's Rule

2 December, 17:00 UTC: Ulrich Kohlenbach

16 December, 09:00 UTC: Matthias Baaz

To attend, it suffices to click on a Zoom link, which you can find on our
website:

https://www.proofsociety.org/proof-theory-seminar/

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

https://groups.google.com/forum/#!forum/proof-theory-seminar/join

For further information (including abstracts for the talks listed above),
please visit the aforementioned website. We look forward to seeing you at
the seminar!

Best wishes,
Lev Beklemishev, Yong Cheng, Anupam Das, Anton Freund, Thomas Powell, Sam
Sanders, Monika Seisenberger, Andrei Sipos, Henry Towsner
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam