From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/9998 Path: news.gmane.org!.POSTED.blaine.gmane.org!not-for-mail From: Chris Kapulkin Newsgroups: gmane.science.mathematics.categories Subject: HoTT Electronic Seminar Talks in Fall 2019 Date: Wed, 4 Sep 2019 09:02:55 -0400 Message-ID: Reply-To: Chris Kapulkin Mime-Version: 1.0 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Injection-Info: blaine.gmane.org; posting-host="blaine.gmane.org:195.159.176.226"; logging-data="39760"; mail-complaints-to="usenet@blaine.gmane.org" To: categories@mta.ca Original-X-From: majordomo@mlist.mta.ca Wed Sep 04 17:36:12 2019 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp2.mta.ca ([198.164.44.55]) by blaine.gmane.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.89) (envelope-from ) id 1i5XKN-0009wP-Dy for gsmc-categories@m.gmane.org; Wed, 04 Sep 2019 17:36:11 +0200 Original-Received: from mlist.mta.ca ([138.73.1.63]:52916) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1i5XJO-0006YG-3F; Wed, 04 Sep 2019 12:35:10 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1i5XIe-0002rh-5b for categories-list@mlist.mta.ca; Wed, 04 Sep 2019 12:34:24 -0300 Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:9998 Archived-At: Dear all, We are pleased to announce that the Homotopy Type Theory Electronic Seminar Talks (HoTTEST) will be returning in Fall 2019. The speakers are: Oct 9: Andrej Bauer Oct 23: Anders M=C3=B6rtberg Nov 6: Andrew Swan Nov 20: Benno van den Berg Dec 4: Christian Sattler (TBC) Dec 11: Richard Garner This semester, the seminar will be meeting on alternating Wednesdays (not Thursdays!) at 11:30 Eastern. For updates and instructions how to attend, please see https://www.uwo.ca/math/faculty/kapulkin/seminars/hottest.html The seminar is open to everyone, but some prior familiarity with HoTT will be assumed. Best wishes, Chris Kapulkin for the organizers [For admin and other information see: http://www.mta.ca/~cat-dist/ ]