From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10574 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: anupamdotdas@gmail.com Newsgroups: gmane.science.mathematics.categories Subject: Proof Theory Seminar, Autumn 2021 Date: Tue, 28 Sep 2021 11:06:18 +0100 Message-ID: Reply-To: anupamdotdas@gmail.com Mime-Version: 1.0 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: 8bit Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="9970"; mail-complaints-to="usenet@ciao.gmane.io" To: "categories@mta.ca" Original-X-From: majordomo@rr.mta.ca Wed Sep 29 23:00:12 2021 Return-path: Envelope-to: gsmc-categories@m.gmane-mx.org Original-Received: from smtp2.mta.ca ([198.164.44.75]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1mVggU-0002LG-Iy for gsmc-categories@m.gmane-mx.org; Wed, 29 Sep 2021 23:00:10 +0200 Original-Received: from rr.mta.ca ([198.164.44.159]:58858) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1mVgcN-0004de-1q; Wed, 29 Sep 2021 17:55:55 -0300 Original-Received: from majordomo by rr.mta.ca with local (Exim 4.92.1) (envelope-from ) id 1mVgfY-0008Az-Ju for categories-list@rr.mta.ca; Wed, 29 Sep 2021 17:59:12 -0300 Precedence: bulk Xref: news.gmane.io gmane.science.mathematics.categories:10574 Archived-At: Dear all, We are pleased to announce that the Proof Theory Virtual Seminar series will restart this autumn on Wednesday 6 October with a talk by Professor Jeremy Avigad. A list of this season's speakers can be found below, as well as other useful information. The Proof Theory Virtual Seminar is an online seminar series that presents talks by leading researchers from all areas of proof theory. It was launched in October 2020 and typically has talks on the first and third Wednesdays of the month, alternating between morning (9am UTC) and afternoon (5pm UTC) to facilitate international participation. 6 October, 17:00 UTC. Jeremy Avigad (Carnegie Mellon University). Title: The conservativity of weak K??nig's lemma (a proof from the book). 20 October, 09:00 UTC. Fedor Pakhomov (Ghent University and Steklov Mathematical Institute) Title: Fast growing hierarchies, ordinal collapsing, and ???????-CA???. 3 November, 17:00 UTC. Wilfried Sieg (Carnegie Mellon University). Title: Proofs as objects. 17 November, 09:00 UTC. Alexis Saurin (Centre National de la Recherche Scientifique) Title: (TBA) 1 December. (No seminar due to Proof Society Winter School and Workshop, 29 November - 4 December). 15 December, 09:00 UTC. Alessio Guglielmi (University of Bath). Title: (TBA) Joining details, abstracts and other information can be found on the seminar 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 Best wishes, Lev Beklemishev, Yong Cheng, Anupam Das, Anton Freund, Thomas Powell, Sam Sanders, Monika Seisenberger, Andrei Sipos, Henry Towsner [For admin and other information see: http://www.mta.ca/~cat-dist/ ]