NEW: Proof Theory Virtual Seminar

[Anton Freund]

> Will these sessions be recorded?

Thank you for asking! Yes, we plan to record most sessions of the Proof
Theory Virtual Seminar. They will be available on the seminar's YouTube
channel. There is nothing on this channel yet, but the link can be found
here:

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

The seminar series will be inaugurated this Wednesday at 17:00 UTC, with
Sam Buss speaking on "Propositional proof systems and bounded arithmetic
for logspace and nondeterministic logspace". A schedule that adapts to
your local time is here:

https://researchseminars.org/seminar/PT-Seminar

To participate, it suffices to click on a Zoom link, which you can find here:

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

If you would like to receive email reminders about future talks, you can
join our google group by clicking here:

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

See you at the seminar on Wednesday!
Anton