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 19276 invoked from network); 8 Jan 2021 22:54:14 -0000 Received: from mail-oi1-x23e.google.com (2607:f8b0:4864:20::23e) by inbox.vuxu.org with ESMTPUTF8; 8 Jan 2021 22:54:14 -0000 Received: by mail-oi1-x23e.google.com with SMTP id j25sf7734014oie.12 for ; Fri, 08 Jan 2021 14:54:14 -0800 (PST) ARC-Seal: i=3; a=rsa-sha256; t=1610146451; cv=pass; d=google.com; s=arc-20160816; b=V9P5ShV6OTz9FVjqpca3ZKcfRfOBPA3JkNEP3obesYv7rB+S+lZC/EWB7QNE0gw8Ik C/gE8x3or3v29d9gdAJ8xwub+KUplvWjakB1jgP2RySY81xUyEwQvm/T4USr76Pb0XnK SVziuho97LTbY2b/GW5kzANPnhQK3RRFgp9qhPQnz7h6bSvRffjV1139gVJXCzzjaoEK 0J+d/FEYgiOOT4Q0+PoYGodgBCt1V7xOelvgfeISshELSapwoImjRsgXHSZtJQWSJ3/k y6+ktlpD45rHats8WVpZYFgc1OrPRyT+q+5ffCnRLdBSlIOiT9hxn438gP/V0erfb0V5 3INA== ARC-Message-Signature: i=3; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-unsubscribe:list-archive:list-help:list-post:list-id :mailing-list:precedence:mime-version:content-language :accept-language:in-reply-to:references:message-id:date:thread-index :thread-topic:subject:to:from:sender:dkim-signature; bh=Fe2u1qHhQoj0LKncdsMNmWQnAD7fCXIs+jPn7DdYCTE=; b=HyjmaOilEdzo3KE4dOvtIbNrCaoBFcStlnsnKhRxfej7xmEUK2GytaXaz2Z41v6Uh7 zJMg2mrcU+trXawCoBVXlI9ZLJtokTMb1CpOIbepSG/GFySIdpzdXxwLrqLeOzFleGXA 0saaoHigqBXift6mg9tK3fX7uXu3qPWKwEFAYAwDefRwzrotGKi1cJgzgAGvYdSVXkDB v6ON3vAyouIvXjD4qy5f1uhj+PHQ7/H+BmmQMJXLcnev0SGBdk153nWehfyFMe2WIU6K k7/Yl8gQqyKKlQHThDVpONuI49JXNm30F8vYJNsk0fiUhyi2gDhNZeLKeQwfrfzbxNkO h5cg== ARC-Authentication-Results: i=3; gmr-mx.google.com; dkim=pass header.i=@UQAM.onmicrosoft.com header.s=selector2-UQAM-onmicrosoft-com header.b=n6l36kS1; arc=pass (i=1 spf=pass spfdomain=uqam.ca dkim=pass dkdomain=uqam.ca dmarc=pass fromdomain=uqam.ca); spf=pass (google.com: domain of joyal.andre@uqam.ca designates 40.107.67.54 as permitted sender) smtp.mailfrom=joyal.andre@uqam.ca DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20161025; h=sender:from:to:subject:thread-topic:thread-index:date:message-id :references:in-reply-to:accept-language:content-language :mime-version:x-original-sender:x-original-authentication-results :precedence:mailing-list:list-id:list-post:list-help:list-archive :list-unsubscribe; bh=Fe2u1qHhQoj0LKncdsMNmWQnAD7fCXIs+jPn7DdYCTE=; b=jkP4y7+yId2iCoZEPWwMTSqcx0QnyAs5gHkgz+0V6GoUL6vD9pv+pPmr76AXCvZtUP M+MLLI89TwIq3Q9Q46P2F99E6riG5NweFMXQR4YqzTxPGk3amg5TRVf9u3hW/1HKDYje +qCvV4Ep9BBJO5xRjBwLCjF5IwD7OcTjhbtYcgnebjlDUhwTZGymHQK2v3EL620Qi5tH kZ+syKjz+tPvkbi0kEaSQN95eJSkB5tWtOHZCnz1vj0clq2IY6U9mjXA1DppmmZppeww ZSErY3WWdO/j7L7JjWwQ//oayIJP7YNyciRBPVMILTn6UKhdpRMM7h2d8Kd97dVKnK/s 11Fw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=sender:x-gm-message-state:from:to:subject:thread-topic:thread-index :date:message-id:references:in-reply-to:accept-language :content-language:mime-version:x-original-sender :x-original-authentication-results:precedence:mailing-list:list-id :x-spam-checked-in-group:list-post:list-help:list-archive :list-unsubscribe; bh=Fe2u1qHhQoj0LKncdsMNmWQnAD7fCXIs+jPn7DdYCTE=; b=tE+cPgwWdR9zEmKYXy4eC3p0IzVKZgOB9vRrzS1MilRsZjPjydwWzBEUw/5j2zXufj 4g4woJ0pGeQVZa2JuN/BvouBAPo7mzabhgyg9xn/zwX6+Zfrk5LnQ0cuItjgGXCrWizl rgYr+yGXObj7qdF5uSA4xJgqKUAN+8vmeXFEjrFBa5VBmWHF60RcjfRBk/JRW1xeK6sa POe6alR9oYKcbhOTI2S24OYmR5VJSFLlNjkATe4R1hUjnu2u8TWLIyJv0Etdowe52cy4 9FVPU/Kc8ufl4D8OI8y89jMr1q4+aFPe/8VqenwXAlobW/GN8gp5J5NgDmVRiGZTwIRF w4uA== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AOAM5311x9gKxQhizlx/tw0XmvHEhCWOlLsYJ7FWvhhknVSWrUkMmDUj XzmgsgMXAkUpSHnUC6WlkUA= X-Google-Smtp-Source: ABdhPJyjM/vVtBn+Bm8sHf19uDYa+hSHYYye9xOu0AtilN2IYIBHyUXFhl0lBXIbsjsGswwsTy0lLQ== X-Received: by 2002:a9d:1d41:: with SMTP id m59mr4118134otm.100.1610146451111; Fri, 08 Jan 2021 14:54:11 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a9d:331:: with SMTP id 46ls3358515otv.7.gmail; Fri, 08 Jan 2021 14:54:10 -0800 (PST) X-Received: by 2002:a9d:4715:: with SMTP id a21mr4230412otf.220.1610146450591; Fri, 08 Jan 2021 14:54:10 -0800 (PST) ARC-Seal: i=2; a=rsa-sha256; t=1610146450; cv=pass; d=google.com; s=arc-20160816; b=H1Pkm9M5k96ovfsoVxrGV9m/Mp3NzCjNVXCQd1LRMpH5L9nn7VzcbOBNR1b4fTTlyj f6kh5qwheRFX8o08RNAblQ9WPXBt875MEKwgZopRi6I2pkOxlhjWQGyS6Zkk62IbeCxS /BBmoC3q6TDa+nvs/ii5ugQKIHQ6aezxFJmyl41HEC9bkR4kTjSOd7Aa9218dQXX38Xo zL5JVBD9+xle0Bsz9v65YVvob56t2VgReyP828khw58zCZeOHW1h6giTX+3M03A3jvh1 dFbyDsSRsDmG/tvC1m66GuwT0+kyvuvksk9J6ronbXFc8ejcw3X6a2AXz0xG+LajAlih 63LA== ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=mime-version:content-language:accept-language:in-reply-to :references:message-id:date:thread-index:thread-topic:subject:to :from:dkim-signature; bh=dHkZsddt4NbviqQ/ZpUE7MmMLx8wGkevrYJpx/xf60E=; b=oK8d1/vzjlQPasjjMXh0Xok7zxI97q5dMl6JjT/rcGcOQCXTXJkd+RM4/HO0pmK2SU 2t9ebrkAoy182EStLyRgrdwbT6M68sTGb4UrVeq9CiGTV8qgkNOwY7H3YsDi50b+bZDu WWnGDK+CSsl5upV6HLyafsHq7sL3cyHGUyUGADduv0aW2z56+sk/DlM/Qf2Dc1l9k5jl dCEs0LCL3MAGT+xvz2Y0FdXE3huExSe4gB9HdYxsOPmCiPmaZBUrv7KL/tcb026S/Ti/ Tki975w1it6YS5elb27ab80tYpYjFXJewl4ZEnnul4A8GvehuTxtdmBsO35k6qPBXRi1 6DHQ== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@UQAM.onmicrosoft.com header.s=selector2-UQAM-onmicrosoft-com header.b=n6l36kS1; arc=pass (i=1 spf=pass spfdomain=uqam.ca dkim=pass dkdomain=uqam.ca dmarc=pass fromdomain=uqam.ca); spf=pass (google.com: domain of joyal.andre@uqam.ca designates 40.107.67.54 as permitted sender) smtp.mailfrom=joyal.andre@uqam.ca Received: from CAN01-TO1-obe.outbound.protection.outlook.com (mail-eopbgr670054.outbound.protection.outlook.com. [40.107.67.54]) by gmr-mx.google.com with ESMTPS id u2si1363432otg.1.2021.01.08.14.54.10 for (version=TLS1_2 cipher=ECDHE-ECDSA-AES128-GCM-SHA256 bits=128/128); Fri, 08 Jan 2021 14:54:10 -0800 (PST) Received-SPF: pass (google.com: domain of joyal.andre@uqam.ca designates 40.107.67.54 as permitted sender) client-ip=40.107.67.54; ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=SKnPPGZCmp+RvwGGE/IWCU59FdA9s+e+EU2Fd0FzW/ddX3xB/SGwis8yy0KUArw79zNZjddBzXyYEHKBxcWY0TmENWwsD+R7g1n5OotEd6mEoYZ0aRvzfstb/NIHLf5PsN34PS9A33rbLIa83/bCKI/8gyHs24IE+VTc/BjQ7/nrsDL8PUJ5594TNB4Fta05cr2FfyYxtinWyCRY1vbsx5zivrkzOITBv6ayr/ExwRoXePjPOb2fxUIPCgeAt18QSRvi/dpYUfMk9CdHQzjN6udCDdU9pAfvckYGNwBMgz5kK6VOsjvpXd5HUjYmZDNFr7jhyotV0XmyPjxywLtnEA== 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-SenderADCheck; bh=dHkZsddt4NbviqQ/ZpUE7MmMLx8wGkevrYJpx/xf60E=; b=CddsuOUXOI3ECnQohcjE7Sbdcw2oBvC6kRDuvfXK6C1sT2bQWciMPGxbHpcBfguxMFrnLE/q0q8kfIApgcVvsynX0qVl45vjRo9nmEISsB4O0TnFQeaXxyIu+qE4Dn4zF7JRolfOIeXGhOOk3OplNn9BYRxHdMsNjsFqbnNw1IfqgPWBk6kch1FwKpliUGcFc2jG6JaP1luQLS568LZAMVtgGACxP9paivmg6URi5pue95rjUi3PFUX88ftENpg5du4ONZ3G3NpDebV36cCDzqukpv32AzABLROCiAMsCWNKS0qhvXsdNwGgU7TYnZFZNE3PipQfKiHAbTb9PS7AqQ== ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=uqam.ca; dmarc=pass action=none header.from=uqam.ca; dkim=pass header.d=uqam.ca; arc=none Received: from QB1PR01MB2948.CANPRD01.PROD.OUTLOOK.COM (2603:10b6:c00:38::33) by QB1PR01MB3122.CANPRD01.PROD.OUTLOOK.COM (2603:10b6:c00:33::26) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.3742.6; Fri, 8 Jan 2021 22:54:08 +0000 Received: from QB1PR01MB2948.CANPRD01.PROD.OUTLOOK.COM ([fe80::9957:fe1f:96b7:87df]) by QB1PR01MB2948.CANPRD01.PROD.OUTLOOK.COM ([fe80::9957:fe1f:96b7:87df%7]) with mapi id 15.20.3742.006; Fri, 8 Jan 2021 22:54:08 +0000 From: =?Windows-1252?Q?Joyal=2C_Andr=E9?= To: Nicola Gambino , "homotopytypetheory@googlegroups.com" Subject: [HoTT] Re: Second Postdoctoral Research Fellowship at Leeds Thread-Topic: Second Postdoctoral Research Fellowship at Leeds Thread-Index: AQHW08uZhZToplluVkyVArWXL8t7qqoeQDdBgAA5DpM= Date: Fri, 8 Jan 2021 22:54:08 +0000 Message-ID: References: <0F1A9D33-D435-48C8-B04E-0F17FE2063B4@leeds.ac.uk>, In-Reply-To: Accept-Language: fr-CA, en-US Content-Language: fr-CA X-MS-Has-Attach: X-MS-TNEF-Correlator: x-originating-ip: [64.228.42.21] x-ms-publictraffictype: Email x-ms-office365-filtering-correlation-id: da382527-222d-42ce-b264-08d8b4284eac x-ms-traffictypediagnostic: QB1PR01MB3122: x-microsoft-antispam-prvs: x-ms-oob-tlc-oobclassifiers: OLM:8273; x-ms-exchange-senderadcheck: 1 x-microsoft-antispam: BCL:0; x-microsoft-antispam-message-info: GjaXtxSaBaOdemP1xvB7FbLVt8vkvTifxWWDh3tPG9b2cN12QPjJe41WJmwEkzx7OCAvVOl3f8wxzX9GGdy4AA6Q9v1pkFACpg3RIYxKP1kkbf+XrL6APTJHt71zbXTB47X1B13wQOAHAgw8KXTpx1eokXiTjNk/kIHaiRQ6jl6cnmc7P5rikoKH5EFDxaQkqHvAlFFIT22hCrbXPMD/ivbRM1cc3X8Nyw6fO/S4jL4dpIk5trn0uW0Z+g4Z36j/zFId8/2AwiY+P1J0tMxjq7TefsyckmblqqXaDg+1oaD+PMZofOdYbl/ex2Z0Kerq3Q0hWKtpCuN6z9IIJL1fUcj2Rp24/SGeZyLjuoYyHrCcxhJzjxaWhL2HK660Ad2EUWLRWkUukhhSWI/s5Fr6wW/NlBWPLPb5iXBPCHpZx5OPG7+qjhmFgaL2GWi+9GwxZg1GP3NwOlLTeoijbVp0tA== x-forefront-antispam-report: CIP:255.255.255.255;CTRY:;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:QB1PR01MB2948.CANPRD01.PROD.OUTLOOK.COM;PTR:;CAT:NONE;SFS:(4636009)(366004)(39860400002)(376002)(396003)(136003)(346002)(86362001)(8676002)(52536014)(66946007)(186003)(6506007)(110136005)(166002)(9686003)(26005)(66574015)(83380400001)(786003)(91956017)(5660300002)(2940100002)(55016002)(76116006)(296002)(8936002)(316002)(33656002)(66556008)(64756008)(66476007)(19627405001)(7696005)(966005)(66446008)(45080400002)(71200400001)(478600001)(2906002);DIR:OUT;SFP:1101; x-ms-exchange-antispam-messagedata: =?Windows-1252?Q?1Qfmk6+v9q0lNuXXj/LvqgxiNJPaD/nOT6tefRGmVyP35D95x0ul/0H1?= =?Windows-1252?Q?tvxkYOV8OSs5vBUrlGPqJgNKgz/qa1BaubDyj25mgInHyBhNXrvi/gJK?= =?Windows-1252?Q?r8jOvPdf3tpUR/WwiMK5gwckrMmppQanQB2F5nNG0o+1ppQap6ETSGjI?= =?Windows-1252?Q?opC0/1j/fkh80oylSKyMEIzL/rWzAK4vUXI6IeWUa8HQVRSVipKPnyIK?= =?Windows-1252?Q?38QUZoHWxopfZ1sySEr++cmSOnsyx2gOov/UD2PsDdCzlxeJwjincmGu?= =?Windows-1252?Q?Oj9xq84PmeDKlnUeG7j1t647bkRDQMzmdrGNIH6IcAgAIqMK3LYINETt?= =?Windows-1252?Q?oo161lWqSdFvfbuhAZkOHdOttHVtkplhozEiH+HTTgkbmXVC8ZTeriUt?= =?Windows-1252?Q?o+/uhuROaTJ0OdSDVvMk81kRdJuKXCd1GnhTCLMeDGxa3Bmq/X1WPBYZ?= =?Windows-1252?Q?Bj0g65mD2MF50cn3ykRKYVBeIxPsnZqow6vO/zTZH2UJzGCe5LsWNxZp?= =?Windows-1252?Q?R2HGxJhGWnBT6isKf2cqAmFZ6dfTW5zbUKAEX/zwF+B+KbTt2DJu7tY/?= =?Windows-1252?Q?6q1SDpnKgjeeb9grobhgIm+3fY6OxinjByV8SakdeoUOednTpu2OG4CI?= =?Windows-1252?Q?cOotm1OSyYMiQGjLx1o7sb/B/OnEl7daQwMlh7FSZcAZhGuC3RBMmePo?= =?Windows-1252?Q?cv6zpO6Kt9im1ZyubgLvJTB8h0paNjFSa+6mT5Uq2zMqxCTDs4VGB2Yy?= =?Windows-1252?Q?BWYpLjmz6BgA8dDNKZzTTMwLvNJd8PfJw6NwD972h6IxcRxsakC6vWd3?= =?Windows-1252?Q?aQEOrrYXBjudPjUe+Ng7fLAG2kxTzdiD8rjVaWt+pJba0MC3l4G101wr?= =?Windows-1252?Q?6FvSg1fNPpSn+hW8qUMdm3qDAPMb3+KRS0bY2vlYJcRdOqAwzgH0Sgxs?= =?Windows-1252?Q?lmGucCQtQFBkNC2nfCkDecuXW3PNLz/aXPlwZmi3jiA8zIpuJwfW8j4t?= =?Windows-1252?Q?5XLsvnNbI699c+Ujcs5z0u7/W+w4/dpvxg/UMeO37EKkflF3WF8=3D?= x-ms-exchange-transport-forked: True Content-Type: multipart/alternative; boundary="_000_QB1PR01MB294821E15FA46C4130235BC1FDAE0QB1PR01MB2948CANP_" MIME-Version: 1.0 X-OriginatorOrg: uqam.ca X-MS-Exchange-CrossTenant-AuthAs: Internal X-MS-Exchange-CrossTenant-AuthSource: QB1PR01MB2948.CANPRD01.PROD.OUTLOOK.COM X-MS-Exchange-CrossTenant-Network-Message-Id: da382527-222d-42ce-b264-08d8b4284eac X-MS-Exchange-CrossTenant-originalarrivaltime: 08 Jan 2021 22:54:08.3677 (UTC) X-MS-Exchange-CrossTenant-fromentityheader: Hosted X-MS-Exchange-CrossTenant-id: 12cb4e1a-42da-491c-90e1-7a7a9753506f X-MS-Exchange-CrossTenant-mailboxtype: HOSTED X-MS-Exchange-CrossTenant-userprincipalname: hA+GMlvBu7RJEPWh0eXWXX1+FCGkxf6ujIsjIYhiJzNMaUXc7JxvDLR9cpPc6GV4oZCwyZYtKzEofCMff+bfbQ== X-MS-Exchange-Transport-CrossTenantHeadersStamped: QB1PR01MB3122 X-Original-Sender: joyal.andre@uqam.ca X-Original-Authentication-Results: gmr-mx.google.com; dkim=pass header.i=@UQAM.onmicrosoft.com header.s=selector2-UQAM-onmicrosoft-com header.b=n6l36kS1; arc=pass (i=1 spf=pass spfdomain=uqam.ca dkim=pass dkdomain=uqam.ca dmarc=pass fromdomain=uqam.ca); spf=pass (google.com: domain of joyal.andre@uqam.ca designates 40.107.67.54 as permitted sender) smtp.mailfrom=joyal.andre@uqam.ca 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: , --_000_QB1PR01MB294821E15FA46C4130235BC1FDAE0QB1PR01MB2948CANP_ Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Sorry for the confusion! I was in a hurry, trying to respect the deadline. It is embarassing! I apologise. Andr=C3=A9 ________________________________ De : homotopytypetheory@googlegroups.com de la part de Joyal, Andr=C3=A9 Envoy=C3=A9 : 8 janvier 2021 14:33 =C3=80 : Nicola Gambino ; homotopytypetheory@googleg= roups.com Objet : [HoTT] Re: Second Postdoctoral Research Fellowship at Leeds Dear Nicola, Happy New Years! I hope you are well. I am sending you a reference letter in support of the application of Karol = Szumilo to the Research Fellowship EPSMA1027. Best wishes, Andr=C3=A9 PS: I was very busy with all sort of things in December. I hope we will soon get a chance to discuss online. ________________________________ De : homotopytypetheory@googlegroups.com de la part de Nicola Gambino Envoy=C3=A9 : 16 d=C3=A9cembre 2020 11:50 =C3=80 : homotopytypetheory@googlegroups.com Objet : [HoTT] Second Postdoctoral Research Fellowship at Leeds Dear all, The University of Leeds is advertising another 3-year Postdoctoral Research= Fellowship, to work with me on the project =E2=80=9CSyntax and semantics o= f 2-dimensional type theories=E2=80=9D, funded by the US Air Force Office f= or Scientific Research: https://jobs.leeds.ac.uk/EPSMA1028 Deadline for applications is January 8th, 2021. This is the same date as fo= r the position that was advertised a couple of weeks ago, which is advertis= ed at https://jobs.leeds.ac.uk/EPSMA1027 Please see the Candidate Brief documents in the pages linked above for deta= ils. Two applications are needed if you wish to be considered for both posi= tions. With best regards, Nicola =3D=3D Dr Nicola Gambino Associate Professor in Pure Mathematics and Director of Research and Innova= tion School of Mathematics, University of Leeds Web: http://www1.maths.leeds.ac.uk/~pmtng/ -- 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/0F1A9D33-D435-48C8-B04E-0F17FE2063B4%40leeds.ac.uk. -- 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/QB1PR01MB2948A7E6C03BA9B76BD35560FDAE0%40QB1PR01MB2948.C= ANPRD01.PROD.OUTLOOK.COM. --=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/QB1PR01MB294821E15FA46C4130235BC1FDAE0%40QB1PR01MB2948.C= ANPRD01.PROD.OUTLOOK.COM. --_000_QB1PR01MB294821E15FA46C4130235BC1FDAE0QB1PR01MB2948CANP_ Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Sorry for the confusion!
I was in a hurry, trying to respect the deadline.
It is embarassing!
I apologise.

Andr=C3=A9





De : homotopytypetheory@goo= glegroups.com <homotopytypetheory@googlegroups.com> de la part de Joy= al, Andr=C3=A9 <joyal.andre@uqam.ca>
Envoy=C3=A9 : 8 janvier 2021 14:33
=C3=80 : Nicola Gambino <N.Gambino@leeds.ac.uk>; homotopytypet= heory@googlegroups.com <homotopytypetheory@googlegroups.com>
Objet : [HoTT] Re: Second Postdoctoral Research Fellowship at Leeds<= /font>
 
Dear Nicola,

Happy New Years!
I hope you are well.

I am sending you a reference letter in support of the application of Karol = Szumilo
to the Research Fellowship EPSMA1027.

Best wishes,
Andr=C3=A9

PS: I was very busy with all sort of things in December.
I hope we will soon get a chance to discuss online.
De : homotopytypetheory@g= ooglegroups.com <homotopytypetheory@googlegroups.com> de la part de N= icola Gambino <N.Gambino@leeds.ac.uk>
Envoy=C3=A9 : 16 d=C3=A9cembre 2020 11:50
=C3=80 : homotopytypetheory@googlegroups.com <homotopytypetheory@= googlegroups.com>
Objet : [HoTT] Second Postdoctoral Research Fellowship at Leeds
 
Dear all,

The University of Leeds is advertising another 3-year Postd= octoral Research Fellowship, to work with me on the project =E2=80=9CSyntax=  and semantics of 2-dimensional type theories=E2=80=9D, funded by the = US Air Force Office for Scientific Research: 

https://jobs.leed= s.ac.uk/EPSMA1028

Deadline for applications is January 8th, 2021. This is the same date as fo= r the position that was advertised a couple of weeks ago, which is advertis= ed at

h= ttps://jobs.leeds.ac.uk/EPSMA1027

Please see the Candidate Brief documents in the pages linke= d above for details. Two applications are needed if you wish to be con= sidered for both positions. 

With best regards,
Nicola

=3D=3D
Dr Nicola Gambino
Associate Professor in Pure Mathematics and Director of Research and Innova= tion
School of Mathematics, University of Leeds
Web: http= ://www1.maths.leeds.ac.uk/~pmtng/

--
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 Homotopy= TypeTheory+unsubscribe@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/HomotopyTypeTheory/0F1A9D33-D435-48C8-B04= E-0F17FE2063B4%40leeds.ac.uk.

--
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 Homotopy= TypeTheory+unsubscribe@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/HomotopyTypeTheory/QB1PR01MB2948A7E6C03BA= 9B76BD35560FDAE0%40QB1PR01MB2948.CANPRD01.PROD.OUTLOOK.COM.

--
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.com/d/msgid/HomotopyTypeTheory/QB1PR01MB294821E15FA4= 6C4130235BC1FDAE0%40QB1PR01MB2948.CANPRD01.PROD.OUTLOOK.COM.
--_000_QB1PR01MB294821E15FA46C4130235BC1FDAE0QB1PR01MB2948CANP_--