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 26319 invoked from network); 6 Apr 2023 09:21:41 -0000 Received: from mail-lf1-x137.google.com (2a00:1450:4864:20::137) by inbox.vuxu.org with ESMTPUTF8; 6 Apr 2023 09:21:41 -0000 Received: by mail-lf1-x137.google.com with SMTP id f11-20020a19380b000000b004eae6917b76sf15141109lfa.13 for ; Thu, 06 Apr 2023 02:21:41 -0700 (PDT) ARC-Seal: i=3; a=rsa-sha256; t=1680772900; cv=pass; d=google.com; s=arc-20160816; b=Z6skqiA264TM/f6rWExgye1GFEuV4khCkRdSohhqSY865GO8AYWd6K+9NACmg3i1V1 /PFkKKWQyyIxrd+ztN+9WmFjb0tNYyuzXh2zG4AYjqWRd4iIRKktiLf+PxP3O5YCceBT bd/9eb2dcqA+hK2bALoNZi1G1qvY7sb8gHGRfpMHw3T/9VPVUagCvt6644U4hwDjMUDf MLmh7OgByI2oSCBKt5qyfyHt9NjhRQ1mwIbfND1urFvuaz0Sw1YEQD8hbsUayUjUsajZ +AVu1wrfsvgnNkcos77OHEoQSliOh9IlATgHaDnVYI5W7Y0U/gZKpcIME+nr47yrmRfK 9Bvw== 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=qDIBGwAgvqG7a0+Q0KzhletZ9qPe7205HD9Xtpta1Ok=; b=CPAllbKp/TbN4pJy/545fLmuA0nr/r+Tj/aoBUbP9iQyA2uWwbyn9wXt9vurKwU+wv Gxcomb+RJPq6zheOeVc/OUhB7aU/JClZ5s/Wacc8EHaRF32kyS9LMF+Q0kX8aO13vgzE uocihTS0lonxJdj/HZBxcM6nTyO6+UA56u5IoiZeZYhT80BHFydQX+yySjIHQtlcJ0i8 659+qWaje6Sj+h2Rp1fox294eQNkY9DSgzRPfnqG0LBP02xaBscUN329da5Vvbc87LGZ 03TzN1HXuYF/auCG2JUL3yzO53p2y5RBX/OZbfeRafxB8eHvdLV/HR9AQp9FGvG6ZYx4 9fVg== 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::607 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=1680772900; 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=qDIBGwAgvqG7a0+Q0KzhletZ9qPe7205HD9Xtpta1Ok=; b=T23z2ZGbu7NJdpDTo5U1SYiBfLRhnZPK7JDF1uL4NsPVPnmas+jfW0s7GVU0/TN/Af CacDAxAJKhSWDxDZ7Wlelze8kAfbi1yE0l2YE6fzYTGXbBUZByRQen99iYExEw8VXsjm QtwmGzwf0cqJfydSfiztp6i/6o7D/B6Mo9NtBFgQ3Tr2v3b/iYQWpaLDGPEb8jx7i9bT 6s2pWGAh2aFXVMSiQXAAR2tlU7cYMXiXZdpgs7YPSBX55He31cHpQDm6/NZsbwSsSE4p 3z14ZUazx/AKddRWJGEk6YNhCJvksGn7lrNuT3dO1dM2QFB7ZeSXAu9xrqaBcl+xTO9R 2jNw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; t=1680772900; 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=qDIBGwAgvqG7a0+Q0KzhletZ9qPe7205HD9Xtpta1Ok=; b=ziNFjdq923TSl2iir96/ta+PHMH/BhOyD9YD219XaOiJMQtcezRfqw7T3yh6Xg9x8V nqS+hih95eKZyZwaigsVWjnRM04Rc+tY/5TRMeHxvEEx8iAPEkT7ybLo689Hzyn2JSCw ETgrh7QZeq2YGp2BfmVGZt00mdqKrGHEz9955wtFw0q+s5LBcajVMrbK4qa7C8tWR1Mu fUUFtB4ZOb4mTvI+FwP5jwKC/gZ1xqIhWZQ2SlFewnL4XB720RGLjLHFGqyb9nsIQwiA A6iLUL4eiQMNwDBi4dOwo3nAjV6ofcaHO0pgzaXBEaTBWK4VIBPJ7dg+E2b00zb5y72B rapw== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AAQBX9duIKK/3r9TIYGVa8lpGvZlXuSJ77fX2PoAcnurN87Nlcs0dXkR KSjktPFvy90gIYnYhcqsoNU= X-Google-Smtp-Source: AKy350a7l5ontjMSDiOSn9zfDBjXBGFIFbj4TxEkv/8oTPrTYKCx7jlxasVKPRzSwbC7gcBsO3WQ3w== X-Received: by 2002:ac2:4465:0:b0:4e8:446f:f600 with SMTP id y5-20020ac24465000000b004e8446ff600mr2777832lfl.13.1680772900373; Thu, 06 Apr 2023 02:21:40 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a05:6512:234e:b0:4e8:3ee1:db1a with SMTP id p14-20020a056512234e00b004e83ee1db1als5336558lfu.0.-pod-prod-gmail; Thu, 06 Apr 2023 02:21:37 -0700 (PDT) X-Received: by 2002:ac2:5214:0:b0:4ea:2bc6:e3c5 with SMTP id a20-20020ac25214000000b004ea2bc6e3c5mr1787082lfl.64.1680772897216; Thu, 06 Apr 2023 02:21:37 -0700 (PDT) ARC-Seal: i=2; a=rsa-sha256; t=1680772897; cv=pass; d=google.com; s=arc-20160816; b=PX3+G3RWdDrY4sLofAYIwGufaYCwO0rNGIxqwDWlTT5Ge6b2UyEIdtfbCnHFq6iapd AOWxTD+yjU2iuvEKHXQDPqwuP6pHmbUdmNxUCuX8PWqZXxnfhWe02AhgPQSXaiQNEb68 nJSRm4wETrCI+95CTMnrsiCre+9aUSD4sHHQvV2cbY5otzMmlRN5bvA4z20lJuuI4K6j ZeIFJ9ePaC8tG/Scwmkhth6c2Xk2Y0F1VmelYgZh3/PgGDY3d2qlut6i5AsVXN7RnvFb r20LSDUT+rrA6EV52VpW1mT7ngy8tZX4qV7HWVJnS7cqhoEWod4s+0CpYy4QvkIce59h N27Q== 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=y9rcJn/leu+f+uihLz1q7ef0++h/WJU34lQFV3+mlI8=; b=g/cv4DdS3ItSfra0xc7AVir8ZDPdTCkxdTduYoS41kaxC5Bg5Qq+odAgXJrwCWlPc6 SVZY2DXYBp8TRlsJvd1UQMXscMOTtUrMksPMD5TWc795aB9+aOojrXqJMHZg5fTC30AK Gfkrz6YtMj3+jieik7b0A1CCzEN6AaeuxhNAD+h9du07SmuPJ8yMU39musxIvs7A7CGG ev5MNHOexX8ETo1GRSJsQWnX96SI1sl2ZXPqCyHli+nwulEwg7iapUV8CiNjCCZ+eJm2 jqpfUMLnADE72R4H7rnjkK5U10VHE3Ljw7QlEMLvRawCRN0vtt46q7zfFnTzq3kvTbsG A86A== 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::607 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-lo2gbr01on0607.outbound.protection.outlook.com. [2a01:111:f400:fe15::607]) by gmr-mx.google.com with ESMTPS id f10-20020a0565123b0a00b004dcbff74a12si55024lfv.8.2023.04.06.02.21.37 for (version=TLS1_2 cipher=ECDHE-ECDSA-AES128-GCM-SHA256 bits=128/128); Thu, 06 Apr 2023 02:21:37 -0700 (PDT) Received-SPF: pass (google.com: domain of nicola.gambino@manchester.ac.uk designates 2a01:111:f400:fe15::607 as permitted sender) client-ip=2a01:111:f400:fe15::607; ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=cxCSkN1vDlMvEntzdbBi1WNJZ2L3D9qRdVJ6vPyyyQWZnW4xF+IBg1HfaWYJ9dhBLjFIhf3M5cB2v18gXfV7v3Lly3iSndCCeO8nvTaWT0fYNOJZv7AAncy2PLQ+4L8VgPsTNuM2vEy3aI7DUTijICcSmzCDYiPriCuZmWx8WIU4TsU12JXPqSEF4+nStzLKFPvI6cvEi6EOTxjQDlnUW3pVozA4ZWm5K6Sj5/WfFY5hMl66sO3xZIGwV2sQtBlmiKRJBI9+q+KVZsiWIQ5WaUAJ6l6FrlGWRFSvLbM5rrnZZ8xCppeZV9/YJzk+9QNegJ54db3wuo6IO5p3bpDs3w== 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=y9rcJn/leu+f+uihLz1q7ef0++h/WJU34lQFV3+mlI8=; b=VAt4F0/TfUvIAzi0WrQNf6KDkS4lo6WHBvJeUDwWG4MjKmvJNVWOMK+pRXx/CYuQ60k+unoHMXFQmHZ6cSxDrSf/lieaEaPowmHFJBjCoro/uwUKEf2h5GHF8nSFnaym54TWvSZpfjAKr5itvbRscRccdnsD+cIXH0gGxcdocVwnFF8WWkTor35EPYl+EAEdSeDj3hygaaNdNVIXHsGzGNn/P/BCoEnVLEkMQW0nFl5Zgl95aRp1BU5s9QsqnW2xA9fWWci8qmZuA1ZQwJ4PWNqqfD2KkAhjqel2ppGsLCtp9qduof1Z9PVI0w9un9/Yl5EKbLwNVJAFpjz1CDhqYA== 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 LO6P265MB6128.GBRP265.PROD.OUTLOOK.COM (2603:10a6:600:2b7::13) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.6277.30; Thu, 6 Apr 2023 09:21:35 +0000 Received: from LO2P265MB5040.GBRP265.PROD.OUTLOOK.COM ([fe80::4f12:f47f:fcda:4c11]) by LO2P265MB5040.GBRP265.PROD.OUTLOOK.COM ([fe80::4f12:f47f:fcda:4c11%4]) with mapi id 15.20.6277.031; Thu, 6 Apr 2023 09:21:35 +0000 From: Nicola Gambino To: "HomotopyTypeTheory@googlegroups.com" Subject: [HoTT] HoTT 2023: registration Thread-Topic: HoTT 2023: registration Thread-Index: AQHZaGkvH57MUDKN1U69BCNcIuK3CA== Date: Thu, 6 Apr 2023 09:21:35 +0000 Message-ID: <7D721ECA-D7F1-42A9-98DE-C659F9393E1A@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_|LO6P265MB6128:EE_ x-ms-office365-filtering-correlation-id: f8881e6b-1dc3-4732-0404-08db368051b5 x-ms-exchange-senderadcheck: 1 x-ms-exchange-antispam-relay: 0 x-microsoft-antispam: BCL:0; x-microsoft-antispam-message-info: 6UphkLSdN6reV+Nxq8mZ83KP0N39LSl+h+1gfreHZ0vlEl8MQS4ignThOx52qFek+OkE8WeisnObVp7N/Z+99FqQjRMZKVW0nu9I/5Hz9ffNcthLXOWSC3AvY4F5WSpZIw/Ly6VYAhtaQviftRKPO15EsjbOn1toJ6GVxurCCgcUmypflUm35yAc3EBWIZMpqIkdJkRjydTp/83kebgGtCl4oYPCaRmSMMZOfr7fJ+gdYm1N8B8Y+I+nIp/5QB6SF51g8BycaQl2UOwSCbIh6ijCULcbI4eQC+iWzHasBWarrO+hD+HFEk/okxU+8/XUNTetLVWy/3agKH6aXJe1hem4XakTMfPgmuNBe+mOpBCXk06dljUcKp/jfJEM9ieKVkwVHEw/MBe22sQaMzASYZvfFFMrpHJsJwn7X6UHvnzx1dt2aC46b1nWlyQJkvDUS+oOf1m+YAe53qAgwGFuWQ0d6Dqw7ZQg3OI0q/R5kaVwUaRWSNJaH/a84WzbquiZkQK3M8dr3cR1e31szecr6hSot7RtfmsKmhYXKnGKkiD0litgyV1HsKBfOM/YMT1NVT9M/G4RTKo/ArOQ/CH/XO2BreQpRD3HasN78TuCfl8g5ElV5L77HgVM/aYztGg99ye3XltR0oI28rtTdAcBLw== 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:(13230028)(4636009)(396003)(39860400002)(136003)(376002)(346002)(366004)(451199021)(6506007)(64756008)(66446008)(66476007)(76116006)(66556008)(66946007)(6916009)(36756003)(166002)(8676002)(38100700002)(8936002)(33656002)(7116003)(86362001)(186003)(26005)(6512007)(41300700001)(5660300002)(122000001)(4744005)(786003)(316002)(2616005)(2906002)(6486002)(71200400001)(38070700005)(966005)(478600001)(45980500001);DIR:OUT;SFP:1101; x-ms-exchange-antispam-messagedata-chunkcount: 1 x-ms-exchange-antispam-messagedata-0: =?us-ascii?Q?1BAOgt7VlUhH4GT7h9NYprPgQTa59K+kv/B0YBD3HY7olZQvvRh7B1QJoYVq?= =?us-ascii?Q?xNvCq51m3SYEWYC8QAj/wRrpp5lcDK/ay/ys2QBJsk/ynzSnFhxZgSExYMZe?= =?us-ascii?Q?en2683NIJJ2gX4tkX9/4Uj1Wum56B/fOb5tixnUxuWhjcpFFl9bFB4jrIbAR?= =?us-ascii?Q?c9q4nw5AwHab+Pl1lELixspFNxtORql5Q0ccwfmslmywXZJkaMmo8wlC/YOL?= =?us-ascii?Q?Vbd6Qry03g0MHZx6IB1c30/8kPkZHueFFmTodxXUbmX0VTIbbnxbtybgTe9A?= =?us-ascii?Q?t9mRDaMAAKzJfxoV/ykm2fyqvbZlcaoithx7mPQWjahK57nam03tTFvOdhvH?= =?us-ascii?Q?/X4bDOlta/aE8kQSvruViozvKxgqLgTG1MjrMIm5ppeiv/0Bna4QP54VGZoq?= =?us-ascii?Q?16FiADhRMPRP3kbJ873awZ1ekOBs7+4d1KR0IdFnsV2uFXCxy5noOSfQLo34?= =?us-ascii?Q?1BY63LXIHag4ZXrvBuxNnuT8NtPF6zGdPoCpvePGAj9oU9CZpdj3TW/tU10Z?= =?us-ascii?Q?3Uk3pUuSAxG8cydKJhvTXxX96qCOOBbuT7UEl2mPux8On5VFP6LzXaDMvEZg?= =?us-ascii?Q?b1umVAFrxvPmS8DbcD2xvXFjdm7KZfHHsnmgbmIv74wAgg87GWh+i5YsrStp?= =?us-ascii?Q?Ig1YzkQ6NE8cHnfkzrXpR/md46kUZcnklh6iImRGEZy4RSdWqOb10d9zqnGW?= =?us-ascii?Q?uuw7FG9N8TN2c+Mk1S2sp3RTMWzadxGUft88lrbcj/rXUQ9YRkBauP1xghCF?= =?us-ascii?Q?MtQxLHOo9sSavrxafAU8HXOv0jmZSOT+h29vVC11kh0iDlVzbq27C/q3l9Kk?= =?us-ascii?Q?3oYKyOP4fgD0J3yFLIZD2pFl1PTVeI0JexGpboktpbBcSbkMK+4HbcMnJILX?= =?us-ascii?Q?wlP6gJWcFw2hiSmVVzUWCj3/Kf4OVV0fdGRjhOvzP91eIaRZDwo1y5sorsUZ?= =?us-ascii?Q?tPuXx9TlBFVRMAdYq3FPLBr6iMcswfSShVKnKZUqvbGHxmXv4Flx1GsZwIUN?= =?us-ascii?Q?HgI4Wx5EmZluC8Dn8LItTplU84aClmHmSQgxUuK/5QsStJm1ibkOOOOYxGJE?= =?us-ascii?Q?7Q/agqSKNCm3+vnIwLcsogT1jXfFa1lUdolkEofthhD/cCAHLntMPIh5SA4i?= =?us-ascii?Q?Avq6ym8JRnPEHJJ6kBI3HqIJauGRgorJ9y9rHya20pvJisIu3JRE5xw12yHj?= =?us-ascii?Q?ENZTNK5EgreOlvz/Fw2aSRsWs7vNLr+WZsg9Z2+7PVoE8XFOGeLeOQcRdfgQ?= =?us-ascii?Q?Xgyug6eVgjyToRw6jbgqr7xejE/M5gO8HgWRSF4mBxmEUWEAjexN06p8kSdj?= =?us-ascii?Q?0efSn4+eQUyM2pr7JMTXI9o4S/vi7HCpctzbKuboPKQu7RDP2ADYQiPMdxLc?= =?us-ascii?Q?FMv70AGPvS7XBp6AyjLs+dsL5L2b1L4fqF4eE9q6TMPh/TaawzEUMy2neRHs?= =?us-ascii?Q?H1Y7HSYk3feqTUo1Dfi7rvgTrdqedPPRLg3bKe4ANYpoVGCWrDlK5mS6/OAs?= =?us-ascii?Q?Z3+XKU0UyXfY8m3dH2oMg2rZhhsTOzl0oz02615iWq7AzjJbE7HuPVGPDW4r?= =?us-ascii?Q?2gaJF1reCZyecKdqVyXyCr56Vl+eecxhLGfDItF0lKVt7P88PvHnB0FBl0g6?= =?us-ascii?Q?iS6cigfRhi8QVfT9qJCilzA=3D?= Content-Type: multipart/alternative; boundary="_000_7D721ECAD7F142A998DEC659F9393E1Amanchesteracuk_" 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: f8881e6b-1dc3-4732-0404-08db368051b5 X-MS-Exchange-CrossTenant-originalarrivaltime: 06 Apr 2023 09:21:35.7238 (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: /LPCbkv1P+4zNGgFUy9xXvYLc7LlME5/Oe8JWNwVchwQrmJHxt3/T4TI/nehBuvlY1v0xVTyVBmG9ZBC9e+HbP8cpcLAi7Nv5LwnDqolkys= X-MS-Exchange-Transport-CrossTenantHeadersStamped: LO6P265MB6128 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::607 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_7D721ECAD7F142A998DEC659F9393E1Amanchesteracuk_ Content-Type: text/plain; charset="UTF-8" *** Homotopy Type Theory International Conference 2023 *** Carnegie Mellon University *** May 22nd-25th, 2023 Registration for the Homotopy Type Theory International Conference 2023, which will take place from the morning of Monday 22nd May to the evening of Thursday 25th May 2023 at Carnegie Mellon University, is now open. You can register via the website https://hott.github.io/HoTT-2023//registration/ Deadline for early registration is 1st May 2023. Deadline for registration is 14th May 2023. There is some NSF funding to support participation of students, which can cover registration, travel, and accommodation expenses. To apply, please complete the form available on the registration page. With best regards, Nicola (on behalf of the Scientific and Organising Committees) -- 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/7D721ECA-D7F1-42A9-98DE-C659F9393E1A%40manchester.ac.uk. --_000_7D721ECAD7F142A998DEC659F9393E1Amanchesteracuk_ Content-Type: text/html; charset="UTF-8" Content-ID: <2B56FE0F00E0754ABBF5119242EDA9DF@GBRP265.PROD.OUTLOOK.COM> Content-Transfer-Encoding: quoted-printable
*** Homotopy Type Theory International Conference 2023
*** Carnegie Mellon University
*** May 22nd-25th, 2023

Registration for the Homotopy Type Theory International Con= ference 2023, which will take place from the morning of Monday 22nd May to = the evening of Thursday 25th May 2023 at Carnegie Mellon University, is now= open.

You can register via the website

https://hott.github.io/HoTT-2023//registration/

Deadline for early registration is 1st May 2023. Deadline f= or registration is 14th May 2023.

There is some NSF funding to support participation of stude= nts, which can cover registration, travel, and accommodation expenses. To a= pply, please complete the form available on the registration page.

With best regards,
Nicola (on behalf of the Scientific and Organising Committe= es)

--
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/7D721ECA-D7F1-42A9-98DE-C659F9393E1A%40manches= ter.ac.uk.
--_000_7D721ECAD7F142A998DEC659F9393E1Amanchesteracuk_--