From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on inbox.vuxu.org X-Spam-Level: * X-Spam-Status: No, score=1.2 required=5.0 tests=DATE_IN_PAST_24_48, LOCALPART_IN_SUBJECT,RCVD_IN_MSPIKE_H2 autolearn=no autolearn_force=no version=3.4.4 Received: (qmail 2197 invoked from network); 3 Mar 2023 21:47:33 -0000 Received: from smtp2.mta.ca (198.164.44.75) by inbox.vuxu.org with ESMTPUTF8; 3 Mar 2023 21:47:33 -0000 Received: from rr.mta.ca ([198.164.44.159]:43284) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1pYDED-0002tJ-ID; Fri, 03 Mar 2023 17:46:13 -0400 Received: from majordomo by rr.mta.ca with local (Exim 4.92.1) (envelope-from ) id 1pYDDb-0003hA-TT for categories-list@rr.mta.ca; Fri, 03 Mar 2023 17:45:35 -0400 From: Steve Awodey MIME-Version: 1.0 (Mac OS X Mail 16.0 \(3731.400.51.1.1\)) Subject: categories: HoTT 2023: Extended Deadline Date: Thu, 2 Mar 2023 07:59:39 -0500 To: categories net , types-announce@lists.seas.upenn.edu Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset="utf-8" Precedence: bulk Reply-To: Steve Awodey Message-Id: *** 2nd International Conference on Homotopy Type Theory (HoTT 2023) *** Monday 22nd May - Thursday 25th May, 2023 *** Carnegie Mellon University, Pittsburgh (USA) *** Deadline Extended to 19th March 2023 This is the third call for papers for the 2nd International Conference = on Homotopy Type Theory (HoTT 2023). The deadline for submissions has now been extended to 19th March 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 Invited speakers of the conference will be: 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) There will also be a special Voevodsky Memorial Lecture by=20 Michael Shulman (University of San Diego) Talks on work in progress and by students are particularly welcome.=20 There will be an award for the best student paper. A block of rooms has been booked at a local hotel. Further information can be found at the website: https://hott.github.io/HoTT-2023/ With best wishes, Steve Awodey=20 (on behalf of the organizing committee) [For admin and other information see: http://www.mta.ca/~cat-dist/ ]