From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/9915 Path: news.gmane.org!.POSTED.blaine.gmane.org!not-for-mail From: =?UTF-8?Q?Karol_Szumi=C5=82o?= Newsgroups: gmane.science.mathematics.categories Subject: Summer School on HHT/UF - Registration closes soon Date: Sat, 18 May 2019 16:41:58 +0100 Message-ID: Reply-To: =?UTF-8?Q?Karol_Szumi=C5=82o?= Mime-Version: 1.0 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Injection-Info: blaine.gmane.org; posting-host="blaine.gmane.org:195.159.176.226"; logging-data="159857"; mail-complaints-to="usenet@blaine.gmane.org" To: categories@mta.ca Original-X-From: majordomo@mlist.mta.ca Mon May 20 15:34:52 2019 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp2.mta.ca ([198.164.44.55]) by blaine.gmane.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.89) (envelope-from ) id 1hSiRD-000fJZ-Us for gsmc-categories@m.gmane.org; Mon, 20 May 2019 15:34:48 +0200 Original-Received: from mlist.mta.ca ([138.73.1.63]:49326) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1hSiRv-0003en-F0; Mon, 20 May 2019 10:35:31 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1hSiPR-0007WL-Nr for categories-list@mlist.mta.ca; Mon, 20 May 2019 10:32:57 -0300 Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:9915 Archived-At: Dear friends and colleagues, This is the final announcement for the Summer School on Higher Topos Theory= and Univalent Foundations, which will take place at the University of Leeds (UK) from Monday 24th June to Friday 28th June, 2019. Registration closes soon, the deadline is May 24th, 2019. To register, please follow the instructions at https://conferences.leeds.ac.uk/httuf/registration/ Note that you will need to create an account at the University of Leeds online store in order to register. The goal of the school is to help PhD students and young researchers to obtain entry points into the areas of Higher Topos Theory and Univalent Foundations 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 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 Theory 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: - Nicola Gambino (University of Leeds) - Paige North (Ohio State University) - Nima Rasekh (Max Planck Institute for Mathematics) - Karol Szumilo (University of Leeds) The website of the summer school can be found at: https://conferences.leeds.ac.uk/httuf/ If you have any queries please do not hesitate to contact the local organizers at httuf@leeds.ac.uk. With best regards, The organisers (Nicola Gambino, Nima Rasekh, Karol Szumilo) [For admin and other information see: http://www.mta.ca/~cat-dist/ ]