From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on inbox.vuxu.org X-Spam-Level: X-Spam-Status: No, score=-0.9 required=5.0 tests=DKIM_SIGNED,DKIM_VALID, DKIM_VALID_AU,DKIM_VALID_EF,FREEMAIL_FORGED_FROMDOMAIN,FREEMAIL_FROM, HEADER_FROM_DIFFERENT_DOMAINS,MAILING_LIST_MULTI,RCVD_IN_DNSWL_NONE autolearn=ham autolearn_force=no version=3.4.2 Received: from mail-lf1-x13f.google.com (mail-lf1-x13f.google.com [IPv6:2a00:1450:4864:20::13f]) by inbox.vuxu.org (OpenSMTPD) with ESMTP id 569793d7 for ; Fri, 17 May 2019 14:48:44 +0000 (UTC) Received: by mail-lf1-x13f.google.com with SMTP id y194sf1459514lfa.2 for ; Fri, 17 May 2019 07:48:44 -0700 (PDT) ARC-Seal: i=2; a=rsa-sha256; t=1558104524; cv=pass; d=google.com; s=arc-20160816; b=ojkIelPxNmc9gw2+sXnHL/ZefnqojsekFcWw4UkRJ4TWL7EFi7a1TaWm+jyDh8ap2X Kjd4Nozb0E+Eh9dfKvksIlEGo4mSuZ5Ut0GjPfabx4xmtxmd+wckZ5hKTaVCAV7LdiUy YpydFSDS6ygCTXVju9A6TNkaEkJgSHsSQqj0XDnIZII5ozhQ7PjgimBY9cQUfud38soW TF2XwUE8IU/8A22RABNrwBIVhOC3SZTsUlNWXgsPzIMly9nfGPUGqgovtpgbbvwis3OZ JlgsL4m0jtIeADRBeOgPefUVDTndI1Zz5b+YGB7MNP7eSlHNG3jJwU8Hv6rSXH0/ms7G yiCg== 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:content-transfer-encoding:to:subject :message-id:date:from:mime-version:sender:dkim-signature :dkim-signature; bh=7SltReYRB1Mh8zFTJ9upA3kzJHMw3c9ZNX1x9WE7LGc=; b=kLZd662EK13s6HmuB/IIBkR4Cpx0WeFfMIyiiFThA796D0YAywdYX5cbKWgZL6pJ1e xcfSXtdliGl7CdC0NdtM34uBlNjBumx62kp7gd9AOzSeAO8KjP7Q1QoElC1Z9BR9d6Ik CB7YMrGgol31U1lY4Q3ersGhvC4HrFCbFyLZuyz07pKW1z9xGfzeMujtDRQo7mIUVpRo K25HXYs/DSdIsa9COybR54YNDucNB6yyDZP9nhotIgQSKwF+5cAtM5WOM1OKynSLka/h +Uyjld5X127AupITcFlGTWzdnmXYj0IG947eJitDu0t/2pEcSoXwDjT76GKSTmprhIMr caMw== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=fyL7m2Is; spf=pass (google.com: domain of karol.szumilo@gmail.com designates 2a00:1450:4864:20::52b as permitted sender) smtp.mailfrom=karol.szumilo@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20161025; h=sender:mime-version:from:date:message-id:subject:to :content-transfer-encoding:x-original-sender :x-original-authentication-results:precedence:mailing-list:list-id :list-post:list-help:list-archive:list-unsubscribe; bh=7SltReYRB1Mh8zFTJ9upA3kzJHMw3c9ZNX1x9WE7LGc=; b=r/UCjv05jltiLqg1b/rSjKgDIPKtzskoU7nJoofQf90/FdEAKx0nlXryNo2tjscmE6 gQf0X1fBYrzeaPmgC6Dpo1mOCT7Kr9Mkp6RK+E4j+wYE+JpfEIU9jzavoV8y7GWiP68A Y03y0aTPb+uIL+y1D2ztjpgQSlAfn0IpWe+hJ/+NP2omT6UGAmVlxApTgaUO9LJ83S0i MSuB9b79NyQgPti/ATAuGn8UHWSliXo/Hc5nZR/+VG8aZsimBD8CF16yWbW11pvokt6N SoLjCJO1VRGUhfeRZqQIer7ZJZ/ycKsKptayVwzddzYB/1q1hMWOuHlPSJWr16ibPvvd U3uw== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:from:date:message-id:subject:to :content-transfer-encoding:x-original-sender :x-original-authentication-results:precedence:mailing-list:list-id :list-post:list-help:list-archive:list-unsubscribe; bh=7SltReYRB1Mh8zFTJ9upA3kzJHMw3c9ZNX1x9WE7LGc=; b=l1lbMQ91fQ8LkcyGg4JXze+WBOwCVT9f3TlpMBgnURZaGv445B45xzKiYBQ5azjq+J CsohQCQqhwvxF3m63ClPGfj08J3x9nq6H0qn638Zr9qe63okUBRzpwBGlp4Zzkr6UAaI BohNuqlR+rZXNh+8IwTuuKRUmKnbGPNng6LOad7JGPc/gZJRJZfcELeY0eyoljU/Chyl bH7yk2e530EQUNX/TjUlx6mHv9hV0P38bPzxdrbVYfW8/RmlrnnrrDE51u/oc/Q8cG/+ g8jzEz8Uh2i2wif0NL9l+SFQ0Bw+9gw050j/Yh1qVLW0hx7Ar8WIqCxmT2wNpUDgJb80 4xgQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=sender:x-gm-message-state:mime-version:from:date:message-id:subject :to:content-transfer-encoding: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=7SltReYRB1Mh8zFTJ9upA3kzJHMw3c9ZNX1x9WE7LGc=; b=NoNca5jv0RYR2OQOONo6MvF69m2BuBPYVHxNFXdPsaZYILwDD/27Ed5mHutdi3Rzl9 2q8Hwv//eRQ4jA/ikVwrmTPDYCi5VwfJvz5udGVjMnB/2fR9dtwdIaDdpbGAHPEAdLNI M6tu/BrH8hIXXuoXPUitIwfu7owSUNo/55tAup87hPiH92wKNjfdGcv7m8w508tGwcgU HU/ijBcEDzgNi3XX+CUVqcpTYpRh5RDS41aWVyr4NvEgF8pGUOOP3epqwwWq4r6W+74t QORBCuG0nhivmRgviK8o2lz5EZtvdTcf2qBgGyxxr1Vd6z4ng2x9UGOsFDCX3ev/4XRj y87A== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: APjAAAVUbR6QunFucko8qzOwJI0yU5BWQ+ltu4y4LM6HnPJyZG7H+Ycp NvJj1NL6lupb/FFDxJEkXRI= X-Google-Smtp-Source: APXvYqyesqRKG64Az9h5y/xpR0lyouGdUc6w1ZikmqkI8wodSE7+gIny52Ti25H8Bzd1DJGfgpBYfg== X-Received: by 2002:a2e:85d1:: with SMTP id h17mr12724278ljj.1.1558104524050; Fri, 17 May 2019 07:48:44 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a2e:6356:: with SMTP id x83ls1116866ljb.7.gmail; Fri, 17 May 2019 07:48:43 -0700 (PDT) X-Received: by 2002:a2e:97cf:: with SMTP id m15mr12142726ljj.135.1558104523452; Fri, 17 May 2019 07:48:43 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1558104523; cv=none; d=google.com; s=arc-20160816; b=fKWqbHiQhsYkIVB8SC17/K13auIEfduWfHNZlPEFY7exzIbX5Zvu1qQvFb3CQfq7n5 OVhQ4nXCqnrZVZ/wsPoLVrkgClmx6/8QU9Wx+I2XyrWeNv2GHrWRfxmbuEuMTXjFdtxB Xc7AxBAaxuAdXFh0oA27KVdAUXnzSwcFnFGXRsOGDSNDmE3JXIDrcS9vHGPG1vsd7S4R sJ8Trnn9ErmSq+/6tp9JpS/j/Dvc36P33z/rsEb8xiSIEh5owjlL1PVLbmn+Dv8G+8qE BOeCFZ/HQKkvxlbsEFleC20SWgj46npb3t91sB3XTdLVeRKNDbPGN2RoKQ2pvj2x96e9 fC4A== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=content-transfer-encoding:to:subject:message-id:date:from :mime-version:dkim-signature; bh=NxxB4ur+KBVP+Ma16tdGE2egz5IaMRuBHVJAh+WXgs8=; b=uDI+R5YVrnlMdh9IgomhtEZ2BGRRhjZDHpzdHZLwsqKpHKMbP9sxUVxgZ56e8aFI+M dh10LOSGtRaeZ5M5K14w1d92Iw1NcECXe4IzjC/V80i73b+Yyp8PAzizx+3nC9pRk5o+ 3Ce+RhjzeL4i6jx40n9PMcy0zRt3VnpkHkEJhw39mPs31jY9DKyd75Y90GTr2YuddbpK dpP9V66x3XE3tZxosHYGVUo+FcHX4d568Oy5PPsEGjgEe87KcevPYwuTRuq45Bhbip2N VSW9R6w7LP55P6o7CxN1dJsGRijJVccXJG1ff34T9BZi5QipxxWnL0cwxNkcWhoPSpsM 0KBA== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=fyL7m2Is; spf=pass (google.com: domain of karol.szumilo@gmail.com designates 2a00:1450:4864:20::52b as permitted sender) smtp.mailfrom=karol.szumilo@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Received: from mail-ed1-x52b.google.com (mail-ed1-x52b.google.com. [2a00:1450:4864:20::52b]) by gmr-mx.google.com with ESMTPS id l9si1258787lfh.0.2019.05.17.07.48.43 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Fri, 17 May 2019 07:48:43 -0700 (PDT) Received-SPF: pass (google.com: domain of karol.szumilo@gmail.com designates 2a00:1450:4864:20::52b as permitted sender) client-ip=2a00:1450:4864:20::52b; Received: by mail-ed1-x52b.google.com with SMTP id n17so11037726edb.0 for ; Fri, 17 May 2019 07:48:43 -0700 (PDT) X-Received: by 2002:a05:6402:1256:: with SMTP id l22mr29381006edw.22.1558104522812; Fri, 17 May 2019 07:48:42 -0700 (PDT) MIME-Version: 1.0 From: =?UTF-8?Q?Karol_Szumi=C5=82o?= Date: Fri, 17 May 2019 15:48:31 +0100 Message-ID: Subject: [HoTT] Summer School on HHT/UF - Registration closes soon To: HomotopyTypeTheory@googlegroups.com Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Original-Sender: karol.szumilo@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=fyL7m2Is; spf=pass (google.com: domain of karol.szumilo@gmail.com designates 2a00:1450:4864:20::52b as permitted sender) smtp.mailfrom=karol.szumilo@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com 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: , 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) --=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/CACT3x5LUMyPbSWm4dUOQdEMH_teW5qRK_ROw92HakLr%2BOem6SA%40= mail.gmail.com. For more options, visit https://groups.google.com/d/optout.