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,SPOOFED_FREEMAIL,SPOOF_GMAIL_MID autolearn=no autolearn_force=no version=3.4.4 Received: (qmail 11926 invoked from network); 14 Sep 2023 00:03:31 -0000 Received: from smtp2.mta.ca (198.164.44.75) by inbox.vuxu.org with ESMTPUTF8; 14 Sep 2023 00:03:31 -0000 Received: from rr.mta.ca ([198.164.44.159]:54060) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1qgZok-0005Jy-Ny; Wed, 13 Sep 2023 21:02:46 -0300 Received: from majordomo by rr.mta.ca with local (Exim 4.92.1) (envelope-from ) id 1qgZoF-0003iP-Fb for categories-list@rr.mta.ca; Wed, 13 Sep 2023 21:02:15 -0300 MIME-Version: 1.0 From: Benno van den Berg Date: Tue, 12 Sep 2023 10:44:28 +0200 Subject: categories: Advances in Homotopy type theory - MSCS special issue To: categories Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Precedence: bulk Reply-To: Benno van den Berg Message-Id: Dear colleagues and friends, I am writing to invite you to submit papers to a special issue of Mathematical Structures in Computer Science entitled =E2=80=9CAdvances in H= omotopy Type Theory=E2=80=9D. Submissions based on talks presented at the International Conference in Homotopy Type Theory held at Carnegie Mellon University in May 2023 are encouraged, but other papers are welcome too. Submissions should be made via the MSCS Scholar One portal, choosing the name of the special issue from the drop down list on page one: https://www.cambridge.org/core/journals/mathematical-structures-in-computer= -science The deadline for submissions is 31st January 2024. With best regards, Benno (also on behalf of the other guest editors, Thorsten Altenkirch, Nicola Gambino, and Maria Emilia Maietti) [For admin and other information see: http://www.mta.ca/~cat-dist/ ]