NEW: Proof Theory Virtual Seminar

[Richard Heck]

Will these sessions be recorded? I'd love to attend some of them but
e.g. 09:00 UTC is 04:00 local time, and others conflict with teaching
obligations.

Riki


On 9/23/20 3:00 AM, Anton Freund wrote:
> 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 Löb'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
>
>

-- 
----------------------------
Richard Kimberly (Riki) Heck
Professor of Philosophy
Brown University

Pronouns: they/them/their

Email:           rikiheck at brown.edu
Website:         http://rkheck.frege.org/
Blog:            http://rikiheck.blogspot.com/
Amazon:          http://amazon.com/author/richardgheckjr
Google Scholar:  https://scholar.google.com/citations?user=QUKBG6EAAAAJ
ORCID:           http://orcid.org/0000-0002-2961-2663
Research Gate:   https://www.researchgate.net/profile/Richard_Heck