From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: homotopytypetheory+bncBD2JXUPD7YDBBG4UX3PAKGQEO363XGY@googlegroups.com X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on inbox.vuxu.org X-Spam-Level: X-Spam-Status: No, score=-0.8 required=5.0 tests=DKIMWL_WL_MED,DKIM_SIGNED, DKIM_VALID,DKIM_VALID_EF,HEADER_FROM_DIFFERENT_DOMAINS,HTML_MESSAGE, MAILING_LIST_MULTI,RCVD_IN_DNSWL_NONE autolearn=ham autolearn_force=no version=3.4.2 Received: from mail-lj1-x23c.google.com (mail-lj1-x23c.google.com [IPv6:2a00:1450:4864:20::23c]) by inbox.vuxu.org (OpenSMTPD) with ESMTP id 8df77d54 for ; Tue, 23 Oct 2018 20:52:45 +0000 (UTC) Received: by mail-lj1-x23c.google.com with SMTP id y22-v6sf245191ljy.0 for ; Tue, 23 Oct 2018 13:52:44 -0700 (PDT) ARC-Seal: i=2; a=rsa-sha256; t=1540327963; cv=pass; d=google.com; s=arc-20160816; b=CPzBEQzpbgvtx6cE2qnTaFyRHLjIOrDF5O6XjZzfzU/EQyR/Xw4MqGPAY2CHu8jQZQ MCjU3VT0lw5rmHPIp9LPXnufih4wS6yHazNgAqtJfafAFk5F7+Il8aFoJ1gV1WefA3jU WAPtEkO1owO44KiwQBo5vJl2U28fqzl3Gf31bSVUELLyT87mmK3rOJJ2CVMj/cE1OvAV /gohIjG6XDFGS3/cyaQTVKK3Kht0t5tV7UByBmO1ZqNROOFbD8kkDFO/1v8x/T8Xiveh rZgNlN0Q7UdDdIXeCFKO23R6mU0wn1XCEOQHRZDa4SOCQu+HUssmDUfxamlRga2yep2I 1bTw== ARC-Message-Signature: i=2; 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:spamdiagnosticmetadata :spamdiagnosticoutput:content-language:accept-language:message-id :date:thread-index:thread-topic:subject:to:from:sender :dkim-signature; bh=g4ZGDTGQJ74k8sXFF9Zeyano2WnqyN3r2CRjfYxumTU=; b=gpnBofnQEzfFDWDHYY+stCEZNFWiqVld7IcrTRi12yyar16dtlJMIHIw7x2lUY5lh5 HpXlx59v/c1WAiNdWt/o+IqogoMaRPJENm6g2IXgb38lsynhwtfwBP89RK3fJgQlBIx8 stHoAImkIyaJ1SUV7pxRfCwodxwKf+3Bs+bt9+cB8fiLlMuUV+BlIzd4GeHHOqtZZkru v3YU7f6VfsAIjtbwPum0LE06voKPsRKve9vdgoJnatFQ9FWtlMbkaDrhIJVbeEIk1uxk MZntYOR3GztK65NPR30bUX8E78rDAyyff5CWHOfWoqi5YhwGXz1Ig4c/RESecdD35XpJ Qrmw== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@leeds365.onmicrosoft.com header.s=selector1-leeds-ac-uk header.b=VORkB5Ng; spf=pass (google.com: domain of n.gambino@leeds.ac.uk designates 129.11.77.151 as permitted sender) smtp.mailfrom=N.Gambino@leeds.ac.uk; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=leeds.ac.uk 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 :accept-language:content-language:spamdiagnosticoutput :spamdiagnosticmetadata:mime-version:x-original-sender :x-original-authentication-results:precedence:mailing-list:list-id :list-post:list-help:list-archive:list-unsubscribe; bh=g4ZGDTGQJ74k8sXFF9Zeyano2WnqyN3r2CRjfYxumTU=; b=MSG89Jb9FcGPDFw4zMUrQhQ1fUTRxm4APLTiU6XOZ/USSMep8n2pdMWOSeOoAbaG6x 2VL5M7AjLrvSDC98oxRqBhcAlWP975W4Ri4jVaA8XLMbL6kepF5DZaTbJeOKpO36DDpj 0/AyXkSXS1pJXbcS9ZBoyYPYJTElkHLtvcmhgbciRRDegbhfiwssuulJHFWzoz7t5eXX hQ9hCAT9TXORXRNB9/+gONdLwBCJdBvHfaRlp0SeRHTAygGu1HF4GPYR60mxbb0aa7gX wxVuX99OMjoTHLcNYKYGP2YTWYIZE3sSWDRdTFeW3zYv7lwsV/LxKOa8VKe7LGBpV7No ug2A== 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:accept-language:content-language :spamdiagnosticoutput:spamdiagnosticmetadata: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=g4ZGDTGQJ74k8sXFF9Zeyano2WnqyN3r2CRjfYxumTU=; b=iOU4UJdY7EShPmZVejAMexJ4sSLPbvTMQ1E4dSFfwEmo6SF9TX/en3onnbccbY9JbR PsXcCFtvjSct6CocjBUhvqCx7ERD6xIRKHPwDl/31ZfyR1b//XQzaZ/sDWv82IlNhbOM OP1ojvj6DvzVjwHsh4m0xD0WwVmCZvGEBTgpr9K0MZiXDnL2hvLDAVJRccJnL0kq2PO+ LK/8BCxnVkHpFF1RNJtFiRAvPPBgGqFQBzOkqZQchX3HK5NWRlwDI+yewy+J82lP6PTd IrnGGPTJKPwTvuTgQDz+loDVdnxDn8DUz3YvCuQOVRTVD5q+tnWw7MSNkuhZnEYMvpvB Xw3A== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: ABuFfoiNxKvnTXOwtppSd19r7OaHbK3iOlo8T42eeOBEG5Hf/kBRlr27 ArFiJks8jDc+2IkIu4OQPg0= X-Google-Smtp-Source: ACcGV60/24gEHmM543/HYbBMQ/5WeAlZLEM8yJz32LnSAzhr7NXRvsaP22N7w7HHFJs+M+bFihXvMA== X-Received: by 2002:ac2:41c8:: with SMTP id d8-v6mr119515lfi.3.1540327963822; Tue, 23 Oct 2018 13:52:43 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a2e:9e96:: with SMTP id f22-v6ls324438ljk.0.gmail; Tue, 23 Oct 2018 13:52:43 -0700 (PDT) X-Received: by 2002:a2e:9ed2:: with SMTP id h18-v6mr1924755ljk.4.1540327963282; Tue, 23 Oct 2018 13:52:43 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1540327963; cv=none; d=google.com; s=arc-20160816; b=U2D5yKc0ySri80CUkhXVtQePcqLkVYpsWqxjzaeqxoAKuNPUc6372DQvQ7oemSdpUH +sgDPwNqUa27Ff79APqoiLuoiR0uZQn3UpjwDrPZQ7GfbMKSkGyDb33PBKChicsghHIO za2zsIvNdMhNW2fIyc0cRa5L5eNtjeePN0Ypd/WMZQFqD7VmPdG/YyN1AhGpUxD4qbas ldbd5+h1kHZts9OAyg0Q+WHgf2Hu6U9ztYKdi7GL5oTYW9rGMKqiB8jUTRHLjMCxEUnr 566S4yOrDMmrA4bwfuldT/rXdIoWFPNyJS6MY1LbzjUd5dJsVbwrMVcrU+0YixV0scDn jVSQ== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=mime-version:spamdiagnosticmetadata:spamdiagnosticoutput :content-language:accept-language:message-id:date:thread-index :thread-topic:subject:to:from:dkim-signature; bh=y0otfjblN2FylSNGek/Inf9/1ax4NyQKKMWPp7tNKFw=; b=dyKKqMSv4gkqE5MuGkS1iGvVZjkboP0uR+LvnWBwfb0WT5/IVESZcRZPrxP2w8fThG OMZtWO1TC8/oGgjJhXcCymQE7P11ZcOSdPca20rJeRlXVbgXKRyZVd6Gdm5DEnlhB9Su rYGcqXVywGZdDUY2lrYE4LHUHZdBsMKK0OH7wgcKP5vZM5lfjZniqd+vhs4327n74JAt VW0LV44Y9nQllchXhCj5WlhWRRLSERpOnMClIPY6s8sehRbrUXoO04PQnTj5jHiCS6TV II4hTrTfFJoHIBXWsD0KCJmYQpViOVk6RKK95z1dpaFkrJBHkGbk8gIjwWSo0oAEqCSn Tklg== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@leeds365.onmicrosoft.com header.s=selector1-leeds-ac-uk header.b=VORkB5Ng; spf=pass (google.com: domain of n.gambino@leeds.ac.uk designates 129.11.77.151 as permitted sender) smtp.mailfrom=N.Gambino@leeds.ac.uk; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=leeds.ac.uk Received: from mhost02h.leeds.ac.uk (mhost02h.leeds.ac.uk. [129.11.77.151]) by gmr-mx.google.com with ESMTPS id w13-v6si88846lfe.3.2018.10.23.13.52.43 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Tue, 23 Oct 2018 13:52:43 -0700 (PDT) Received-SPF: pass (google.com: domain of n.gambino@leeds.ac.uk designates 129.11.77.151 as permitted sender) client-ip=129.11.77.151; Received: from APOLLO2.ds.leeds.ac.uk (apollo2.leeds.ac.uk [129.11.5.5]) by mhost02h.leeds.ac.uk (8.14.4/8.14.4) with ESMTP id w9NKqeHp016710 (version=TLSv1/SSLv3 cipher=AES256-SHA bits=256 verify=NOT) for ; Tue, 23 Oct 2018 21:52:41 +0100 Received: from APOLLO8.ds.leeds.ac.uk (129.11.6.119) by APOLLO2.ds.leeds.ac.uk (129.11.5.5) with Microsoft SMTP Server (TLS) id 8.3.245.1; Tue, 23 Oct 2018 21:52:40 +0100 Received: from EUR02-VE1-obe.outbound.protection.outlook.com (213.199.154.54) by outlook.leeds.ac.uk (129.11.6.119) with Microsoft SMTP Server (TLS) id 14.3.195.1; Tue, 23 Oct 2018 21:52:40 +0100 Received: from DB7PR03MB3641.eurprd03.prod.outlook.com (52.134.98.154) by DB7PR03MB4475.eurprd03.prod.outlook.com (20.176.234.95) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.1250.30; Tue, 23 Oct 2018 20:52:39 +0000 Received: from DB7PR03MB3641.eurprd03.prod.outlook.com ([fe80::b461:68ba:1cb0:7b84]) by DB7PR03MB3641.eurprd03.prod.outlook.com ([fe80::b461:68ba:1cb0:7b84%4]) with mapi id 15.20.1273.019; Tue, 23 Oct 2018 20:52:39 +0000 From: Nicola Gambino To: Homotopy Type Theory Subject: [HoTT] Summer School on Higher Topos Theory and Univalent Foundations Thread-Topic: Summer School on Higher Topos Theory and Univalent Foundations Thread-Index: AQHUaxJV3oLEFXehxkCb9yvLW3Lx2A== Date: Tue, 23 Oct 2018 20:52:39 +0000 Message-ID: <864E3CE9-3344-4DBD-8F1D-084BA93484A2@leeds.ac.uk> Accept-Language: en-GB, en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-mailer: Apple Mail (2.3445.9.1) x-originating-ip: [95.150.149.188] x-ms-publictraffictype: Email x-microsoft-exchange-diagnostics: 1;DB7PR03MB4475;6:ect+YBTJvmuXyu59jIlQVeHvaptIaypfKoNjLMpju7ikGP9aXwkdEA3lAO+4Zmz4Liv/5mzH14mx/86jcJOsJTCK6DKLdPSr9cXBKurG/H0KmpYnVnmsP3qSs84RhrA3JLnXGODYsleJv6UmSGDoSVWcbe6YBYUJX8WVrQ2XSuz85OgLAQ2LLnwRiBHzl3h+JnuKYPBX4iDwHENDA+r4TFWwqKZ7YL7BM7JTEEmfnQEL4oDKmPe/DZUAPmzBSABjfmebYCTdtA97BMwbGhVc9xzFb0LdXIthX6SgsniFIVM0r/ODYzk3cAQQag47FHW9HeZSKpNEDwGKQv/DNSQAiM+SnbZnZtTgx81EX26ekLwwyeXziwp3cvwqdjS7zAO7BwDqc0x6TuODhX/+DvCIHGv5tl5P8B39qV836KO5ajpbqCyAYMj8hZcpwpvmDus3YYfx93M47ex9tCp3IGzR3Q==;5:9QyN2rTIxBXSPCSJPSgaG5iqdr/+AZdoMkTDjM1CqHJy6rbmhdmHzIYWiiYYRvCVxkujk1rOHB6O1DuEHhsWDsmbjpJidB8J9HTacUTT4sa+a2V8f4vEhXsuhMc5l+DnJAZNlgz74XnHOyfASP/C735C7LtMXzI5EEDFV2j6pYM=;7:limcikS2NcO2Y14VH8DVCVNLcd/lnPxsBKcN4Z2t8qFkClDTLCxZ6wlU5EnECYGaGRafhFslBVunxlXcNiTsvuPF3W1urwOzpSq1kL5Cbffaih+TvYge83TxlPDu4dq+dnyla2bEEDfQIeTx67fAP6TBOUvOqeBNX7gZAVywgiBKsx/2yZEBXmtY74VewQol6tFL+N4APCp/AFLO57+6ZmScW3BlDKXMZ15LpoMq/QXkfUG6jl567v148BpcV0SY x-ms-exchange-antispam-srfa-diagnostics: SOS; x-ms-office365-filtering-correlation-id: 3eabf79d-3c02-47db-7b01-08d639297836 x-microsoft-antispam: BCL:0;PCL:0;RULEID:(7020095)(4652040)(8989299)(5600074)(711020)(4534185)(4627221)(201703031133081)(201702281549075)(8990200)(2017052603328)(7153060)(7193020);SRVR:DB7PR03MB4475; x-ms-traffictypediagnostic: DB7PR03MB4475: x-microsoft-antispam-prvs: x-exchange-antispam-report-test: UriScan:(232050936154180); x-ms-exchange-senderadcheck: 1 x-exchange-antispam-report-cfa-test: BCL:0;PCL:0;RULEID:(6040522)(2401047)(8121501046)(5005006)(3002001)(3231355)(944501410)(4982022)(52105095)(10201501046)(93006095)(93001095)(148016)(149066)(150057)(6041310)(20161123560045)(20161123564045)(20161123562045)(20161123558120)(201703131423095)(201702281529075)(201702281528075)(20161123555045)(201703061421075)(201703061406153)(201708071742011)(7699051)(76991095);SRVR:DB7PR03MB4475;BCL:0;PCL:0;RULEID:;SRVR:DB7PR03MB4475; x-forefront-prvs: 0834BAF534 x-forefront-antispam-report: SFV:NSPM;SFS:(10009020)(346002)(376002)(396003)(136003)(366004)(39860400002)(199004)(189003)(55674003)(966005)(81156014)(478600001)(50226002)(99286004)(14454004)(72206003)(26005)(105586002)(6916009)(8676002)(57306001)(83716004)(71200400001)(81166006)(71190400001)(6116002)(102836004)(316002)(8936002)(2900100001)(68736007)(25786009)(186003)(86362001)(82746002)(66066001)(476003)(2906002)(33656002)(486006)(3846002)(6436002)(5250100002)(606006)(786003)(97736004)(5660300001)(6306002)(54896002)(6506007)(106356001)(236005)(6512007)(6486002)(74482002)(53936002)(2616005)(256004)(36756003)(7736002)(13710500001);DIR:OUT;SFP:1101;SCL:1;SRVR:DB7PR03MB4475;H:DB7PR03MB3641.eurprd03.prod.outlook.com;FPR:;SPF:None;LANG:en;PTR:InfoNoRecords;A:1;MX:1; received-spf: None (protection.outlook.com: leeds.ac.uk does not designate permitted sender hosts) x-microsoft-antispam-message-info: iUm2PWjBC/3FmiJOIUtC42IGRE9aOGKPBxFK/9ebFbNq8qmSUV4H8bZ6zbL2YYgqfRg/bgvZxbYfwIOrZ5V44iwQCNrX0rs1abATVNzZPP4C2rzK6IG9qpixPQaqWUKfjXlKLtbXxQOIXBpGTlnxyzaHBinzF33QWouOdJQKIVYd9lmsYDkfzUqL01K+Cny3UQ4iDfn8czdyCL7YWdbuRhpxAlAxzOlZc+JZl7boRNmJ/IdumBNqJnDQTX/pKVwAKn3z4ZxCCQQO1+1L8i/SPYaPBP+OoQtx/hAODriBbZnGJQTnqqczYDMFlQvq7YN8DEAmXo/nI1TVJoGpEH1RSYSOAe3c+HGzONCV5XRpsac= spamdiagnosticoutput: 1:99 spamdiagnosticmetadata: NSPM Content-Type: multipart/alternative; boundary="_000_864E3CE933444DBD8F1D084BA93484A2leedsacuk_" MIME-Version: 1.0 X-MS-Exchange-CrossTenant-Network-Message-Id: 3eabf79d-3c02-47db-7b01-08d639297836 X-MS-Exchange-CrossTenant-originalarrivaltime: 23 Oct 2018 20:52:39.1831 (UTC) X-MS-Exchange-CrossTenant-fromentityheader: Hosted X-MS-Exchange-CrossTenant-id: bdeaeda8-c81d-45ce-863e-5232a535b7cb X-MS-Exchange-Transport-CrossTenantHeadersStamped: DB7PR03MB4475 X-OriginatorOrg: leeds.ac.uk X-UOL-RateLimit: userRateLimit[a:n.gambino@leeds.ac.uk,c:0.5440466213271948,l:500.0] X-Original-Sender: n.gambino@leeds.ac.uk X-Original-Authentication-Results: gmr-mx.google.com; dkim=pass header.i=@leeds365.onmicrosoft.com header.s=selector1-leeds-ac-uk header.b=VORkB5Ng; spf=pass (google.com: domain of n.gambino@leeds.ac.uk designates 129.11.77.151 as permitted sender) smtp.mailfrom=N.Gambino@leeds.ac.uk; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=leeds.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: , --_000_864E3CE933444DBD8F1D084BA93484A2leedsacuk_ Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable *** Summer School on Higher Topos Theory and Univalent Foundations *** University of Leeds, UK *** Monday 24th June to Friday 28th June, 2019 Dear friends and colleagues, I am writing to let you know that a summer school on Higher Topos Theory an= d Univalent Foundations will take place at the University of Leeds (UK) fro= m Monday 24th June to Friday 28th June, 2019. The goal of the school is to help PhD students and young researchers to obt= ain entry points into the areas of Higher Topos Theory and Univalent Founda= tions and, perhaps most importantly, learn about connections between them. = This would help future developments in both subjects, e.g. in the developme= nt of elementary higher topos theory. The school will consist of the following activities. Mini-courses: - Peter LeFanu Lumsdaine (Stockholm University), Univalent Foundations - Charles Rezk (University of Illinois at Urbana-Champaign), Higher topos t= heory Invited lectures: - Benedikt Ahrens (University of Birmingham) - Andr=C3=A9 Joyal (Universit=C3=A9 du Qu=C3=A9bec =C3=A0 Montr=C3=A9al) - Emily Riehl (Johns Hopkins University) Tutorials: - Paige North (Ohio State University) - Nima Rasekh (Max Planck Institute for Mathematics) - Karol Szumilo (University of Leeds) The website of the summer school (currently under construction) can be foun= d at: https://conferences.leeds.ac.uk/httuf/ Information about registration and other practical matters will be availabl= e in due course. In the meantime, please do not hesitate to contact us if y= ou have any queries. With best regards, The organizers (Nicola Gambino, Nima Rasekh, Karol Szumilo) Dr Nicola Gambino School of Mathematics, University of Leeds Web: http://www1.maths.leeds.ac.uk/~pmtng/ --=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. For more options, visit https://groups.google.com/d/optout. --_000_864E3CE933444DBD8F1D084BA93484A2leedsacuk_ Content-Type: text/html; charset="UTF-8" Content-ID: <777B9536B7149C42B62FCB9AC51913A2@eurprd03.prod.outlook.com> Content-Transfer-Encoding: quoted-printable
*** Summer School on Higher Topos Theory and Univalent Foun= dations
*** University of Leeds, UK
*** Monday 24th June to Friday 28th June, 2019

Dear friends and colleagues,

I am writing to let you know that a summer school on Higher Topos Theory an= d Univalent Foundations will take place at the University of Leeds (UK) fro= m Monday 24th June to Friday 28th June, 2019.

The goal of the school is to help PhD students and young researchers to obt= ain entry points into the areas of Higher Topos Theory and Univalent Founda= tions and, perhaps most importantly, learn about connections between them. = This would help future developments in both subjects, e.g. in the development of elementary higher topos theor= y.

The school will consist of the following activities.

Mini-courses:
- Peter LeFanu Lumsdaine (Stockholm University), Univalent Foundations
- Charles Rezk (University of Illinois at Urbana-Champaign), Higher topos t= heory

Invited lectures:
- Benedikt Ahrens (University of Birmingham)
- Andr=C3=A9 Joyal (Universit=C3=A9 du Qu=C3=A9bec =C3=A0 Montr=C3=A9al) - Emily Riehl (Johns Hopkins University)

Tutorials:
- Paige North (Ohio State University)
- Nima Rasekh (Max Planck Institute for Mathematics)
- Karol Szumilo (University of Leeds)

The website of the summer school (currently under construction) can be foun= d at:

https://conferences.= leeds.ac.uk/httuf/

Information about registration and other practical matters will be availabl= e in due course. In the meantime, please do not hesitate to contact us if y= ou have any queries.

With best regards,
The organizers (Nicola Gambino, Nima Rasekh, Karol Szumilo)


Dr Nicola Gambino
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 = HomotopyTypeTheory+unsubscribe@googlegroups.com.
For more options, visit http= s://groups.google.com/d/optout.
--_000_864E3CE933444DBD8F1D084BA93484A2leedsacuk_--