[Alta-Logic] Fwd: [PT] NEW: Proof Theory Virtual Seminar

[Richard Zach]

New online seminar series in proof theory!

On Sep. 23, 2020, 05:09, at 05:09, Anton Freund <freund at mathematik.tu-darmstadt.de> wrote:
>[△EXTERNAL]
>
>
>
>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://eur01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwww.proofsociety.org%2Fproof-theory-seminar%2F&data=02%7C01%7CProofTheory%40lists.bath.ac.uk%7Ce418a82674074bdd314708d85f8f4fa6%7C377e3d224ea1422db0ad8fcc89406b9e%7C0%7C0%7C637364416965756397&sdata=zuKajQMqLzckUFl4PsLLQHp2p9w1eVFRJ89gvY6XUVY%3D&reserved=0
>
>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://eur01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgroups.google.com%2Fforum%2F%23!forum%2Fproof-theory-seminar%2Fjoin&data=02%7C01%7CProofTheory%40lists.bath.ac.uk%7Ce418a82674074bdd314708d85f8f4fa6%7C377e3d224ea1422db0ad8fcc89406b9e%7C0%7C0%7C637364416965766390&sdata=1wvHL5kZxTXYORBfiz7r%2FbZpCsfVHoC%2By2aJR8xh6xQ%3D&reserved=0
>
>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://eur01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fsites.google.com%2Fview%2Fantonfreund&data=02%7C01%7CProofTheory%40lists.bath.ac.uk%7Ce418a82674074bdd314708d85f8f4fa6%7C377e3d224ea1422db0ad8fcc89406b9e%7C0%7C0%7C637364416965766390&sdata=9fh3lH9RFHhOwh2Yi6Q5GIat4K%2Fe6OYQ9t%2FhQ3WUXys%3D&reserved=0
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20200923/7c9891f2/attachment.html>