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=-1.2 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-lj1-x23b.google.com (mail-lj1-x23b.google.com [IPv6:2a00:1450:4864:20::23b]) by inbox.vuxu.org (OpenSMTPD) with ESMTP id da4b8e49 for ; Mon, 4 Mar 2019 09:58:03 +0000 (UTC) Received: by mail-lj1-x23b.google.com with SMTP id f1sf981282ljf.2 for ; Mon, 04 Mar 2019 01:58:02 -0800 (PST) ARC-Seal: i=2; a=rsa-sha256; t=1551693482; cv=pass; d=google.com; s=arc-20160816; b=T3vBN/+DjNFwUydqAYet8dnVCdnb8PuRT96vuuO7tVae8G/+D4GJKpLa7pIVeyScWg lCw5tyB4ziTjEHShT2wU9WZwsrKRdw8DzqrR561WBOkncARLOVhDA+vmRmI1Sy1T7hcI o4bjZEphzVbsBZJO1LlTwQZ8UTAdSv/Gr+Ze2F3xaHfR5C4a4tIUD3QYfqb4q+R1BOrN hbMLCSrBZd6FnNpKd4XJ+FSSWtcYjetEejsFNo6v5I8zLucxwbT/s7AObnF09K7j/H1i w+VfpgKLRov+iTQ94AkFqPrTpynTfmGOlGDP8YenAUA4yWU3/ksAyDI1IwHR3p9kqeTF E4cQ== 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:content-language :mime-version:user-agent:date:message-id:to:subject:from:sender :dkim-signature:dkim-signature; bh=ja0y27bba5rB9NZaxuK7wPTtWkSqpOvtHKXN2L4jZCk=; b=nop+4IxACfz1VQcdVuu0B/kGuE9N6nOVeFxfp2PnWHNnDaBuvSKfwel3MEwuzobJpN lHqsLSV/ehD/72oZs8eEbiF+2xXNx59jt5wKt88mYvuOOLAT8dgQOyHvPszs6+yG2bTi maqmYL7ONndEN0n/2efcdEORPPmxzvjHMc0S6RgkSRng1dXhQQszcpc+TROLDnPoWZqN 0LFSlKPystfrX7qQeHq02Dk8fZlUszSJuHUV3tfZnn+kw3m6cVosIBPWQOi1QD1uASEQ L4w5bVS8X9LL0hTIKkZbg69uOVXyLCAeSna+PbE0GedSL+ofWeME+3pDXs7tjgkC54bh L3Pw== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=juwpAL5M; spf=pass (google.com: domain of benedikt.ahrens@gmail.com designates 2a00:1450:4864:20::334 as permitted sender) smtp.mailfrom=benedikt.ahrens@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:from:subject:to:message-id:date:user-agent:mime-version :content-language:content-transfer-encoding:x-original-sender :x-original-authentication-results:precedence:mailing-list:list-id :list-post:list-help:list-archive:list-unsubscribe; bh=ja0y27bba5rB9NZaxuK7wPTtWkSqpOvtHKXN2L4jZCk=; b=jtzqHPPYKmKLBXudwbA6Tox6ynm4NQ3cMaMRcZXYfwMBP3J46FmtSH8WCdeHNPnXGf Bv9m/Fcjb6tZtm6x+bVAAEhPSvJGFu/5jZnyInxpzVoi8VRe1eV6regHgcSs3RuDoZ8A 9MpFx3S64dp2tWVRNQpGAVFXkn7KfBTdlIT0NDFuhqx7q5VGUDpwMWmdqSES8kmUJ63U 8yaU4kwGQt3qIiLnqnl7ikqgaJs/HkNiMfaKsdN15wLneloS9T87XjF90zBZoSpGui4J YuRvoB5r0fePFz7VbM5JGzjCpD9P7nDdY/iNafZmxg5HglFvDytju+Fxx82G4sKRs5eS hTcQ== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=from:subject:to:message-id:date:user-agent:mime-version :content-language:content-transfer-encoding:x-original-sender :x-original-authentication-results:precedence:mailing-list:list-id :list-post:list-help:list-archive:list-unsubscribe; bh=ja0y27bba5rB9NZaxuK7wPTtWkSqpOvtHKXN2L4jZCk=; b=Jc5DF7rjMnJ/CqSa0bQlRWmBTKTAN4l8/lLmDkEM8JgUfzd+OKMttO/GzSEG1wbOtW NPeof28nir+eZqgFiD+2+BfAvYMw8U5Ng9HD/bFENSqGkDnL3F8xnBDa+zyzySnKhP6Y LfHNmolmzk15urnFQ6F4MLl5ClClqDEM1ZK8m3XZ4gHJV8oMQruZl3Hw4YX41lBF8S0b O0/hC/QYfD7SDFjayCbYw4i2Bcs41zJErSSknVLRtLeadgnx5Jyw+C6kQ8OFAdTgSV2Y Deb4G1TIHpeDTAmB/GLIbJ95Qm9shK0Mjl6j9rxY5+ADGAWsXsDq9VP1HRG0odwFRo3T YH8w== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=sender:x-gm-message-state:from:subject:to:message-id:date :user-agent:mime-version:content-language: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=ja0y27bba5rB9NZaxuK7wPTtWkSqpOvtHKXN2L4jZCk=; b=q1C6u7ExW02r1y09kOGQPkypwTiK4/3DnanWh9BcCZMq4MLxuBslHjlmtI4UhDuEO7 CF7SoOaMTi+OW6fYEaH5yTTWJUX84mIZgijJm+bojAmzBXe9sw7QK4HPLY+mgvhI2HTU ixW7YchaSVp2HZobx3zS46C7d7Az5lgjBlK6JVxJlDLGgj81grBGYten/D7tAOyHwV8n fKzw/KILQhUHNNC7uiTN3NlYun/vhDuHi6NiPIhbEW/7uNTjIWMJDmyvk9rZRYG9fV9e Umr0xqI0T7N7VrY+wIEgV4jPv9nvPHWDUPOkTomVFxWtDeg7EFgm7CF1lV10sCD+PeDl vYOA== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: APjAAAXoX93wFSmtrrWuHWDDX1OA6Zx5Dt1V6OxCU80+RTQRmKQXYHbm 6ZlqWw2ywJt1tVV9erZFzQQ= X-Google-Smtp-Source: APXvYqxSuawmfv2zgmQNBQNdWcwDjXFp+7Tu4PHCgQiKEG/5r/PL/4Qeyv+zc4wKb/hfgE5aNSWg8Q== X-Received: by 2002:a19:5f58:: with SMTP id a24mr2887404lfj.57.1551693481893; Mon, 04 Mar 2019 01:58:01 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a19:c78b:: with SMTP id x133ls1350085lff.1.gmail; Mon, 04 Mar 2019 01:58:01 -0800 (PST) X-Received: by 2002:a19:cd89:: with SMTP id d131mr930533lfg.14.1551693481223; Mon, 04 Mar 2019 01:58:01 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1551693481; cv=none; d=google.com; s=arc-20160816; b=w/mKCWvcPh55jJiSAbh9lW0Ld4YnQjldJYZNfNJ1/J5+k8TtG51m2xgKTYHrUPb29y agXlF+3IU6I9e1em65VVBePLrv1Kw3dlC4pXWfomGAi97i2hEgStjXWS6mcuubzzSBKl Q6yQXqz4udWVBcMOS5ztNhwQKTFz17+/J/gFLivY2KUDatFV+dxCGobvITOjKYL/r6sD VVaa170DzYQ06sgKoy00PeWYlyPEwn+X5Pk3in4OMrqjgpRbiM4cuLh1x533QvDmMICD KYrBDfZK8dNx8okAHZI5UDAlAvujIygKLSuCIbME4wG2NVnx4KJzORkYSaadpQ6/mMbh rjyw== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=content-transfer-encoding:content-language:mime-version:user-agent :date:message-id:to:subject:from:dkim-signature; bh=6oM6X/irQ1Igkl5KrIOCj78xPirZ3q3Dz2WSP7OvReE=; b=wKnyHhrMB2jH6LGK9X4ANIcdWJXvc/dCNVp22Ltsk4j4HezVAy+FpOvzniVWYC7u9a ENKPBYcTtsDc7N5S+3bOdIZgVRQ/ViTgzhOb87YgbjXA8ZN+7IwdAIFkRpnSylaporRY dOM+AUQddTJQ2A+sxHZJf2XI/pl+0ha4DTTMbn1LvS33bdf798WKLTMMyPW197t8Dn/x jOd029HCKTkkSRwY0yYeWCxClIe3/pQ8RsH3brvnGrnde1lkI/Y2hbyT2KzLfI3lwyU9 9sJ6PQ/k+VwthjwxhugjdNvEoVYGMDdqFk5CgUKaxTK7ZnY2yWiuQafuOZP610w1ktaP E6NA== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=juwpAL5M; spf=pass (google.com: domain of benedikt.ahrens@gmail.com designates 2a00:1450:4864:20::334 as permitted sender) smtp.mailfrom=benedikt.ahrens@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Received: from mail-wm1-x334.google.com (mail-wm1-x334.google.com. [2a00:1450:4864:20::334]) by gmr-mx.google.com with ESMTPS id m16si182603lfl.0.2019.03.04.01.58.01 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Mon, 04 Mar 2019 01:58:01 -0800 (PST) Received-SPF: pass (google.com: domain of benedikt.ahrens@gmail.com designates 2a00:1450:4864:20::334 as permitted sender) client-ip=2a00:1450:4864:20::334; Received: by mail-wm1-x334.google.com with SMTP id a188so3994738wmf.3 for ; Mon, 04 Mar 2019 01:58:01 -0800 (PST) X-Received: by 2002:a1c:55c3:: with SMTP id j186mr11290436wmb.5.1551693480256; Mon, 04 Mar 2019 01:58:00 -0800 (PST) Received: from [147.188.200.206] (dynamic200-206.cs.bham.ac.uk. [147.188.200.206]) by smtp.gmail.com with ESMTPSA id e7sm8142455wrw.35.2019.03.04.01.57.59 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Mon, 04 Mar 2019 01:57:59 -0800 (PST) From: Benedikt Ahrens Subject: [HoTT] Homotopy Type Theory and Univalent Foundations conference June 2019 in Oslo To: "homotopytypetheory@googlegroups.com >> homotopytypetheory" Message-ID: Date: Mon, 4 Mar 2019 09:57:58 +0000 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101 Thunderbird/60.5.1 MIME-Version: 1.0 Content-Type: text/plain; charset="UTF-8"; format=flowed Content-Language: en-US Content-Transfer-Encoding: quoted-printable X-Original-Sender: benedikt.ahrens@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=juwpAL5M; spf=pass (google.com: domain of benedikt.ahrens@gmail.com designates 2a00:1450:4864:20::334 as permitted sender) smtp.mailfrom=benedikt.ahrens@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: , Registration for the workshop Homotopy Type Theory and Univalent Foundations Oslo, Norway, 12 - 14 June 2019 Registration has opened. Go to https://cas.oslo.no/hott-uf/ Limited funding is available to partially support early-career=20 participants who might otherwise be unable to attend. Homotopy Type Theory and Univalent Foundations combines ideas and=20 techniques from algebraic topology, logic, higher categories and=20 computer science. As a fairly young subject it is still under dramatic=20 development and sees vibrant activity. The workshop aims at bringing together researchers spanning the width of=20 the field, complementing the concurrent TYPES conference=20 https://cas.oslo.no/types2019/ with which it will share some plenary=20 sessions. List of invited speakers: =E2=80=A2 Ulrik Buchholtz =E2=80=A2 Paolo Capriotti =E2=80=A2 Evan Cavallo =E2=80=A2 Liron Cohen =E2=80=A2 Eric Finster =E2=80=A2 Simon Huber =E2=80=A2 Nicolai Kraus =E2=80=A2 Paige North =E2=80=A2 Christian Sattler =E2=80=A2 Andrew Swan =E2=80=A2 Taichi Uemura =E2=80=A2 Liang Ze Wong For further information, see the home page https://cas.oslo.no/hott-uf/ Hope to see you in Oslo in June! The workshop is organised jointly by the Centre for Advanced Study at=20 the Norwegian Academy of Science and Letters, and the University of Bergen. Best regards. Scientific Committee: =E2=80=A2 Benedikt Ahrens (University of Birmingham) =E2=80=A2 Thierry Coquand (Chalmers University of Technology &=20 University of Gothenburg) =E2=80=A2 Bj=C3=B8rn Ian Dundas (University of Bergen) =E2=80=A2 Chris Kapulkin (University of Western Ontario) =E2=80=A2 Emily Riehl (Johns Hopkins University) Local organisers: =E2=80=A2 Marc Bezem (University of Bergen) =E2=80=A2 Bj=C3=B8rn Ian Dundas (chair) (University of Bergen) =E2=80=A2 Camilla K. Elmar (Centre for Advanced Study) =E2=80=A2 Erna Kas (Utrecht University) --=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.