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=2.5 required=5.0 tests=DATE_IN_PAST_12_24, DKIM_ADSP_CUSTOM_MED,FORGED_GMAIL_RCVD,FREEMAIL_FROM, LOCALPART_IN_SUBJECT,RCVD_IN_MSPIKE_H2,SPOOFED_FREEMAIL, SPOOF_GMAIL_MID,T_SCC_BODY_TEXT_LINE autolearn=no autolearn_force=no version=3.4.4 Received: (qmail 1332 invoked from network); 28 Apr 2023 00:59:26 -0000 Received: from smtp2.mta.ca (198.164.44.75) by inbox.vuxu.org with ESMTPUTF8; 28 Apr 2023 00:59:26 -0000 Received: from rr.mta.ca ([198.164.44.159]:46312) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1psCQQ-0002dA-LR; Thu, 27 Apr 2023 21:57:26 -0300 Received: from majordomo by rr.mta.ca with local (Exim 4.92.1) (envelope-from ) id 1psCQB-0000Xg-V5 for categories-list@rr.mta.ca; Thu, 27 Apr 2023 21:57:11 -0300 From: Steve Awodey MIME-Version: 1.0 (Mac OS X Mail 16.0 \(3731.500.231\)) Subject: categories: HoTT 2023: Reduced registration ends May 1 Date: Thu, 27 Apr 2023 07:39:50 -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 The reduced registration rate for HoTT 2023 closes May 1. Thereafter registration will be possible until 14th May at a higher = rate. 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/ which now also includes a list of accepted talks as well as registered = participants. With best regards, Steve (on behalf of the Scientific and Organising Committees) [For admin and other information see: http://www.mta.ca/~cat-dist/ ]