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 4559 invoked from network); 9 Mar 2023 10:55:33 -0000 Received: from mail-ed1-x540.google.com (2a00:1450:4864:20::540) by inbox.vuxu.org with ESMTPUTF8; 9 Mar 2023 10:55:33 -0000 Received: by mail-ed1-x540.google.com with SMTP id b7-20020a056402350700b004d2a3d5cd3fsf2376798edd.8 for ; Thu, 09 Mar 2023 02:55:33 -0800 (PST) ARC-Seal: i=3; a=rsa-sha256; t=1678359332; cv=pass; d=google.com; s=arc-20160816; b=amqUZRutIeCvjaAqyufzaGbvx9ztyTynI0nGiDugGD1Ouu2SypTGX+8US5yfSKpQZW ww7UIR4w/DP4K1pk+d1ITQjBxlDvWpPouW/hXUTmDuMTu3euzhLs4fDF2QByKzmSQREw MiKc0CLGMgs9CqIUUG/xcRLHNcEsxjsiPa/cKeyv5wEYmeo7fDNlUpXG3mbfZ+VFL2HY wDs1f6AQH7svDE1wmncCpGm5vrpNLqfDZmcFbZzq5oY8XGe+E971ObnNv5Ys+O5YJ5WR 3g3cBR/51cNZZtfnhGJg+I4pM/NiJSJQdaBZO4de+ouoAOPwkhmpKw8elZoK7K+Ug/Yy 1+WA== 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=YuF/p9mxk0WUPHcFo1u3rtKetbKbOtdGqT3yt9Vn6SY=; b=zkLVypR5WUP8O4Wf7me1H33TCYueUA/rAYNUntzZoJCYae7zarGMsCT+Nxx6apQWLV HWbtsxwBlcZo3ezvlv0cRh+9mOHep+1xC4FdTQYh69jntsHeL6BPWC5pcN+fpLglpKZR VXGt6o2gKOQ9ZRD+RdnlFp3ZWHN6/T+8Q6oH9NG0CtIAVu/xoV8JOiCEV46/rYCnC/Mv qkuuVVOIBcdcVWxj5Ii+R+3dSEgnGXOV5VsZ8FbGENgCZlADifczCjC2jaauCiTS5KEg GQclC1RMTM1BajITiLjyXQRiFF4IZfrYbABIWmJi6pFca5HpRxDSexuXVEIKkjaHsl/c WzWg== 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:f400:fe15::616 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=20210112; t=1678359332; 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=YuF/p9mxk0WUPHcFo1u3rtKetbKbOtdGqT3yt9Vn6SY=; b=LeN4HaxkTdan1RZGjguytVZCUbig06CLWqUzA6TeVu3Z+bBQ1oRUXEdb8uU24EVdkS VFpz4CvZYoqrLpfAqlb0rlb2SuoAs04zPJoFIMqNGrO0sTiac9LuiYOjr5+v31bz4zAh ojyhfRiRuA6yVZXkxgUyokdTLzKay3AfAWTRkgcNE6oiBMfCnt1Cr3INCFVAOALofJv2 hlt2S3F2hqQzRQeaw+Zh0xnPndL45SutarDliGFIvSGVULxPbWrEuqdjII7bZXCm+UsR iALgsVSHA/QEFuEJKKcbitJt3ZboKDydKn/MvFHQQUQ2mAWlIyYvFxOOegD8mE07RAdZ nCmw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; t=1678359332; 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-gm-message-state:sender:from:to:cc :subject:date:message-id:reply-to; bh=YuF/p9mxk0WUPHcFo1u3rtKetbKbOtdGqT3yt9Vn6SY=; b=GIKPhFBw2xLUWL2AoXF8OHh/tIPymOn+U8z2zwqakSy10HjG6e1FEaua0WpEzjMX8Q OJCwnW05Vzx2bxyhCT1rwHrmgoBb+y2uA+sOwPMRdu18uag6yRi9xMoTCXzDH97AAmjB 1zItTP+eZMjwofmv7ec6/dG7XJlOkOWy7KbkOl6rNAbARQSnrhC9E/9e2gLEkj1jOTR5 +UxAjsI/XmnQ/G6KPDAgQbK1KirkMQooZoqPfEjj8gnTjiPoPRApkUWRKF5IVXGDb+ag p7M3Lq+m0RN4Y3+cA5u0GXeFWX8L5ATqvCWLfhzCrjh70VlB1EgoXsgO/zsaohAwagUY LdoQ== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AO0yUKXSrQPdwEQKRGL9zc70G5SiMIc0WB4nXRWvmgYVKI6UmFIPd4Tf nmpgP6mC5jaLFBHI/wiWKqo= X-Google-Smtp-Source: AK7set+LM3GnyZgdOmjbenlDsLLDArrhcGa4+sKcLNrSGWbVG0Ycn5KS6k9NwwpxyNHHk/2CTXMHLw== X-Received: by 2002:a17:906:6a93:b0:8b1:7ac6:318a with SMTP id p19-20020a1709066a9300b008b17ac6318amr10087674ejr.4.1678359331859; Thu, 09 Mar 2023 02:55:31 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a17:906:6cf:b0:8b1:49bd:b751 with SMTP id v15-20020a17090606cf00b008b149bdb751ls1056787ejb.11.-pod-prod-gmail; Thu, 09 Mar 2023 02:55:29 -0800 (PST) X-Received: by 2002:a17:907:a04:b0:878:6477:d7 with SMTP id bb4-20020a1709070a0400b00878647700d7mr26037802ejc.72.1678359329340; Thu, 09 Mar 2023 02:55:29 -0800 (PST) ARC-Seal: i=2; a=rsa-sha256; t=1678359329; cv=pass; d=google.com; s=arc-20160816; b=kwGoferELCWt38muoFGgdYlpyPoogKZiXOgP276crIS/erRA420TprwZHKEsApmnaF xd++iPXOJmWRuVcCuGW37OUbY1tTgHOd2a98V7VFOB/jZebHTs7aKemSIARBzWHHcf6R VbwOjt/P/ttUAh6K9KoVgJJ/SNtqFPUbL2CEAoh5DMjtPDULyijiGcXsNmIQLFu9cqri 9IluGR9hab5s2/ELZ8sJ5XvTkzIJXWzoLjHJG3pgB+Bgj7cSWawqyns0RGBBGt3LYh4x g8tSVyeIR41WHNrZ6nPcRr2E/89rhB+0pBUYzlHcGKB/O1cK/TXKfn9wG2gUi3Xb976N x67g== 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=dBipQQhXbrbhxZkpK8Jebgil2yv7XZHrIgOVrtrQCUk=; b=Lp0pqE0Lqe7OtcikWIl4r7zBzXoTT/UkB44Y2p/b9KiuZuX/u3ebL5990tT1jyiplB ITAdlgkp1/bRSvcvmqrHoCQMNn28cUbxqMjEsGTZ8cM8KFt7AXD+lJUCtMRqTPOCaLex xhFGxjD6JXuHuQouD9oAcOYJOJiwS3VNZH0qLwMIRY5zIIJHb1P6XaqEbkQ/Is2y0WqG g5/xiTaFs4ThHRKWvj2Wfmyv2FtIgMNuM16W962Voyw0hVadPLdDl8aTVorFIzPaMWbm PNrdWbpdyvLaxtmS5t9S2ABxjzxY51CGj9J/HAd31+LkmBgZsei2IhjHaCa0kWf+Lovy lD9Q== 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:f400:fe15::616 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-LO2-obe.outbound.protection.outlook.com (mail-lo2gbr01on0616.outbound.protection.outlook.com. [2a01:111:f400:fe15::616]) by gmr-mx.google.com with ESMTPS id qa18-20020a170907869200b008dbae985b18si616738ejc.0.2023.03.09.02.55.29 for (version=TLS1_2 cipher=ECDHE-ECDSA-AES128-GCM-SHA256 bits=128/128); Thu, 09 Mar 2023 02:55:29 -0800 (PST) Received-SPF: pass (google.com: domain of nicola.gambino@manchester.ac.uk designates 2a01:111:f400:fe15::616 as permitted sender) client-ip=2a01:111:f400:fe15::616; ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=SSAnGA82KuMSqOgIzS5L3CKPFsVRV1cvW2bl/zuUg+q5pBmS2oFFliu4JREBCrC12J6MGn50SO3r+A5y5Tnfyum0IBsW4vyFUMHe5du+rSWhDGF1zApsCkPlXu6Ex3N1Mk3HnoCri8e0udB3JPsO+Fq40foVbEN29dbWYIogro3gmMhXhHVHy+e/aaR9crzmDZl1tXDAmaN4d37HtkLzvFC2ROZcYkFG4kWg1fi7uwun7HA6TrLjCIyZxiJ1ZOliy+I3Sddjb8Eypw0S405fpTDG9MKCaa/ki6l2gDawIZnhIXw8u4H3HZRQmBFAMqBZR1oaABZuZePS8ynmWR+hjg== 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=dBipQQhXbrbhxZkpK8Jebgil2yv7XZHrIgOVrtrQCUk=; b=m/f+FIxtgr0bWXjIoeiIWCYunWdPik1T5j1D+zL+oKu+qw3sFsIrk6dp7TPGgF+O1EK27Ca/ofHukAtJNyY8fugww6MXIROmwJHEmmoCAQhMgB4gcC9D7JezrgB3DyOutOwTHJD2mSGvx3x38HpAvQMPLX+DcVJ/9FrLu5QrVj43VcUbRpMbf8D2LvIl4YyzEOF/LgDVXIMLDmJq7ULQksmcNp4oTUe8xXWJN+SnbcC81BhIUBYNHNalaj0uzIUcPCgKn+cSxoj8nY72KGmaJ5Pm/aVdSBt2zDNMzgyWI3ek1P1Q1oXWs1dg/LjQWSIxOJMI8GgTDQFDCD4lHy9seg== 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 LO2P265MB2559.GBRP265.PROD.OUTLOOK.COM (2603:10a6:600:125::9) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.6178.19; Thu, 9 Mar 2023 10:55:27 +0000 Received: from LO2P265MB5040.GBRP265.PROD.OUTLOOK.COM ([fe80::e428:cdb4:67e3:3391]) by LO2P265MB5040.GBRP265.PROD.OUTLOOK.COM ([fe80::e428:cdb4:67e3:3391%3]) with mapi id 15.20.6178.018; Thu, 9 Mar 2023 10:55:27 +0000 From: Nicola Gambino To: "HomotopyTypeTheory@googlegroups.com" Subject: [HoTT] HoTT 2023: deadline extended Thread-Topic: HoTT 2023: deadline extended Thread-Index: AQHZUnWoq9Ax8CgYE0CaFCsfiFGVBw== Date: Thu, 9 Mar 2023 10:55:27 +0000 Message-ID: <5D60A90E-E109-4D01-A25B-C53AFDC5DAB1@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_|LO2P265MB2559:EE_ x-ms-office365-filtering-correlation-id: c9b85ef0-b84e-46e5-31d9-08db208ccb1e x-ms-exchange-senderadcheck: 1 x-ms-exchange-antispam-relay: 0 x-microsoft-antispam: BCL:0; x-microsoft-antispam-message-info: kaWtGw2ARgyWmF+kB7Ie9WXRTRlU1lQltiyD8aKIA43sdXytB1+fXA8Y3aZ2LgFscl3hLiJP0P+m/j8uWRixJe9G83CIs1+2GQdHHU02p+DGfning4sYj72Ie3PEKQkfdqpz7ic93rs1LPbV8m8mOW6BBSgjCe7d5cjO4LgzCRsmqdKa2JwqumztvOkn01X9rDgGuqV87sLFZp1+f7Gw+bUppzrYz+dA0Vl8mjl8G5TF3A5NEGnRfBLKrda5yiixLYkeIHI2eY/Byl7YkAfJx57cE7NRAngej2xzTQv0W1jt6yXbA1G1bBrg5QJAkC/hREF3wt7TfhmFr4YvnHtmavT96yTsNnKHN2ttguK7y2VWnzXqaA+GLOU7s/fePkyKj4xLdQ6clFo5QVjWHwomK65b+1gVRZWTqzw1MQ2RE/JNrU4be0e5bs6hPpEjKKolNi/+ws+WongcheozaI2PVJzxFZUYR1VAY+QNWU0hJsTjPWxB1LiY1EXGPKZS+2SQj8EpPRZU5uU1tObrX9hXNyfRWaUI3aQS7+tXXIBDBFfyytDwOEnfTO9/qloHQRJVcHHD3sW1575NzQ4Vj+Z8tZIy0+zYis06BhCCaN8seVuhoH012jS17/firdmEVJ52Qt7C2i3D+FbdZwmHzX7O+jusjkdI5+oYCI0PuCO3NWUOYE6cGre9tN4v75LOQTwO0Y2Cd/eGRgEzv4/S9so0yZfCC33Dsj2Hh+BluDNbBSo= 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:(13230025)(4636009)(346002)(396003)(376002)(136003)(366004)(39860400002)(451199018)(33656002)(36756003)(316002)(786003)(478600001)(966005)(6486002)(71200400001)(7116003)(8936002)(5660300002)(2906002)(8676002)(66946007)(6916009)(76116006)(64756008)(66476007)(66556008)(66446008)(41300700001)(122000001)(38070700005)(38100700002)(86362001)(186003)(2616005)(6512007)(26005)(6506007)(83380400001)(66574015)(166002)(66899018)(45980500001);DIR:OUT;SFP:1101; x-ms-exchange-antispam-messagedata-chunkcount: 1 x-ms-exchange-antispam-messagedata-0: =?utf-8?B?V1ZHRXZ3QUpUL3ExRXBlOXBIUmR3Nm5XNElSS0NrcTluZDVuZ0Z1akl2a2VE?= =?utf-8?B?YU5ic3ovWUQwclJwOXNFdzE3a3JlRFpBWWF6dStxejZYcGdySmFjb0xvYWV3?= =?utf-8?B?Z254UEowdUJFbHFVSzljQTNDcDNDQTB4QTVBR1RMUVI5K0JyaWJCa0JVMVps?= =?utf-8?B?YTd1ejVmMHYyVXRDbER4eEdaZjNCNU5JdHBqanhqVlFtSzAvcFI3ZWdtcm82?= =?utf-8?B?N3lTdVV3dW5laHllY2tjMUJCNmpHcVFuWGtVakJ4NnFnSWFJVUpQSDIyODhl?= =?utf-8?B?UFpFbTgzMjVJMnpPTFhPY0QxV0Vwa0ZGbzlPUGJGemFQcmNKd3FtTXMvYjVl?= =?utf-8?B?WFFucHErNVBDckpHREZFS01NdjJoY04vVDg2bGJvN1lRYUozY3RGQ3FkMGRC?= =?utf-8?B?L3BMU0trTE80WFZlMXpwTUZ2dDNCMkRvdWhzS2gvK2sxUEF2NmpQcUd1ZWRt?= =?utf-8?B?ci9HQnE3YmhDVnpkcmJGTWt5OEZvVlI4ZnNyR3czcFNvWGhjdzk2R2hELzdw?= =?utf-8?B?bTNTNC9FZDhjMVBlajVyMkMwQjdEaVIzb05xc0ZKS3Y3dkRZZk0rQ3pDVldJ?= =?utf-8?B?MkQwMmI1b1ppQXlCWkVTTTdxbG80MStSKzJ2M25hbzJqWERWZXZOT08wT2Fm?= =?utf-8?B?VU9BRTlNSWU0TmFVTmJEMURPekc2eCsybEluS3hkUGRFZmVhRWM4eDVKWmhK?= =?utf-8?B?K1g5UVppN0N6NUVYMzdMRXNxS0d4ek83Y3FpSkVIdkczbDBwdi9TUi92Z1Ix?= =?utf-8?B?R3o0dy9tMk13N3ZoYUt6U2prR0xKS3ZXdTV3MmQxOXMyRlZYREw2Wll1a2s0?= =?utf-8?B?VmUyTkovaTRBbHAyOXlWQ0NvZFF0ZlBIZldDcjIvYnh1OHFtbS9WU0RwRWhT?= =?utf-8?B?KzBlckdpSGt0eitmSjIwYU9uajhIbkcraU1lRnlOd3VTR1kveTZLU3RiM2Ny?= =?utf-8?B?cGF6NUFkQ0ZaZ3dCaXBQNnFRZGtLL3loMFpxaCtEcit3cXNQZzFWOFN5ZmVI?= =?utf-8?B?TitjZVBIRXdwTjBhZkgzczVRN0xsZmhDeDVYTzBZZDVzZEY1eU1ieVJ1dzU2?= =?utf-8?B?TUgwSG1GRzk0NzVMN1UyTjI2TEtzbXBMWE40dzFYNTBWRnBUMkJMcEVEQnZo?= =?utf-8?B?UHhNZTF0SGhHb3dDaXZhNE5aZ2lLb1U1Y00vUEF0T1JqYmZZa1Q4bEdGTlNx?= =?utf-8?B?akVzdTVsT1Y4UjBSWHJHN3ZBUlhnQWFFc002VkUvK0M2QkpjMVpZVXdmeXNL?= =?utf-8?B?V2tIcndWQnZaZEVrVExxZkFIOVR0K1RXcFF1NVpwNUNHZXpxMFRtZkk1TWpG?= =?utf-8?B?WkFzMEI0YXdDdll1TFgwRmZCbjVycGx4T0V2aDRQaU5qcElzRDRFNGZDRytT?= =?utf-8?B?elNUbUJ5RFhsQnIxc2paRXpyNEw5a1FVazJhUmV0Q3JnNTI0NWloMEI4UTFx?= =?utf-8?B?ZldPWVBidW1SOEZrWWVoU3MrVkN0aW1xTFVOUXAyYTNvL1dDRytGemY3YjdS?= =?utf-8?B?cnlPNnNwL1hxSEYySjFhTlVBVjhPcm1uRHhKMFNLbk91WWhiREdubkxlMlQw?= =?utf-8?B?NExJWFBFd3J2bGl1dGp3Z1VTa0lFVDh3aUk0NWRXWkdrdGFaTTZiWDhnRlJY?= =?utf-8?B?MEF1VVpFMUFjSi9VUlFNVlhxM1VTcWcwbklya3MzSHJJVjFCM2xYc2xGQ1Fo?= =?utf-8?B?RWx0SWFxM21yNExrVnRFZVg5eVpwUGdUWU9iamJUcjR5RWxlLzFGTnUxajVm?= =?utf-8?B?L3BiTTNqYStoMVdVOWxqREdVV0Q0L0wra3BROHRUelJqRnFhWWMrVzBNREZt?= =?utf-8?B?NU5MUFdJKzJ4TGN0V2xvOVZjRDBoK1hZcEMzVU44cnBUVFp4YWhJWWxicUo3?= =?utf-8?B?QkF6MHE0RjAxRlJWZ3dzU3BzbVBHRXJISzkya3phcmxTYXU1UmZXUmFkaTRE?= =?utf-8?B?QTQ2dEdUaGFoVWZaRDNuN3NrZUN2RE5XWmEyVzBvamlDZzlWR2UyWWRCS0FP?= =?utf-8?B?MmNNbmFLbWR0L29XU2JtOS9oNDR5V01RMmRnZmRKWWVYclFoN05vNWE3YVVk?= =?utf-8?B?L2RQcU1ZZk10ME1WZml0NFVyMFo5bW1NdG4xR2hPeTFoYmh1RXpVZWJPZVBN?= =?utf-8?B?aG41SWdNTFVZeGhxNkFDMWljRkNlRkpOakJlTmxYWWFNRmVKNm1ITnFwZjJX?= =?utf-8?Q?ka4jRBuHoURgVp+XJ9Wbeck=3D?= Content-Type: multipart/alternative; boundary="_000_5D60A90EE1094D01A25BC53AFDC5DAB1manchesteracuk_" 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: c9b85ef0-b84e-46e5-31d9-08db208ccb1e X-MS-Exchange-CrossTenant-originalarrivaltime: 09 Mar 2023 10:55:27.7324 (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: R+4RWQKgMEdkIOO51bi54OIKYesvXFqGeYJ+/K+ibCUwxxYo/ZrdTouOdPqATrKOV7IUqk5VZRgO/uFkEVG7y8VdhZ8/nOlmGHSR82FqJRU= X-MS-Exchange-Transport-CrossTenantHeadersStamped: LO2P265MB2559 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:f400:fe15::616 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_5D60A90EE1094D01A25BC53AFDC5DAB1manchesteracuk_ Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable *** 2nd International Conference on Homotopy Type Theory (HoTT 2023) *** Monday 22nd May - Thursday 25th May, 2023 *** Carnegie Mellon University, Pittsburgh (USA) *** Deadline Extended to 19th March 2023 This is the third call for papers for the 2nd International Conference on H= omotopy Type Theory (HoTT 2023). The deadline for submissions has now been extended to 19th March 2023. Abstracts (no more than 2 pages in A4 format) should be submitted via Easyc= hair, using the following link. https://easychair.org/conferences/?conf=3Dhott2023 Invited speakers of the conference will be: =E2=80=A2 Julie Bergner (University of Virginia, USA) =E2=80=A2 Thierry Coquand (Chalmers University, Sweden) =E2=80=A2 Andr=C3=A1s Kov=C3=A1cs (E=C3=B6tv=C3=B6s Lor=C3=A1nd University,= Hungary) =E2=80=A2 Anders M=C3=B6rtberg (Stockholm University) There will also be a special Voevodsky Memorial Lecture by =E2=80=A2 Michael Shulman (University of San Diego) Talks on work in progress and by students are particularly welcome. There will be an award for the best student paper. A block of rooms has been booked at a local hotel. Further information can be found at the website: https://hott.github.io/HoTT-2023/ There will be some funding from the NSF to support students - more details = to come. With best wishes, Nicola (Chair of the Scientific Committee) =3D=3D Dr Nicola Gambino Reader in Pure Mathematics Department of Mathematics, University of Manchester Dr Nicola Gambino Reader in Pure Mathematics Department of Mathematics, University of Manchester --=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/5D60A90E-E109-4D01-A25B-C53AFDC5DAB1%40manchester.ac.uk. --_000_5D60A90EE1094D01A25BC53AFDC5DAB1manchesteracuk_ Content-Type: text/html; charset="UTF-8" Content-ID: Content-Transfer-Encoding: quoted-printable *** 2nd International Conference on Homotopy Type Theory (HoTT 2023)
*** Monday 22nd May - Thursday 25th May, 2023
*** Carnegie Mellon University, Pittsburgh (USA)

*** Deadline Extended to 19th March 2023

This is the third call for papers for the 2nd International Conference on H= omotopy Type Theory (HoTT 2023).
The deadline for submissions has now been extended to 19th March 2023. = ;
Abstracts (no more than 2 pages in A4 format) should be submitted via Easyc= hair, using the following link.

h= ttps://easychair.org/conferences/?conf=3Dhott2023

Invited speakers of the conference will be:

=E2=80=A2= Julie Bergner (University of Virginia, USA)
=E2=80=A2= Thierry Coquand (Chalmers University, Sweden)
=E2=80=A2= Andr=C3=A1s Kov=C3=A1cs (E=C3=B6tv=C3=B6s Lor=C3=A1nd University, Hungary)=
=E2=80=A2= Anders M=C3=B6rtberg (Stockholm University)

There will also be a special Voevodsky Memorial Lecture by 

=E2=80=A2= Michael Shulman (University of San Diego)

Talks on work in progress and by students are particularly welcome.  There will be an award for the best student paper.
A block of rooms has been booked at a local hotel.

Further information can be found at the website:

https://hott.githu= b.io/HoTT-2023/

There will be some funding from the NSF to support students= - more details to come.

With best wishes,
Nicola  (Chair of the Scientific Committee)


=3D=3D
Dr Nicola Gambino
Reader in Pure Mathematics
Department of Mathematics, University of Manchester




Dr Nicola Gambino
Reader in Pure Mathematics
Department of Mathematics, University of Manchester


--
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/5D60A90E-E109-4D01-A25B-C53AFDC5DAB1%40manches= ter.ac.uk.
--_000_5D60A90EE1094D01A25BC53AFDC5DAB1manchesteracuk_--