From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10903 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Steve Awodey Newsgroups: gmane.science.mathematics.categories Subject: HoTT 2023: first CfP Date: Thu, 19 Jan 2023 17:01:57 -0500 Message-ID: Reply-To: Steve Awodey Mime-Version: 1.0 (Mac OS X Mail 12.4 \(3445.104.21\)) Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="9225"; mail-complaints-to="usenet@ciao.gmane.io" To: categories net Original-X-From: majordomo@rr.mta.ca Fri Jan 20 03:51:15 2023 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 1pIhUo-00029w-L7 for gsmc-categories@m.gmane-mx.org; Fri, 20 Jan 2023 03:51:14 +0100 Original-Received: from rr.mta.ca ([198.164.44.159]:39234) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1pIhUU-0001cg-2h; Thu, 19 Jan 2023 22:50:54 -0400 Original-Received: from majordomo by rr.mta.ca with local (Exim 4.92.1) (envelope-from ) id 1pIhTl-0006NR-Fc for categories-list@rr.mta.ca; Thu, 19 Jan 2023 22:50:09 -0400 Precedence: bulk Xref: news.gmane.io gmane.science.mathematics.categories:10903 Archived-At: *** 2nd International Conference on Homotopy Type Theory (HoTT 2023) *** Monday 22nd May - Thursday 25th May, 2023 *** Carnegie Mellon University, Pittsburgh (USA) This is the first call for papers for the 2nd International Conference = on Homotopy Type Theory (HoTT 2023).=20 Abstracts (no more than 2 pages in A4 format) should be submitted via = Easychair, using the following link. https://easychair.org/conferences/?conf=3Dhott2023 = Submissions open on 3rd February 2023 and close on 3rd March 2023.=20 Invited speakers of the conference are: Julie Bergner (University of Virginia, USA) Thierry Coquand (Chalmers University, Sweden) Andr=C3=A1s Kov=C3=A1cs (E=C3=B6tv=C3=B6s Lor=C3=A1nd University, = Hungary) Anders M=C3=B6rtberg (Stockholm University) Further information on the conference can be found at the website: https://hott.github.io/HoTT-2023/ With best regards, Steve Awodey (Chair of the organising committee) [For admin and other information see: http://www.mta.ca/~cat-dist/ ]