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.2 required=5.0 tests=DATE_IN_PAST_24_48, 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 14784 invoked from network); 12 May 2023 02:43:50 -0000 Received: from smtp2.mta.ca (198.164.44.75) by inbox.vuxu.org with ESMTPUTF8; 12 May 2023 02:43:50 -0000 Received: from rr.mta.ca ([198.164.44.159]:47156) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1pxIiz-0005Bm-El; Thu, 11 May 2023 23:41:41 -0300 Received: from majordomo by rr.mta.ca with local (Exim 4.92.1) (envelope-from ) id 1pxIie-0003VP-4E for categories-list@rr.mta.ca; Thu, 11 May 2023 23:41:20 -0300 From: Steve Awodey Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit MIME-Version: 1.0 (Mac OS X Mail 16.0 \(3731.500.231\)) Date: Wed, 10 May 2023 18:01:11 -0400 Subject: categories: HoTT 2023 -- Programme and final registration To: categories net Precedence: bulk Reply-To: Steve Awodey Message-Id: *** HoTT 2023 *** Second International Conference on Homotopy Type Theory *** Carnegie Mellon University *** 22nd-25th May 2023 The Programme is now available here: https://hott.github.io/HoTT-2023//programme/ Registration will close on 14 May. Until then you can still register via the website: https://hott.github.io/HoTT-2023//registration/ With best regards, Steve (on behalf of the Scientific and Organising Committees) [For admin and other information see: http://www.mta.ca/~cat-dist/ ]