NEW: Proof Theory Virtual Seminar

Anton Freund freund at mathematik.tu-darmstadt.de
Mon Oct 5 02:49:59 EDT 2020


> 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



More information about the FOM mailing list