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,MAILING_LIST_MULTI,RCVD_IN_DNSWL_NONE autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 12175 invoked from network); 24 Oct 2022 08:16:01 -0000 Received: from mail-lf1-x13b.google.com (2a00:1450:4864:20::13b) by inbox.vuxu.org with ESMTPUTF8; 24 Oct 2022 08:16:01 -0000 Received: by mail-lf1-x13b.google.com with SMTP id s1-20020a197701000000b004a2aebd8b14sf2501097lfc.21 for ; Mon, 24 Oct 2022 01:16:01 -0700 (PDT) ARC-Seal: i=3; a=rsa-sha256; t=1666599360; cv=pass; d=google.com; s=arc-20160816; b=B2ge9Ls0oWOfZafraGbt061Qo+WownWBxf56CFWNpHeKs07Z8IJ1O4wLAiAo7P55wv x+cVwcKl6m7zY7YR2TNvHytfHO5QFz1iq1hCbZHiMkFdaC1qQP9BzL7ziX91cXXL8pGy PIhJE+kDyIFB3Wlvkn27hVxGhFK/QbQRlY+6lhQPLn0XR3p6Rivbj0e/XF7nTNZnokw1 0V/FQrt3+7ZjC48/lAEeBSy/njsUWaoLwQY0CCEM+XfHGs9zpk3VNqTY/0omZZ52jcjm LRGERkEy5xRXc9zKVjQyLE1tu4Fg832pMXooIpbO9eIdkB8Um7gNBeWNdgK7NiMIZVK9 le4w== 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-transfer-encoding:content-id:content-language :accept-language:message-id:date:thread-index:thread-topic:subject :to:from:sender:dkim-signature; bh=WS1YukFVlfDEurYPpRCqLGXMmPbo1mSyeK0lgqwtiyI=; b=XW03ZdwVOM1Y+mHVq2fU6Z6IuJM7t7FUg2V/fIooJMVqb739g4CMQyzbXu9c10Rn2v /pxLRp7KlFfxdMbybcYgAdqJbJgtP1fPI+FaxIRXkgFsHwsxDgYbD5+RyM5mozb6Mu7l /EHAKGvLkP2FOSCbti+YRjdY7odNhyHUwZTQFllq3xYDAO90zQS7V/xNvghGOsaByCsk jqRar/QYzBW4WX0QbotH6UWYd4pz04RGCBC+A4q92M8WtbacEcnriszUn5F0MTWlNIbP 4c4FpEgEQLhE1WeyG3BNFXQT+axzsLAQwK5PTk4rAANzLGlyIpdDQcz1XQ/XUESrSQRJ a5UA== 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 40.107.10.41 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-transfer-encoding:content-id :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=WS1YukFVlfDEurYPpRCqLGXMmPbo1mSyeK0lgqwtiyI=; b=EMEmkIP3UKGE0dg32SfPwX3wT/DoRqMH13qVHkXoJFSaq+h3mqwHWXRWsblFB4bOjR xrFCfnL785U6PbACTcdAPdQuFH8azQ70KU065Z1svvwVORO8PLEpc3/4yac9u++PhjUt mLotXi5oge77zhIZOzTPI/DbIs5jT9g4/ArDiTMpzSpOj16R+tL7azg614EDv+u/v9Lt P48Kp0JDfvYZoJ61oyIGSD21n0stjgJLskLHHBKg6YAmuMy/D8n+n+90GrAkOofKlT3K N8/DKYM8lVHWjqbXZNBF9JnaTadzEPS9uyaGSKAx+XclGZBse7Ep2WsMyW6bpfIwalGv +G0Q== 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-transfer-encoding:content-id: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=WS1YukFVlfDEurYPpRCqLGXMmPbo1mSyeK0lgqwtiyI=; b=TFeZ8YvutgySqa7TIYPYVrzeun5ve6Kse5SUbS66BBC+UFnIHl4k2jx2gwC3y67lH9 9oRCmEFkUDlosZDmc58szebpw9rdjaYWapv2qOLOLyuQlBwIzGqsrNgmhyel5r6oPaMR YLITSCevs1QQ0ddEt4WgG97c8yMy68NrZJz5EVI//2osMEjJh0RY183t3WdfVpJFjeWx I0EaR+7Q8lmff4lFwAvQ9zyA+hcYfyYab9UdMSxV9X5kqrK/L+t2LfaBdQqbB1ChODSv 4GIAXZkV+HN6VUzwzQUayK1HRimeyoeY0sDlKA4gE17zo/G7FAlmuZ8BbBJ2yEhPaNr+ R7JQ== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: ACrzQf2PxrFPfnsLvlabek38L1AekNJ7jBAPAue64ZzAnPIJsTRgT3y5 Fxm3NGQeUQhWJvh5SYwgLh4= X-Google-Smtp-Source: AMsMyM4Zf6ou/veWzOFsWgl61VFgCR9c9oT5MeYbPOKFudpEfORoZfw/DNManNjYJFGRmkMq/9qUSQ== X-Received: by 2002:a05:6512:3705:b0:4ac:b86a:7a0c with SMTP id z5-20020a056512370500b004acb86a7a0cmr267920lfr.317.1666599360441; Mon, 24 Oct 2022 01:16:00 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a2e:9543:0:b0:26c:56b2:1383 with SMTP id t3-20020a2e9543000000b0026c56b21383ls1679953ljh.4.-pod-prod-gmail; Mon, 24 Oct 2022 01:15:57 -0700 (PDT) X-Received: by 2002:a2e:a794:0:b0:26f:e971:dd3 with SMTP id c20-20020a2ea794000000b0026fe9710dd3mr11987848ljf.327.1666599357847; Mon, 24 Oct 2022 01:15:57 -0700 (PDT) ARC-Seal: i=2; a=rsa-sha256; t=1666599357; cv=pass; d=google.com; s=arc-20160816; b=Ydn0JfdQqHM3ihRHVQuQY2hH/wjDHA8JgaHscGGmaeTmNd91MgwYRQjplS/3ybPeLS WERkkWyZR57JOrSI+FyNuNSpKYrxtEFGWfeUdFNPjt8NX6WiZvBIWo9M7iCHwwy5YeKQ /EUW/OhEOmul33TYTVay26AMkZ2p8pR0s7KYg95nkJgpnyM3B2mjhROzAMI261dTm6x5 +IxXvu4IO/z9JK0vplJqjciME2u//i235YZTBXmi2+FdkG0+qDaIay28f/lslB3YH6xj bTF4/Tux+FWnT8/lxPbQGb9a6vDKnPA6APIQYtS2feRxoCn4iO4HuEK8GsvcUyoIEwod AgzQ== ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=mime-version:content-transfer-encoding:content-id:content-language :accept-language:message-id:date:thread-index:thread-topic:subject :to:from; bh=iwoUnCiEEujW80xmA3Lq06fYNQk3L5LIybM4KaTHrxs=; b=p53bC+uMlGjOhxMUO8EXcnCOvMvVf7dfnVegKQZ3x2dLjvIjaS3LBFFH6g993F8UOH z02VzG2WyCwOBG8ptmN4i6i1W5OAXnttN8HBSLTEndvqBTfyZdlD4FUYm/CeFqElxq7o 9BVfvu6zt7S0c+OvNKv0Zx5JQRPAdFNTuiW6m7f/o/EKGMaJEsb/JmZZRXMSrknvK5vs PmGBOrLKXlaAO9OhC8C7brNuafeup7cX0rlc5ZDXPSc14FGC1Q94lQuiVs7xfQVsozx2 RQdEn0bW1mPsnE/CC1eDomjHR66kWxd9ITYXh70OWYY7J9SwvLQcmCBrL6MmJKGRiACO kyWA== 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 40.107.10.41 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-lo2gbr01on2041.outbound.protection.outlook.com. [40.107.10.41]) by gmr-mx.google.com with ESMTPS id 28-20020ac25f5c000000b0049c8ac119casi1038415lfz.5.2022.10.24.01.15.57 for (version=TLS1_2 cipher=ECDHE-ECDSA-AES128-GCM-SHA256 bits=128/128); Mon, 24 Oct 2022 01:15:57 -0700 (PDT) Received-SPF: pass (google.com: domain of nicola.gambino@manchester.ac.uk designates 40.107.10.41 as permitted sender) client-ip=40.107.10.41; ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=Qf0YO8+5sR9neQ1TIHbQvGIJxzRcZw53Uo+hrRxsqi89DOpi1khBic0CVX1mu8HE/sqwJS8eqGrHSVT7FeBsJonBssJYzbLeJiwL/w9+iQzFcB+w4qmz8eKkdEKPQwb3f0hYupOrUq8boOZiBvQwMnhtmLaq3SO5Pa0B5w3+SS/hIucrukaDnn7gOBumS1avagUVMbirZoJkfGQVpewp+0WTuRIrsWslQQBeOQmqeV86UXuI9DLQOiOt5ivH4Hhck2GNRwLcJ6CUhGA9jbJXZ5tRcvY+WNtB7/QX16PvyOgSzqdVVcVoLaJenK+ZIWPRFQ7h35Cw6kcgKXyqw1fPlw== 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=iwoUnCiEEujW80xmA3Lq06fYNQk3L5LIybM4KaTHrxs=; b=Woz7dk6C71cOzUFg7ghC2TMekIr2Zdl8DJ2tumLH9OQq4Y8suCJwd56choO6dUvmPzkfBcCMN8WLDRqBH6ZrFwo9w1QzYn4e3HsNTm7o43rzbxDLQMjUWFiIJfaUosqWLVG0N7kwyrjx/2twuvAcC8jVJb8wmeHBuMZmDWEoChoB3EUXo8vo7Ox4WPntP5NsEucdIFBRG2jxDt1QMdIrfkC6nlgOtKeFvNC9Kj2/zaLAqg2DtTYQqE/EtADHYXX4lyGtDyzCZds4EPxydPhOoL1IyrhgxZo1XoyHWjY2HDOMp6W9VNxQOIHKbxPiF5nH10bAdc++S2yU05D3Ifwq7w== 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 LO4P265MB5913.GBRP265.PROD.OUTLOOK.COM (2603:10a6:600:293::12) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.5746.26; Mon, 24 Oct 2022 08:15:56 +0000 Received: from LO2P265MB5040.GBRP265.PROD.OUTLOOK.COM ([fe80::a459:1aff:a3f1:15bd]) by LO2P265MB5040.GBRP265.PROD.OUTLOOK.COM ([fe80::a459:1aff:a3f1:15bd%8]) with mapi id 15.20.5746.023; Mon, 24 Oct 2022 08:15:56 +0000 From: Nicola Gambino To: "HomotopyTypeTheory@googlegroups.com" Subject: [HoTT] Heilbronn Research Fellowship Thread-Topic: Heilbronn Research Fellowship Thread-Index: AQHY54DXH63vWJhw0Uad8YSJc67SBg== Date: Mon, 24 Oct 2022 08:15:56 +0000 Message-ID: <486A1660-B57B-4558-A5DB-1DC8918F6467@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_|LO4P265MB5913:EE_ x-ms-office365-filtering-correlation-id: bd406179-59c3-457e-2d0c-08dab597f9da x-ms-exchange-senderadcheck: 1 x-ms-exchange-antispam-relay: 0 x-microsoft-antispam: BCL:0; x-microsoft-antispam-message-info: mUpRPwsW/e17lqwh8qFfVkPafqiJz27j6Lb1ZB7Fl4ITsW+BGM8PF5eSwgF2/EbdPbIehy/QIoHmapDZx+xmSouBTvMhLN5VrAQ4FT4YTwDqvJIn9V72LYWgXvNx8bUSOi01fDPyuF3lrHF2LPq6gnhIaycGwUvQF6f0cn6qEGym1ChRtiq/A0eKsCwKTcpwcOMcm5KaFv/LC7XouWnH1pIvgA5+0Gb/r0lJx+SvwMOtJ331oPRtHakvcghoRBAZtskfSXRIcESz+hp47oZFX1D7wEmRCuZGRtT5wHo3d7mlUq6He8+sYHG3bt1RutNY/SH3BSE2OKWagm4NkunjyY4bCmeJ0+GCgzeu+b8UyVsf4GW++E5/m1f4Sbz4ZwW+681XYmaia1oUwhvZoHkQHbfSduS91STmAQ0o75pgXYBYjYeCEdSTZc6CfvsFdKLwyQCM4WPVJRqJIy4MNR/Y9RCVfZlwPRYfUcWeu2BGqYZwrStHE2m8wfRTfvhpwDSsgMzpvTphIzFt2OrAXD0dvC5YhgMrlcdIxTmi4WtedaA7FRzVlMphRKZchLTT8n9m3cjaCzwZkbbMKL8rQp5MfuHCHQ1Ynm10Ig3PpRoQ9suxpsXYSjhUPFCO8ncKFVDQHrGHZMovNinYqJTayh9DUveWLER4CntcICgZnQvL9w9k64jAflGFHzdd4krQDiQxIJRGX7oCGGNgLVDb9QoXv6Mfcn5pugWmMqfBFwtrnvX9qpzT72Xf3ZCUfNOIkbCZnBykQu2BbLfUkHDbWHBrfK+McyrdMR9Xo6tDjggJC/MfOpb6Em/mdPQE6kQAzpY6E3AQLA01EjJ6DjWxpgqyww== 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:(13230022)(4636009)(39860400002)(366004)(346002)(136003)(396003)(376002)(451199015)(66899015)(478600001)(2906002)(186003)(38100700002)(966005)(71200400001)(6486002)(316002)(786003)(64756008)(66446008)(66476007)(76116006)(38070700005)(66946007)(8676002)(122000001)(41300700001)(66556008)(6916009)(36756003)(7116003)(6506007)(6512007)(8936002)(5660300002)(4744005)(2616005)(33656002)(86362001)(83380400001)(3480700007)(45980500001);DIR:OUT;SFP:1101; x-ms-exchange-antispam-messagedata-chunkcount: 1 x-ms-exchange-antispam-messagedata-0: =?us-ascii?Q?dBtvGNeK5O4PUdDIkkTvXKu0sdJlmwCulJ3lNWmRTa7VIGjJpbaDkoV58YNN?= =?us-ascii?Q?5u0gRzgQkaCnzFi/9UZjdMr2/QRjqXEhBysAyk7hPEDp+uQExHOxiM0reQwD?= =?us-ascii?Q?6OVBy8Z/NTgcvhvD8zTZV6Iu9RPC5fgw8yWtefC/SzG+63svSY7CCwoy6oDx?= =?us-ascii?Q?+JZZc706q+NjaFeusSYR52cYe2eNTMhNr65Ypj/KE0lmNBgAWCUD7MLvKt2q?= =?us-ascii?Q?5todapHwgN+tIYx5kaVuISq9DfDrmOOAXwK/8YnjpxkUvWIMLk4xOcmm6PI2?= =?us-ascii?Q?Zm8cOH9zV25te97TOgmg3U0oOtAngc/oXhvjfQ5kBdVnNzXnfhR3UXXTKKH7?= =?us-ascii?Q?S8VWBf5aI/ICipMVxAet0rZpNIiObkKM4Axl2IuOR4YxilTe1sFzk+tUBYID?= =?us-ascii?Q?LIMEc+eHkyRpAk76oUooya1SSe6pjb2UZHHxIuTjAzWJSIuWbfAO9FwHNW5h?= =?us-ascii?Q?F9RZKLeb6rLGWfF6fiL86ax2eHLa3CkmSrJfvrtmPljvbGTdEXoCE3kXH8R/?= =?us-ascii?Q?DtzUW2ECIQ5gtm75E1hm4FvrYt8agIC/Xra6i7vWHJefmSUJoqqJD1fw2hoa?= =?us-ascii?Q?SCLKraH2DVXZLwllBb2mo7/x5vJVe1N40y6E+O68EXCCMmOP1gLbv7CITfKB?= =?us-ascii?Q?EIbccM6YAlZgIdQAnxMDWRNSdUF0HGmMtmnyUTLDQLVWDWNO49YXhYdvw39l?= =?us-ascii?Q?uYZlcOp3hMYtAKqFlapngQUi57ptdPVTw0MklNhjP4QT2LkmhnQHLNIspfqr?= =?us-ascii?Q?k/3mCH8Nv/IP7/2GnBnyw7TBmpnE0kEQh6oPczKhdNhici5fs2lJgyFfpJ/F?= =?us-ascii?Q?U6kH7cR4/bxjh2qxKOtU1CbO82Voqu8YBkW148qw4Vgx9HaUL0vnlSG4JX/0?= =?us-ascii?Q?J1udoIOlW/zInDWW5iZYOfsx3nzgqm0bKbXV8uAn7YQl5iRev0nijkfIeS6l?= =?us-ascii?Q?vyB8weG3z9mzBbtBldtOU4loRyhWXEzojNJ8UE6ioZuh9HM88ifbxqsO7DSJ?= =?us-ascii?Q?EAkdItPGjO7gKuGJ1hhn8OZFlQchm7Ik50+qJ+WpLyVsy6XT6dbBwBXLnRvr?= =?us-ascii?Q?77+mZx9htw/uMDu3QKptr64nrtKfwOL91u2YogSESI6C7Mc0ejb4n73DCnSY?= =?us-ascii?Q?PH6nZsqgozyKQ7EOMpK6Kz7SOIb/G/f2MXp3PhxCjk0eUkQ8U67/Y6GbKgyt?= =?us-ascii?Q?+3ZhIPyTARtAxJKVj2Lpp4q7zIzOzdM8c55H4kLMar7xSSTWt3ZFTH0PJiA0?= =?us-ascii?Q?AlDTcIPCFqQEojHNYHxydfb7yOTqDsTAiJWG5QLKxragRZMbP+SywfpkLlGX?= =?us-ascii?Q?tZ12ZRciAwIBiB5y2luNR/tqVHXkIwVmlib0Kt5/W8Xypcr8xV0fc2/O6/K+?= =?us-ascii?Q?lV/6Cwt5kAntcfNsMYEmwzTfNISL5CzLc9KDZu8u5pE+Ug+RQsY49X4uEjQQ?= =?us-ascii?Q?p3GR9WCukMvgT690y65S3/tQb8GKnw9XMyJNc7B1KH+3PfYzUsO3b6za1W0I?= =?us-ascii?Q?JARIYlLH0XGaSlG39V8vTnfZNO3BSw6oRClUOHH90CAGd3kXj9UNrY2aLmPf?= =?us-ascii?Q?SHqNaU64ZlXA/NhZL/3eYN0H7CzWmpwzY67DxDK32E4aeqRuakeVcngMjneP?= =?us-ascii?Q?hRClOe79bwv0Nt0/PtpkAIuSMb3mFEzRcJtGNUXv101lJy8owko1OAJD3IfQ?= =?us-ascii?Q?rogC/8B46ezqYVYbh8ILhUGYrrE=3D?= Content-Type: text/plain; charset="UTF-8" Content-ID: <6A4E374F0844DD47A76836878EB32F28@GBRP265.PROD.OUTLOOK.COM> Content-Transfer-Encoding: quoted-printable 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: bd406179-59c3-457e-2d0c-08dab597f9da X-MS-Exchange-CrossTenant-originalarrivaltime: 24 Oct 2022 08:15:56.2392 (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: Rge+1bktwskbGV2tHs7BuJaTVIROeJJwPErZqt6CpSwqo1ApGILVkXvtDfNZzi9dwD8a6B9IGVhYag31HInhIWwXzjUQct4kJ0lU7s9W7wE= X-MS-Exchange-Transport-CrossTenantHeadersStamped: LO4P265MB5913 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 40.107.10.41 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: , Dear all, Applications are open for the next round of Heilbronn Fellowships. The adve= rt is here: =20 https://www.mathjobs.org/jobs/fellowship/21126 We are hoping to appoint around four new Fellows at the University of Manch= ester. The deadline is 13th November and interviews will be in January. The= default start date is October 2023, but that is open for negotiation. Ther= e are some security requirements and nationality and residence restrictions= , more details of which can also be found in the advert. If anyone is interested in applying to list the University of Manchester as= the preferred host, they are welcome to contact me. With best wishes, Nicola Dr Nicola Gambino Reader in Pure Mathematics Department of Mathematics, University of Manchester Web: https://personalpages.manchester.ac.uk/staff/Nicola.Gambino/ --=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/486A1660-B57B-4558-A5DB-1DC8918F6467%40manchester.ac.uk.