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.8 required=5.0 tests=DATE_IN_PAST_03_06, LOCALPART_IN_SUBJECT,RCVD_IN_MSPIKE_H2 autolearn=no autolearn_force=no version=3.4.4 Received: (qmail 27514 invoked from network); 7 Apr 2023 15:35:06 -0000 Received: from smtp2.mta.ca (198.164.44.75) by inbox.vuxu.org with ESMTPUTF8; 7 Apr 2023 15:35:06 -0000 Received: from rr.mta.ca ([198.164.44.159]:45156) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1pko5k-00059o-Hb; Fri, 07 Apr 2023 12:33:32 -0300 Received: from majordomo by rr.mta.ca with local (Exim 4.92.1) (envelope-from ) id 1pko5N-0008P7-TK for categories-list@rr.mta.ca; Fri, 07 Apr 2023 12:33:09 -0300 From: Steve Awodey MIME-Version: 1.0 (Mac OS X Mail 16.0 \(3731.400.51.1.1\)) Subject: categories: HoTT 2023: registration open Date: Fri, 7 Apr 2023 07:41:21 -0400 To: categories net Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset="us-ascii" Precedence: bulk Reply-To: Steve Awodey Message-Id: [Apologies for duplicate emails] *** HoTT 2023 *** Second International Conference on Homotopy Type Theory *** Carnegie Mellon University *** 22nd-25th May 2023 Registration for the Second International Conference on Homotopy Type = Theory is now open. The conference will take place from the morning of Monday 22nd May to = the evening of Thursday 25th May 2023 at Carnegie Mellon University in = Pittsburgh. You can register via the website https://hott.github.io/HoTT-2023//registration/ The deadline for early registration is 1st May 2023.=20 The deadline for registration is 14th May 2023. There is some NSF funding available to support participation of = students,=20 which can cover registration, travel, and accommodation expenses.=20 To apply, please follow the instructions on the registration page. With best regards, Steve (on behalf of the Scientific and Organising Committees) [For admin and other information see: http://www.mta.ca/~cat-dist/ ]