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 22960 invoked from network); 6 Feb 2023 10:08:16 -0000 Received: from mail-wm1-x339.google.com (2a00:1450:4864:20::339) by inbox.vuxu.org with ESMTPUTF8; 6 Feb 2023 10:08:16 -0000 Received: by mail-wm1-x339.google.com with SMTP id n4-20020a05600c3b8400b003dfe223de49sf6082795wms.5 for ; Mon, 06 Feb 2023 02:08:16 -0800 (PST) ARC-Seal: i=3; a=rsa-sha256; t=1675678095; cv=pass; d=google.com; s=arc-20160816; b=EwktMylrkKBBaEVnjsisGMhp+Nxot6FSh6NF+2KzEojFrkAeBsyrTONeWl47fPFdOw MEU9xdLBjH/51pxNgZEc7KmLOG+4pp/ihoadmI+EoBCKQ+ZKFNEX/iQQw3OMHj/UBNtS jaop615mkxej3Vld1MkvtAU85NQlPHIz6hOYP6C77ophH0nJcMOrW1vFMP/yZTB+NDF2 caHGJK2E7nMBRYNgLZcC6LFTbg0x6BeEY5x4fbHOmMurIexQ6Ni4/OBmvNN6iPAqBCt5 ZYqwysyc0jp+ORKLTNKtRPOctV8jbPNo/UtOsqxKCiD4SrzgV+hy6pLhLJovdsOeKaig TUZw== 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=VfACUXwk4d8FiTYIZ4R3Yx9DFycUBKqjG3c+YRf0fp8=; b=TbpTE3Tjoz9lIIhBTivSBem0Ilb82uQwDoVqbGT1efcLwUtuBJ6h3uMec/y3zfJkUE cu3EDvwDEPPSOQ6AjEzlwJHoUGPoRW630U0K4oWZxIPZVfL+LB33hnZgScaPkNjUiBqT 3nUD6gqbGtbU0hn6PeT5QAOcrHa3hW0bdYPvApMVWLGDchRGZPSiTHxBOkvC0m0iC/7b Zfqt6O1/YT4cP7I3uEZdZRB4OVPHPncTV2sOE7WdwzKqRxIX29XkzwtHIB4hK53x4n1L 9eR7moKEtD6YOz1B5KpG+bNtmStqffkX5dr/68eXb57pugNZaXHelVaVihsM6yYAzDud hisA== 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:fe02::60f 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; 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=VfACUXwk4d8FiTYIZ4R3Yx9DFycUBKqjG3c+YRf0fp8=; b=tm4k/B2T1OTvm7nXSEQ5mRKEE5e9yD/HlX06ENXdphU7A97tBp0aGiEg/LyxcSLaMU wv0nxNVM/IVB77utKYOebSv4tS3ZT0nzeYzIZzpcmzv61OZzQuZiG/6jRqKmHsxZL/zQ Ip0bt85NX8Q4hz+4xB5s0BkXdSh6ILs07Ti65B1+F2gWMXwW7NjC6hUk4WRf/ggR6qwO Y+jN4eIctMjCHmCtQVaKV7TO8zfbRMdwaMvuU7yjc9kMjmHhj9ClUvmoAntG/TnujP1V Oy3D9PCYZD932aoVUzsE+LzLbrVQzHS8aCZhcn3M6w7sEibLs+v+5zrlyJRc9xfagM9B pxbw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; 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=VfACUXwk4d8FiTYIZ4R3Yx9DFycUBKqjG3c+YRf0fp8=; b=bsvkvCgMi+leC4yJIW3lxbyAdTf2atb+mBzxUbVmujD1tFuEhbCxpcD3f41M0/Fxky HKtnLr+rrGx+kIMUo2bQdYp9pr9TjaxfvzLDOezNF4OxmB5B7r0Mad8FdIEPV4ldFP5l W6qYCMUqWAi0imK5qTJ4BM9GaHospV/qSVQU2AzWF+YN1c7Gvmd5gncguPq72GRwLcFC Y/ybvwvg3kTpnwXLhpb6s08R3EvjytvBrXfhgKXzNWKNPhIEpqHDH9KKx/+RyrJK8JEO bQmQajnyl2mIq1Z+Oj+fey0gjMaA5swjA8mUI1C1VDyO22ZReRqBzEvBpUnOMhyeaSOP 1oIQ== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AO0yUKWXd906NBPNiM6yEkPekPSYsmNnXCGGBk32GmBcZr9jtOCuGA6i EjfXBkUSOJfFbxhnDrh6BgM= X-Google-Smtp-Source: AK7set8WgDIebf+TP8PFGTH/xgDNcz7jBdFHKSQAlUjvTh5INct2BjzvgWbfxumEDCTl+lZZyYqfjA== X-Received: by 2002:a05:6000:114e:b0:2c3:e660:df0d with SMTP id d14-20020a056000114e00b002c3e660df0dmr143087wrx.600.1675678095055; Mon, 06 Feb 2023 02:08:15 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a5d:6f0a:0:b0:2bf:ccef:53a6 with SMTP id ay10-20020a5d6f0a000000b002bfccef53a6ls15754377wrb.0.-pod-prod-gmail; Mon, 06 Feb 2023 02:08:12 -0800 (PST) X-Received: by 2002:adf:e88c:0:b0:2c3:dbe0:58a8 with SMTP id d12-20020adfe88c000000b002c3dbe058a8mr8220967wrm.44.1675678092672; Mon, 06 Feb 2023 02:08:12 -0800 (PST) ARC-Seal: i=2; a=rsa-sha256; t=1675678092; cv=pass; d=google.com; s=arc-20160816; b=qtrgZxbIOLXjFvPjvwXNV2nXx7i3gE+ZtxuE7cYOYXMVu6BHlexvA7+GXOCaL5LCpN otlVgUlY79FshBVrMvFJR9Aij4q1wZ5WCvvP0j6BNKc39/vn8S8kdMaa/abRHka+tluk g+imCogeIErJEcyG2p0P4YB2a1Uj9nH5Js9qlRwj8mT49Z3DH/q+Jwe4eZUReeR8SFsP RZgpJwTqyGvHY0Kz3gSrD/2mVmnhuRzeegS+kIAKRG25uUygurem/ervbRxd6YVVhveL jmioJEhRHaZGoVtcpRlFCfFX4gItoQnU4MXxPvyzSTdFzoK/NuvUrfed+fyJL9pcV0fv n8MA== 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=pf4Ll7LCgAt7ii8zIcERdijS2pje4FeF6fFUs8rKqrg=; b=QCexIDdhbTaIskgXW0Bl9CBtkAWcUCz8Daz4YGTNwwmvwD+WWjcyx7FF+oNYjQuPzI a5KlAqNkO0w8DIrSxr90ljJ4zPXkzPhai2TmNiVZlYs5bztrtvcdIusZ1Rpv2VHb+wgt QXFQFgJqz5hc0yxRS25nxY4l65DQtC7V8pT88ljidrevdArmYGgy7H2A9HNybDgz4qae dldIagLtklCNcF7UPxjt6622j7vZyufZy5YgONJc0nifzbOA7ai2iE3HxBXmZP78NyAq +bqv3ot/VvbTVqEqrR/9VKL1d+oHmTL+G9yxxpF+7euIJ55EQCsT66ngEm1y7DB6TOrs YtNQ== 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:fe02::60f 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 EUR01-DB5-obe.outbound.protection.outlook.com (mail-db5eur01on060f.outbound.protection.outlook.com. [2a01:111:f400:fe02::60f]) by gmr-mx.google.com with ESMTPS id l2-20020a05600002a200b002bf9650b759si384879wry.2.2023.02.06.02.08.12 for (version=TLS1_2 cipher=ECDHE-ECDSA-AES128-GCM-SHA256 bits=128/128); Mon, 06 Feb 2023 02:08:12 -0800 (PST) Received-SPF: pass (google.com: domain of nicola.gambino@manchester.ac.uk designates 2a01:111:f400:fe02::60f as permitted sender) client-ip=2a01:111:f400:fe02::60f; ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=USaoaGP6ptKip4ERW4M3B7kwFyM426lgY1pTUaTTTmYnD+kwH9dEf4wgRDKEx3iYvhNGicA0XJNfuokTf23MVGrVj/JL9Plfjt5YArjjTTxy06piA1K7seeGN3+3IuGc5nq/X25bVUtG71FFtZKg296BL+EvThw5YJ0JZ0Mzv9b14hRpK+uStTo0FDtdItsMTy+EnKhRhd1Vi/eFjzBX1KeRcm1jnQYPGT1GRuu2rykGNxfQMy1JLH2vccSNbLvbk4hyRm5ZxqBH/OfmU5WCCtIaLX5NCM5E1//d8TVrEdNraPdFtm/xDojxCv3U+Xp6fds+Mva78Npthc5ajMs+YQ== 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=pf4Ll7LCgAt7ii8zIcERdijS2pje4FeF6fFUs8rKqrg=; b=Tg2Gr9YLv53yvUHkTfhHAlHVvsJ7bc5cocjVjGUFCyqq9Oop7eXRWZmY4gXpt2HYS+rpl6j3LrI6o5epREh8WHXf1b0pDn8inApCHz0tHEqRvLsRdGKhF0hwVvzfcw639zhfjbeaVsUWLxljKQc0mHEz9BEIj971AXLfdjDAAYh0gG8spjvUWIz0fGGTKwp6+QjoIAZ9qNwMsoErIlrj756Ck0ivEm7Y8/qe2adNd7biMTXfBAe2tAby2kSP5dGMZpibQF9ETzxOOST6qNozG4jQwNyCsYF1lFO4jx5RDjPbAYbO95urqvPZc22xHA9KnX2DlIaZe4gEnWalneGmdQ== 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 LO0P265MB5600.GBRP265.PROD.OUTLOOK.COM (2603:10a6:600:283::8) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.6064.34; Mon, 6 Feb 2023 10:08:11 +0000 Received: from LO2P265MB5040.GBRP265.PROD.OUTLOOK.COM ([fe80::ac69:696e:ae0:ca92]) by LO2P265MB5040.GBRP265.PROD.OUTLOOK.COM ([fe80::ac69:696e:ae0:ca92%4]) with mapi id 15.20.6064.034; Mon, 6 Feb 2023 10:08:11 +0000 From: Nicola Gambino To: "HomotopyTypeTheory@googlegroups.com" Subject: [HoTT] CfP: 2nd International Conference on Homotopy Type Theory Thread-Topic: CfP: 2nd International Conference on Homotopy Type Theory Thread-Index: AQHZOhLrW2h3pVX6n02tHY9/MVeVRg== Date: Mon, 6 Feb 2023 10:08:11 +0000 Message-ID: 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_|LO0P265MB5600:EE_ x-ms-office365-filtering-correlation-id: c1efa70c-d4d2-4811-98c4-08db082a0d99 x-ms-exchange-senderadcheck: 1 x-ms-exchange-antispam-relay: 0 x-microsoft-antispam: BCL:0; x-microsoft-antispam-message-info: YRtRknk7/LbA1mRTskKEmPhcNCPlYlb9DhUPIsQhX/4bx+pNJU0EYp1D9GWR2wufMjiKC51Khqq8I5AWp7dTJJrMldGTZffdXKP/Yx2ik6Auab1vUxs6qXLVhyvFwLDOIKH37IhA9VgTraH6Q06bxuWocxviI4CbA84P8ltw9qxSPBcRQbi2dox9XyUGcNN5+RB/5EvZ5AoSJF1IMQBq9Guj6NkXJt4q+vqMkPTodgZdRFQRs17iSHtiI0tm3Z/RWUwZomAhPWsThYX4goAo9Pgh+hEuz6Nd2n5ZUdqQJKbHFpK9WreqDOUB8T18TmwivIj1/NXcxQRjm0ocGA9450LeckZp71jT4Gd2G+anu9iG43yvinSWEbtuByZOX7tAcPVstvCDmkgJNcNOGM56jJtfZr/4h7x6kZ0+kiZ/tvxbKDdAJ+Bb+GfZo0qKDz8UtsbWp1PLNKgVQwYXlP/NVUUubiHQpLhNm00AnZYAVnPU4+LBsPJdn2jA2nK+npyRWaD2G9POV/AKMJ0Ok8jtjdCgQgG3IvYMy8Yn+D8CwL1veBVpkgPAe4AgwrseiLHSuQqTbK0POkfWLReGLvClwNAbTTrz5cGM8mOO8HO/GDKgfcCxLU83Sea4OMHel8omCl8HlLkHFo5HRe4006dopoWZ6StW4PUBJXzHJSj9OPHPIivO0GZsmVmxfyDnA5SUkXeGVeVVER1vGWMEq5r+3zTS13Qkw5x5rFegDgbAD2OUqJwb71havnmGNBWFNbaG 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)(376002)(396003)(39860400002)(136003)(346002)(366004)(451199018)(36756003)(33656002)(71200400001)(316002)(5660300002)(6506007)(8676002)(4744005)(966005)(2906002)(66476007)(64756008)(66556008)(76116006)(6916009)(66946007)(8936002)(41300700001)(66446008)(786003)(478600001)(6486002)(38070700005)(166002)(122000001)(6512007)(2616005)(86362001)(38100700002)(26005)(186003)(66899018)(45980500001);DIR:OUT;SFP:1101; x-ms-exchange-antispam-messagedata-chunkcount: 1 x-ms-exchange-antispam-messagedata-0: =?us-ascii?Q?F95No5qyQ2fJggyrMwJrKVBeHG+fcrjnm8UDh063DsEoqNLkOP1f0odWTB1w?= =?us-ascii?Q?rNdtl0pxHeM0o0bYB2F8prMW2gO+hY0SZ87qaSR0KXCEV5aCnecQT7bmCo5y?= =?us-ascii?Q?lJMS9IFu4xgTpY2AlOOCNrQPfWgPoyOFVb3088l/oSeSBCvHrDf8juaO+p2l?= =?us-ascii?Q?wHbDDka9kXQi9SMkg7y5TDMTOWsbc+OdheczxUoD12n76KVzCkULitLrMbpI?= =?us-ascii?Q?HFmWbC33u3nT/3TGPRtCFwRlv6Iz2oSs9EeuPXKavEMCITglbJp0wIdRIHs3?= =?us-ascii?Q?H0HoHShMzxq3TerO8t5ck6E9zCWQzG3DFxfmWqFnLJ95O5JaJeoxHfkETFj9?= =?us-ascii?Q?RPksCiqAdfg+JVCiTx++YAcoyHhZ/JM/CsOD08Uw46BFs4CRcZuy4x2EUAmK?= =?us-ascii?Q?HO+xuelMk92/3WOl0BNs5lsrfXIdP1f8GQgSp6tmW5WmNanExGCjcRd0Qfs3?= =?us-ascii?Q?CFqHPisoBEhH0w5mJXNTIj9XWzpIDeZ51EZfpZt6yk95U7mCdX4rVAr6LqDr?= =?us-ascii?Q?2Pv/4zvyEG/FDBZbkuBfpNSUQI5HxfcA8vZXdfCB2RH1q1VlN8/oTp+8KlMP?= =?us-ascii?Q?8ATFP/TqPKqKiTi1WdxPgKLVN/69Hn/hzmrONDzd0GuqQQw/DfLBIpCjIHJn?= =?us-ascii?Q?W4/NFYpj4chjljE5oflDhfwVwCdrVIYPCjPscuqHEWRGUMGmCdL5Tp2PPonE?= =?us-ascii?Q?Op2NKInXyM4zg2YyD4ZpPc7zVObnoKTGSV6J/0SYl2TKOGNFP19Lb4pN7k45?= =?us-ascii?Q?IovWKHzkRV5BpBsLvkOANI0HLaUnxVsp2WCzU/RG/vMUk11qI7HIlnGzPvxy?= =?us-ascii?Q?tjM5DXrpOQNby2E6eG6zTjjKqySfpVzQhHGZCvsaerX8Vgmoh5NZfkhpX1Sj?= =?us-ascii?Q?Bbo83tpDk5o9QWOokGClZ9+pOaPQRsYrfHFB+BedSISy5tgNB9SajcfBBNRq?= =?us-ascii?Q?qgGg9x1DMxlUCtien9BGZLkUdlsXqm5vICR8smUBD79BUMhDFSMydVXb7xMa?= =?us-ascii?Q?VIgwC/hzJOuH4S4O1/oqouFn042f0judkOl7/BQ1JYDwG26WPHaNa5yz0wo0?= =?us-ascii?Q?IS4/wFin0sxnMv7QPV1nlLvzGnEQgoDM5bL2M+CjijBlhI4rgxaE0Bq4Y4Z5?= =?us-ascii?Q?rprJBGAsWN5exdgdJeAgAIoKiMxu8+W3jGbQdUWL4S18q0CzQ1xWKrTQzDn7?= =?us-ascii?Q?jfAVKW9jUqlcfQLq01iqzxx3pqcoA+0pL1zuWT77H+Pz7AURsSydiIeX5qEb?= =?us-ascii?Q?dLrFQ/Z3I/OYzDubzwHAbzj0hYZWurFX3FhA2krJltmDM9Ubib8RXfblnLIJ?= =?us-ascii?Q?tAyGUt7niZ11hltwKxF+esAiWM/X7nhLrK5aVKx+ys+amhrGtS4KdPyx2mDN?= =?us-ascii?Q?4Nwluciyw2Uq5pZv4TOiDE7SxCMEN9BQ8gleCL/eOvLmtZz0JuYhPa6d5JY4?= =?us-ascii?Q?wjExW7HflfF/gt7uc8XR+HpZJF5Ms0lXUjpwegCVTw2FD23E4hUViicwvpnr?= =?us-ascii?Q?OOa/Kb2FFCcj3P8yuuwnczU9RMms32Z6sWnXqa9uASzFbv/hBOQIrqLGNpK2?= =?us-ascii?Q?dV3zGFdoWDAi7ql6vVn/losVABbfP3+QIUT73VE+8k8Ow6h5PztksBvc8xbe?= =?us-ascii?Q?jiaiVJcm7X864Ytlbxf7NzI=3D?= Content-Type: multipart/alternative; boundary="_000_C62D4D8E4EDF4CB5A289058E932677E8manchesteracuk_" 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: c1efa70c-d4d2-4811-98c4-08db082a0d99 X-MS-Exchange-CrossTenant-originalarrivaltime: 06 Feb 2023 10:08:11.2250 (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: 9CciYCp2uzDybpQmFwp6/r1IQZseUP0KNP07SDo61k58+o+k86nKre2NI52Mz4veVFx0y3amKGPWKnb6fKEg4wL9NydXhI9EbLde5sDZwPk= X-MS-Exchange-Transport-CrossTenantHeadersStamped: LO0P265MB5600 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:fe02::60f 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_C62D4D8E4EDF4CB5A289058E932677E8manchesteracuk_ Content-Type: text/plain; charset="UTF-8" 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) 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 "Homotopy Type Theory" group. To unsubscribe from this group and stop receiving emails from it, send an email to HomotopyTypeTheory+unsubscribe@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/HomotopyTypeTheory/C62D4D8E-4EDF-4CB5-A289-058E932677E8%40manchester.ac.uk. --_000_C62D4D8E4EDF4CB5A289058E932677E8manchesteracuk_ Content-Type: text/html; charset="UTF-8" Content-ID: <0EFEF0DD2EB99345B1CC4A7FB9769C08@GBRP265.PROD.OUTLOOK.COM> Content-Transfer-Encoding: quoted-printable
Good morning,

The page for submitting a talk for the 2nd International Co= nference on Homotopy Type Theory, to take place at Carnegie Mellon Universi= ty 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 repor= ting on work in progress are welcome.

With best wishes,
Nicola Gambino (on behalf of the scientific committee)


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/C62D4D8E-4EDF-4CB5-A289-058E932677E8%40manches= ter.ac.uk.
--_000_C62D4D8E4EDF4CB5A289058E932677E8manchesteracuk_--