---------- Forwarded message --------- From: Marcus Rossberg
Hi all, I figure some of us will be interested in this, so I’m forwarding the announcement. Best, Marcus Begin forwarded message: From: "Anton Freund" <fre...@mathematik.tu-darmstadt.de> Subject: NEW: Proof Theory Virtual Seminar Date: September 23, 2020 at 3:00:13 AM EDT To: f...@cs.nyu.edu *Message sent from a system outside of UConn.* 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/g/proof-theory-seminar 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 -- Anton Freund Postdoc in Mathematical Logic TU Darmstadt https://sites.google.com/view/antonfreund -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LgzrTA84aZ9Eip1OwUfRNZ0h8x8Dg%3D1PBj8C-RLJzqZOQ%40mail.gmail.com.
