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.7 required=5.0 tests=DKIM_ADSP_CUSTOM_MED, FORGED_GMAIL_RCVD,FREEMAIL_FROM,LOCALPART_IN_SUBJECT,RCVD_IN_MSPIKE_H2, SPOOFED_FREEMAIL,SPOOF_GMAIL_MID autolearn=no autolearn_force=no version=3.4.4 Received: (qmail 1660 invoked from network); 8 Feb 2023 19:49:52 -0000 Received: from smtp2.mta.ca (198.164.44.75) by inbox.vuxu.org with ESMTPUTF8; 8 Feb 2023 19:49:52 -0000 Received: from rr.mta.ca ([198.164.44.159]:41646) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1pPqQY-0007J7-Cu; Wed, 08 Feb 2023 15:48:22 -0400 Received: from majordomo by rr.mta.ca with local (Exim 4.92.1) (envelope-from ) id 1pPqPX-00011g-PD for categories-list@rr.mta.ca; Wed, 08 Feb 2023 15:47:19 -0400 MIME-Version: 1.0 From: Nicola Gambino Date: Mon, 6 Feb 2023 10:15:09 +0000 Subject: categories: CfP: 2nd International Conference on Homotopy Type Theory To: categories@mta.ca Content-Type: text/plain; charset="UTF-8" Precedence: bulk Reply-To: Nicola Gambino Message-Id: Good morning, The page for submitting a talk for the 2nd International Conference on Homotopy Type Theory, to take place at Carnegie Mellon University from Monday 22nd to Thursday 24th May, 2023, is now open: https://hott.github.io/HoTT-2023//call-for-papers/ The deadline for submissions is 3rd March 2023. Talks reporting on work in progress are welcome. With best wishes, Nicola Gambino (on behalf of the scientific committee) [For admin and other information see: http://www.mta.ca/~cat-dist/ ]