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.0 required=5.0 tests=DKIMWL_WL_MED,DKIM_SIGNED, DKIM_VALID,HTML_MESSAGE,MAILING_LIST_MULTI,RCVD_IN_DNSWL_NONE autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 16879 invoked from network); 11 Sep 2023 09:35:50 -0000 Received: from mail-lj1-x23d.google.com (2a00:1450:4864:20::23d) by inbox.vuxu.org with ESMTPUTF8; 11 Sep 2023 09:35:50 -0000 Received: by mail-lj1-x23d.google.com with SMTP id 38308e7fff4ca-2bcc1e0dfe5sf44645551fa.1 for ; Mon, 11 Sep 2023 02:35:50 -0700 (PDT) ARC-Seal: i=3; a=rsa-sha256; t=1694424949; cv=pass; d=google.com; s=arc-20160816; b=apOfwNJUNOcSNxRITK8pVf4JEGlGocQRvla1UfZXO62YEhaNm0G3Rr7xpX5UvMD85f dxVftEDLPqBpaMuPOKGzrP4qGqoyl41kPl3ck9hzKqU7PwZ8EHpU/GLmligA6hmjMe5Y 0QdLlfveReqjm5md+Zf/C9D6K6Ch3wamKzoMSGTeXjf6ifOZMNwKsho8PdH+ggTGsRWV iWrpWS6GhZ7fH/Z2hGS/kJ1T0Q5JGd+AiwSqMspiZZLHztzedX68XBd2VSzmpGU0p1u2 bjxWnSVcLBQlSjQefKrP+OOM6YbjcSCaE5W5pbrUfPq2Pr0/KDe3mUCoko4uB6WAI8Mu /Dlw== ARC-Message-Signature: i=3; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post :list-id:mailing-list:precedence:mime-version:content-language :accept-language:message-id:date:thread-index:thread-topic:subject :to:from:sender:dkim-signature; bh=QM+5lNc5eT614OuRQ1WokhG4hc/GCd2zn8Sp0s0afnE=; fh=/6UVsXaURKW/5DdS+mXc6zz9pGW1ozdeaNE0x1Tw3WY=; b=j8KnMhIEfzF96aYJx/vVOlN6qxdHsue4sxRncY/l79PnArfCvj41AjXP2iEjl7Wk7H Laue247Ka55KU7UUI+ncfFZ4XMJgTeYk/cn+xqvYKyAX10hrblr51AsguJFramoRPcCa jvPCJiH5dKf2uIeBZEn5ZYhI3pafju+EIxOXhP3/6ynaSG6FTtNzxqIk0z9wq2hj6wgF YqGqOR8/Vb3bxqLPP5zSPvPAeCrGtKSP9LF9CQw9mD3SOYcx4bU6QRqDddbgUO6wC9Gw mSUG2u+NjhilXWxLeCeIqUQ/Fa69y+wg2KYEUW9jFGvyrfKz/CUB1sQ8459Teh8ZT8qh oX4Q== ARC-Authentication-Results: i=3; gmr-mx.google.com; arc=pass (i=1 spf=pass spfdomain=manchester.ac.uk dkim=pass dkdomain=manchester.ac.uk dmarc=pass fromdomain=manchester.ac.uk); spf=pass (google.com: domain of nicola.gambino@manchester.ac.uk designates 2a01:111:f403:7080::62c as permitted sender) smtp.mailfrom=Nicola.Gambino@manchester.ac.uk; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=manchester.ac.uk DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20230601; t=1694424949; x=1695029749; darn=inbox.vuxu.org; h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post :list-id:mailing-list:precedence:x-original-authentication-results :x-original-sender:mime-version:content-language:accept-language :message-id:date:thread-index:thread-topic:subject:to:from:sender :from:to:cc:subject:date:message-id:reply-to; bh=QM+5lNc5eT614OuRQ1WokhG4hc/GCd2zn8Sp0s0afnE=; b=KTX8OzwbsIS/LemdKLE8R8YtTSXH6b78pfA2gG+mAt2GWj6oD0a4gZiyvyBTtV5nEO rkE67OCViR/6b/3qdLWnFUXa7QMvPKBBo+y6y2HBoAsHKBF37N4EuCJg1mH7rRsQRJzS bRn/WbTUUBUz6RRZBNrWRcHtyYrYwNwS3xxLLV1wL4zPhQnqrACzJCv2I9+VDUI7jV5T rvko9E2XaBuaM2v6YExPiEST1t0VtgmJAv95YuRasBx0CzfKdk5h2y7rMsRF+W+zDX/9 KMpVRclfp56v4ymGmWuhKmFtLSQoGCL4ibtzP3wQ12Ia1aSgz+C+UfxzBec1OwYT5iNj 4PFw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1694424949; x=1695029749; h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post :x-spam-checked-in-group:list-id:mailing-list:precedence :x-original-authentication-results:x-original-sender:mime-version :content-language:accept-language:message-id:date:thread-index :thread-topic:subject:to:from:x-beenthere:x-gm-message-state:sender :from:to:cc:subject:date:message-id:reply-to; bh=QM+5lNc5eT614OuRQ1WokhG4hc/GCd2zn8Sp0s0afnE=; b=sjobdDDmioZrOJH9M1BbiGLzEbXFSDm8Spp7xGh8Zu1l9AB6ltmvpPHNGBx91N0tux 7jGg2mylcB+p4yAOoNVMmmY6CL4vkWi6hueNyyBc0y2KL6TXLijMGChvk0R2awkO5ogj 9uTyoh4aGdWnZvKiGove2n7mOQbPrXjEv7pJfWXEC+5aTI15hsvV/2xkGuzW31h1TJla OyoTOowGpoDshWqONe1PzxDFoibHTSI+BaYPkJIVGqqDP1g8luinsQkAEUbIZRksLSJX Mia81HY72j6EDoEKfYI60LXGlzt2Btgp6GfT01HN4JkQuNcjgWBBMhrOLGhf9KYkjiU4 HdLQ== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AOJu0YzfrJLsg0K2aLXWSC0JmZNfnXuxk4J3UVGLgS/zIqonUPEgt3zi dt9QiAnXgHZ7MvpKJnOX3WM= X-Google-Smtp-Source: AGHT+IGuiK2Jgb8oKX4C1TYI73SbCJarO1ALMzypCXPcS8N4anBBCMAHS0EMqd9/tci1PnW252A/0A== X-Received: by 2002:a2e:7007:0:b0:2b6:cff1:cd1c with SMTP id l7-20020a2e7007000000b002b6cff1cd1cmr7931529ljc.34.1694424949077; Mon, 11 Sep 2023 02:35:49 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a2e:9007:0:b0:2bb:9460:2830 with SMTP id h7-20020a2e9007000000b002bb94602830ls257743ljg.2.-pod-prod-07-eu; Mon, 11 Sep 2023 02:35:44 -0700 (PDT) X-Received: by 2002:a05:651c:232:b0:2bb:aaab:b42f with SMTP id z18-20020a05651c023200b002bbaaabb42fmr6944184ljn.49.1694424944097; Mon, 11 Sep 2023 02:35:44 -0700 (PDT) ARC-Seal: i=2; a=rsa-sha256; t=1694424944; cv=pass; d=google.com; s=arc-20160816; b=r6hamYNEfcrUlgwggGba+48y7pOWrV4LfRwTVGEMamR5joZGOZCpApanaJLXZCVSrS aWPo0ZM/vBHtODUYnQrHv0F/4n+QAejIKr1siRZrMOUDvVG7T7akGR+giZmToRsexiTC um5AmoKSXN70aMIhovwGQGBlwoPmmr8oKVS6TDDTk8nkxVxfIh2N/0BlNaOIVfdzd0MB kEUxnPqEDh2WX7tyZ4xMXtdxyauYzviy3DNt9KcjYOni3iGi+oq3sXfttuZWy+fZV1hv 1zQu3fIszSKT7g/rUmzVLLo8o/RufTj178XcQe9XAWKADIFb8pQc4HqD+XCbpnb9u9ue dtXw== ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=mime-version:content-language:accept-language:message-id:date :thread-index:thread-topic:subject:to:from; bh=uRX1NDxHlhyactGtqGNhhmi8bn85UtO5X4bH10XhHmU=; fh=/6UVsXaURKW/5DdS+mXc6zz9pGW1ozdeaNE0x1Tw3WY=; b=sFO2L+DXHAuKZwQhRZ41L5uPNoQSsNHZLqOkJAJNkiccdv5RzBqM7W7FDXfS/xKgTi io3gptUsfFB+vKYJRePQDrao3V/+/dnQOVGZCtvTfLy8EbsTuT06BADzEJOUaVRplcFp O2Tpp8gGxduTE4NkmjCWzVBMO+SQApR3T3l+wyoalrertjU/lD0667mFqlJB+XV3HYf2 3sxRzNih7WYvNWeYpFizfndAGUZSSOzVGCD1pi0cYQ8u32Dju1LLxZHMEMPf+iBWkMBa 4bTjYfE5golpyfB1koRJV7DpPxukiNH0dyskMMvb87yqUS3QWS929qlCvX8nVTAiylos knNA== ARC-Authentication-Results: i=2; gmr-mx.google.com; arc=pass (i=1 spf=pass spfdomain=manchester.ac.uk dkim=pass dkdomain=manchester.ac.uk dmarc=pass fromdomain=manchester.ac.uk); spf=pass (google.com: domain of nicola.gambino@manchester.ac.uk designates 2a01:111:f403:7080::62c as permitted sender) smtp.mailfrom=Nicola.Gambino@manchester.ac.uk; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=manchester.ac.uk Received: from GBR01-LO4-obe.outbound.protection.outlook.com (mail-lo4gbr01on2062c.outbound.protection.outlook.com. [2a01:111:f403:7080::62c]) by gmr-mx.google.com with ESMTPS id x15-20020a2ea7cf000000b002b9d5a29ef7si523402ljp.4.2023.09.11.02.35.43 for (version=TLS1_2 cipher=ECDHE-ECDSA-AES128-GCM-SHA256 bits=128/128); Mon, 11 Sep 2023 02:35:44 -0700 (PDT) Received-SPF: pass (google.com: domain of nicola.gambino@manchester.ac.uk designates 2a01:111:f403:7080::62c as permitted sender) client-ip=2a01:111:f403:7080::62c; ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=DtcAKARQvR/ITgRFWjLZ3SjfB3o115wilpjx+INVQTEIRMlpbTbFlnFybvORY0tLEzAhjZYtpQzMAnZszPsgHPiojCteAp40PdL2mWoH+cca6oRtbNpGiAeoKemMuGC6lENfbWc76M1+S+L2cEKK3953TK/R8bLqRrJluKC4O4K92iqxlhV3lHSJ1yRQcMjhw1sSbFRmP7Zb3WUierSWbuxDJd9ENsJfIi+tR8DtrbbJx4Y+7/iop1e9GMjP1znHdOl5HUgpODUxqazWpWm9av5BXZpxKTy7OA8oifQDaRsyPvMHHf/hLkTOcdRL1ii6ej1dP+RaqQlpswrQXVOswg== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=uRX1NDxHlhyactGtqGNhhmi8bn85UtO5X4bH10XhHmU=; b=hA3uRO33cMgw/vECxyrPfuN8kjRSvwGh3jzYevaTKFRDpjeiX/ww3/udhPdKzR+Zwe8qTafojOqlmpjDx3BC7w0+ke+YRUtYWFK3qcB7f/yUJtIDghL1+HV8Pgcd3qn4ItUiG1swbBHAjgSU7Wkg81wCSttc2/x6sGFUyFPm1cHy2oBveLdkQfKM/n+8QT9mqhHM2w+hha0dWT68v8TGv0KRTz8tVQEJfh52sItKpVTr4WkRJ5AulaX/vF6bUtn1SRr9hPHFSE2nbv/N5GpWB7Jee6c9JIndI+9s1nQoVtcBTgd0V8YSDIwXiz1soG+UMdeeKXf9scqMzvJC3lOjuw== ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=manchester.ac.uk; dmarc=pass action=none header.from=manchester.ac.uk; dkim=pass header.d=manchester.ac.uk; arc=none Received: from LO2P265MB5040.GBRP265.PROD.OUTLOOK.COM (2603:10a6:600:22f::7) by LO0P265MB5828.GBRP265.PROD.OUTLOOK.COM (2603:10a6:600:267::5) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.6768.35; Mon, 11 Sep 2023 09:35:40 +0000 Received: from LO2P265MB5040.GBRP265.PROD.OUTLOOK.COM ([fe80::799:fde6:6fc4:876f]) by LO2P265MB5040.GBRP265.PROD.OUTLOOK.COM ([fe80::799:fde6:6fc4:876f%6]) with mapi id 15.20.6768.029; Mon, 11 Sep 2023 09:35:40 +0000 From: Nicola Gambino To: 'EMILY Riehl' via Homotopy Type Theory Subject: [HoTT] CfP: Advances in Homotopy type theory - MSCS special issue Thread-Topic: CfP: Advances in Homotopy type theory - MSCS special issue Thread-Index: AQHZ5JNUSQve4vomZEOiSx29Y9knTQ== Date: Mon, 11 Sep 2023 09:35:40 +0000 Message-ID: <9FEC5960-637E-493E-8071-BD77BA154F86@manchester.ac.uk> Accept-Language: en-GB, en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-ms-publictraffictype: Email x-ms-traffictypediagnostic: LO2P265MB5040:EE_|LO0P265MB5828:EE_ x-ms-office365-filtering-correlation-id: 8ad505bc-4532-423c-55b6-08dbb2aa7685 x-ms-exchange-senderadcheck: 1 x-ms-exchange-antispam-relay: 0 x-microsoft-antispam: BCL:0; x-microsoft-antispam-message-info: KWyPcDXsFM8TY+GAIE18D0015ASXRyvJY8K4rxteMSMN4tKZXD51qlwoumfmCwlBlDIFNsXraWMioDgV3WTR/+0AdSppX0Ptv03lVu2cRrK8s99Yk6VkRzO5Zoyf2snqQBHWmshUn4cXSKC/sb7GBnHug0WkUN8geBoqVQX6sfeF3R7m2iIR7IUeouOU2txAYaM1lFalOPd42qvxOXevDH9TUANCMPsjVwsNPskJDr7tXZul1BovO9GBpo/xi8rRMK0HIksvwLqC4KawdAWoFJNufp3VBf90swGxt96l6upJtCmH+HOgdK4LK7DCLHadJgEHCA76eSGeq9zb4rvrN11mPMUGxQmUudyM9mVqo8MH3NDQ25pGeQgTJkUxJPjWyL1PunbO6tqS9irEc6tQE8I/2/VGzkvbyGOFNmBCjG7EKKrBav5+2kmOHIKEKLi+As1KCJT+79yhwlqk3Fn7bFtQAZW5YLnMjp2QhU8xLXUIB+oTcetceiEJ1cxHekDHp0ZNoim8I8p46sF1tT+1XyrSss0dvYX4Cgxth+i1hNjavEmrJCODOTm4Q4inj6/m/df+P13eicKqGuJPs2mzVCoOcA5hlQ0uQKZgvvwecXN9JnF7ENkcfet5WY74gN7C x-forefront-antispam-report: CIP:255.255.255.255;CTRY:;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:LO2P265MB5040.GBRP265.PROD.OUTLOOK.COM;PTR:;CAT:NONE;SFS:(13230031)(396003)(376002)(366004)(136003)(39860400002)(346002)(451199024)(1800799009)(186009)(122000001)(66899024)(6486002)(6506007)(71200400001)(33656002)(36756003)(86362001)(38100700002)(38070700005)(166002)(26005)(2616005)(4744005)(966005)(6512007)(83380400001)(478600001)(41300700001)(316002)(76116006)(2906002)(8676002)(8936002)(5660300002)(786003)(66446008)(6916009)(66946007)(66556008)(64756008)(66476007)(45980500001);DIR:OUT;SFP:1101; x-ms-exchange-antispam-messagedata-chunkcount: 1 x-ms-exchange-antispam-messagedata-0: =?utf-8?B?dTJLUHo1VUhnRzRCREZIT0lkVWdwU2lzU1BwREFyMWVtMXZzaHpFMFNhSGw3?= =?utf-8?B?dXFQckdzY0ZYbWpYZC92cWtBTFRJTU1lcFdoWE95V3R1bi8weDZGYzVIb3BB?= =?utf-8?B?dU10TlJDSFg1WmZDbXRNdlRxRjRFQXlEYmxmM0Z4ZlI3Umo1SzRsMUtpYm43?= =?utf-8?B?THV0VWU3THFjSlpFam4zYTNwVzBQanBidUV4N014bVFJNGUrUGg4ZUtRU0pY?= =?utf-8?B?NXFYYzRVUGwvT0tTTW5ENnljd2k4aXpyc3dWRWkyOWc1YmRWdmlua2dwYmZl?= =?utf-8?B?N3IvcWRIVlVSSEVmWFNYWXBVQ09qRU02ekFoN3AzZjNCVGtZeTZNWlQ4QUUx?= =?utf-8?B?SStvNGlXdTUyOTZ0aTBVN09uT0FpdTNab3d4ckppaU1acVc4elNqZ1Q2Mndx?= =?utf-8?B?VlZjU3h4T0IwVkQwM1FaazhqS1ZOZlBqNk9nN2JIT2pJZXFWZFlqbjVZT1ZN?= =?utf-8?B?RnkzKzYzVGI4ajgrN3RXMjU4MVpGNjZvVHYyVmMvaDhwRUkrd3BDMnZ4S25m?= =?utf-8?B?a21pcVNyQkdVdWhkNEtIWU5hYXNLQWJ6MjVsL2RxOHJJbEt4MjNTWjB2aVdQ?= =?utf-8?B?SU1xWERyMGVFQVV2RmZMVnRUK0FHNHkxOGszTnJFUTB0aW5OMmxubjZHQ3V3?= =?utf-8?B?OXJaRlcyOHZycHVJVWtYejZZSWFDQWo3YWZpd053UFMybjRWampXbEV2ZCtN?= =?utf-8?B?SlB1ZUZOd2FjYkRiTnc1bGxTTkNodkthNG81dzB6NmRFcUttbUZONDY1b2t1?= =?utf-8?B?eGZXd1c2ejVPWS9WbDl3MVI1VmltbTZVZFJGaEtTNmVaNzA2UkxCZTFDL1VC?= =?utf-8?B?akRWMi9lQjNiUHI2ZG5kYnU0MjU4T1V2UThqSkRxMllsTjJPTXB0MjRDNEtW?= =?utf-8?B?RUhhczFtMzl5dE5tNUREbEJESk1YanFCTmdDdW8yZ2ZMU2pRaFRWY3ZYTnR0?= =?utf-8?B?ak00T3dYYkRwRXE1dVRobVYxbnE3SmQ5WWlBUXFIYU5vVDcwV0oxNXMwb2lH?= =?utf-8?B?V0MyUkZXb2dTaWtSVFRPbzNDdGFNQzR4cC93dHl2NDlsMDBEanVmVFFXQmdE?= =?utf-8?B?aDlsRlNzRjF5VWNUTkE5aUI3ZjByLy9sTnNLMHdQd01zZG91UVNzN0Y4SkM5?= =?utf-8?B?dW5Nb0JDN293eTJiZlRPVTZLc3RDR0k0MHB4S0poTUJNSmZpZVVZQ0t4Y2FR?= =?utf-8?B?WHg1OTh2OUY1TXozb1V1N3psZ25jclVsS1ZUTlJEU1BJcU8rbmVkNUYyUTNz?= =?utf-8?B?MW1TV2ZnTm5RUjlqd09RZXRZcUZES3NxMHpVOTk2cW9SbzJrRzZROHY1Rkp1?= =?utf-8?B?WUFLNitDcllaQW1ua1BZUWNXMzdQRCtoMnBBUXhJRytESHVBT0lCbkxVVGMx?= =?utf-8?B?TzliVlcvZU1iQzYxRVRQdllXOWdSZjZ5WXpVcFB6RmlXSWNXL2x4ZkhZNmdv?= =?utf-8?B?Skd4TVJYYlplOUhnQk9xUFpWTXFPdE1QVFFWYXFzZ3F3UG40SVBMSHR2WWFr?= =?utf-8?B?TE5RUVZ6RGxkaTVibkNibERFWlFCVGkzWWwzZWFteXJBZm5rbjN4dFY3SGxk?= =?utf-8?B?YzVsN0ZoNityZGRjc1BWcmc2ZjNJazZtSWV2RGNURmNGREROMDVoU1Y3Z3dN?= =?utf-8?B?VTFYYkJKY1BlejNGVzF4ZTl5ZHJNeHRjZ1hBS2VpTlg0RnJlcjJ1Q1NGdTlr?= =?utf-8?B?VmtDdFMzQXJ2NTF1L0Nzb2dBSjRwbVVXdXZkY3hQU0JZOWRwbnYwQmxxM0lO?= =?utf-8?B?a0YydFlONWRHdjVUeFRxVGpXK0VYREpHSVhZMXQ5T3hncnNDN0VObzJ3VzZ1?= =?utf-8?B?bjUyWFh4YWtxL3F6MWtoVjJmYzVZODNqZkZDdWs5MWVKNi9MTXMrTVlyQUZZ?= =?utf-8?B?NE9ZYzRLVHJ1c2ZYMmFtREN3dlZNMTRUdHR0VjB4K1BLZktlWWVINU9xTmpt?= =?utf-8?B?VlFNeWg1NmJienEwdE9ZTTB1YzNhZjZieDU3M2E2eTNpQnlxekdTKzd4YmJx?= =?utf-8?B?UERWamtrOTFqMmlPays3c0kxNG5CQ0FqZ0w1L0xWZUJEVnNLMytTVi9nSmJR?= =?utf-8?B?eW94dW9nL2YxeDlRRG14VDlRVmNLN2xSY0E5dDR1eHBhV3VLSUhXSXVpWk9L?= =?utf-8?B?NWdDMnluZGdFbDBHd1pFTUlSb1F2SWd5NEFyTERsRnBhVUlqVU9HbkhZR0ts?= =?utf-8?Q?YchN5oT39wrPldmUYIlI+Hs=3D?= Content-Type: multipart/alternative; boundary="_000_9FEC5960637E493E8071BD77BA154F86manchesteracuk_" MIME-Version: 1.0 X-OriginatorOrg: manchester.ac.uk X-MS-Exchange-CrossTenant-AuthAs: Internal X-MS-Exchange-CrossTenant-AuthSource: LO2P265MB5040.GBRP265.PROD.OUTLOOK.COM X-MS-Exchange-CrossTenant-Network-Message-Id: 8ad505bc-4532-423c-55b6-08dbb2aa7685 X-MS-Exchange-CrossTenant-originalarrivaltime: 11 Sep 2023 09:35:40.5366 (UTC) X-MS-Exchange-CrossTenant-fromentityheader: Hosted X-MS-Exchange-CrossTenant-id: c152cb07-614e-4abb-818a-f035cfa91a77 X-MS-Exchange-CrossTenant-mailboxtype: HOSTED X-MS-Exchange-CrossTenant-userprincipalname: d4P78CelDE5VPAZ1/VRx2veCzGG7dGcMwweiOsLRcxZoobfmPt/3A/eB/nK/SqzwKjtTkKrmPzP/ISxGPPMh+JWqIkLIkXGgMmcYxKQKs6k= X-MS-Exchange-Transport-CrossTenantHeadersStamped: LO0P265MB5828 X-Original-Sender: nicola.gambino@manchester.ac.uk X-Original-Authentication-Results: gmr-mx.google.com; arc=pass (i=1 spf=pass spfdomain=manchester.ac.uk dkim=pass dkdomain=manchester.ac.uk dmarc=pass fromdomain=manchester.ac.uk); spf=pass (google.com: domain of nicola.gambino@manchester.ac.uk designates 2a01:111:f403:7080::62c as permitted sender) smtp.mailfrom=Nicola.Gambino@manchester.ac.uk; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=manchester.ac.uk Precedence: list Mailing-list: list HomotopyTypeTheory@googlegroups.com; contact HomotopyTypeTheory+owners@googlegroups.com List-ID: X-Google-Group-Id: 1041266174716 List-Post: , List-Help: , List-Archive: , List-Unsubscribe: , --_000_9FEC5960637E493E8071BD77BA154F86manchesteracuk_ Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Dear colleagues and friends, I am writing to invite you to to submit papers to a special issue of Mathem= atical Structures in Computer Science entitled =E2=80=9CAdvances in Homotop= y Type Theory=E2=80=9D. Submissions based on talks presented at the International Conference in Hom= otopy Type Theory held at Carnegie Mellon University in May 2023 are encour= aged, but other papers are welcome too. Submissions should be made via the MSCS Scholar One portal, choosing the na= me of the special issue from the drop down list on page one: https://www.cambridge.org/core/journals/mathematical-structures-in-compute= r-science The deadline for submissions is 31st January 2024. With best regards, Nicola (also on behalf of the other guest editors, Thorsten Altenkirch, Ben= no van den Berg, and Maria Emilia Maietti) --=20 You received this message because you are subscribed to the Google Groups "= Homotopy Type Theory" group. To unsubscribe from this group and stop receiving emails from it, send an e= mail to HomotopyTypeTheory+unsubscribe@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/= HomotopyTypeTheory/9FEC5960-637E-493E-8071-BD77BA154F86%40manchester.ac.uk. --_000_9FEC5960637E493E8071BD77BA154F86manchesteracuk_ Content-Type: text/html; charset="UTF-8" Content-ID: <318BB33AE0A753428F5F9EFA0DEA2D98@GBRP265.PROD.OUTLOOK.COM> Content-Transfer-Encoding: quoted-printable Dear colleagues and friends,

I am writing to invite you to to submit papers to a special issue of M= athematical Structures in Computer Science entitled =E2=80=9CAdvances in Ho= motopy Type Theory=E2=80=9D. 

Submissions based on talks presented at the International Conference i= n Homotopy Type Theory held at Carnegie Mellon University in May 2023 are e= ncouraged, but other papers are welcome too.

Submissions should be made via the MSCS Scholar One portal, choosing t= he name of the special issue from the drop down list on page one:


The deadline for submissions is 31st January 2024.

With best regards,
Nicola (also on behalf of the other guest editors, Thorsten Altenkirch= , Benno van den Berg, and Maria Emilia Maietti)

--
You received this message because you are subscribed to the Google Groups &= quot;Homotopy Type Theory" group.
To unsubscribe from this group and stop receiving emails from it, send an e= mail to = HomotopyTypeTheory+unsubscribe@googlegroups.com.
To view this discussion on the web visit https://groups.google.co= m/d/msgid/HomotopyTypeTheory/9FEC5960-637E-493E-8071-BD77BA154F86%40manches= ter.ac.uk.
--_000_9FEC5960637E493E8071BD77BA154F86manchesteracuk_--