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-wr1-x43a.google.com (mail-wr1-x43a.google.com [IPv6:2a00:1450:4864:20::43a]) by inbox.vuxu.org (OpenSMTPD) with ESMTP id 25df53f0 for ; Mon, 13 May 2019 14:21:54 +0000 (UTC) Received: by mail-wr1-x43a.google.com with SMTP id c14sf8491523wrv.5 for ; Mon, 13 May 2019 07:21:54 -0700 (PDT) ARC-Seal: i=2; a=rsa-sha256; t=1557757314; cv=pass; d=google.com; s=arc-20160816; b=wpgHyFTpDHRfKViOj/VoGLQygosqc9iasCipK7NqnaXNUdwnEIpvZnXuJ0mPY7vjkp 3RshXsTNheK4b+WQ7jVACjFukTyrEzqeom/iV52Skwx8FoTnN2NupcY9Ag+NujZdjsd2 PlRNoxVL3OtT1d+j7E9tbZIoD4fwRtzOJjV1Lgx+7DqYw8jT05ds/ZFa85SaCab4DeAA Oqs+cxDQA9b5PN8icbIkM6J1Mv3CVZrD8PDQi4Q1ov/7BQH1RrGP6CDJc0sLUZmE2YjB qduHYoszCiWDUVimkuUbMVPlg4E3MiQ2D/32RUiHxrwtAxEvqHQFWHjO813R+bYsUA5u PDWg== 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=IorOeFE3jxr/7hliJJ4QwSgYZg8wYRBHc/2DMU82OqI=; b=vRXzDJgWP6Ivk2hPmbkegS0Zmwu/7pPf6vnr4HwJlNb2dww6POArU2DbYigRfJpG57 gvk1j+PsOIGX2lL4jmkj6sbl7hDxjZrKUI2VAa/n/QxGR8BTGI9FYKb4mRAh3rbbhBi8 zNF6Hen6oldgMGjmd9mNV3qxGjWQ/qFFG7pZ5oZTeARL2o6tPx2uejzeude2BkFcvzqr 4NpqGgcJr+T3x9XcRUlVj8MokKSZ9eb8RgLAUof4TZDkH+oPxN0DyByed+iyVu5qmrgW G9pjJV7lLxc92kqL66SXgZX0Cx7dLi8iWT9CdJJGAaLKM1FA859BK7MIzwDNBfVd7He+ adeQ== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=uKmCuXiR; spf=pass (google.com: domain of benedikt.ahrens@gmail.com designates 2a00:1450:4864:20::32f 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=IorOeFE3jxr/7hliJJ4QwSgYZg8wYRBHc/2DMU82OqI=; b=qLdLeifIiMUURVN6OHnZyFnW7cHhYvTjPY0sG76aBQfU6hAt+BfLzHoKhHLbgYY/3B BsmqchGBNh768WrhmAI3/o3o0qH6gEcAVrybdUYctg+YJ9dFGPOcGpYKontcFrIi1/rS cc1RHsUddHJ6KrHk9U0tFd0v4D/aYeJpfyvxJAtUq5WNTnH7EZ4LkrGR6SEltqZROVPY JNGYTOgKRSAmgRJ9tY09eJ7ciPdDo2CxnkxcK8KzWRddcl1u9X2GmH5Lrtt7l409p/1Q hsxGCXvNc5w9Z41Cmj4TLmq4znSb9j8WhCEjx5PqAMOn9y1y+mqEyjeN51UekHTyu0CF vcSg== 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=IorOeFE3jxr/7hliJJ4QwSgYZg8wYRBHc/2DMU82OqI=; b=mu3nepjEgTeqSXjkEOxJZVxPHcvXZce2rta+VYhSovgJ2yiHmrxK8xT6zbx2n1u5YQ xEbbNleW1JwFCt0voE7OOjcl7sS1DMwxsWO+1a5cCiep+iVNwAF9DEd/v7ZTvOXGnelv AACv9k3fDYFiDcB+OCJwC9tIjcKtPBygGlzuf909a5pQjx42kSwviPUpQsZAgAavc7cf cvIs6O1QUtzoBtPNx7NSzdPudYiuoOy5IxDixFHIp3p9aoWvMUBG96lA1sUumsZeuJ+2 79EeUNaL4E2ZG5jLOrC5jO9oXkbgClP4EP9u4UaAfXQmymZrU3MsT2n2n/d2HUZ1Kek/ 95qA== 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=IorOeFE3jxr/7hliJJ4QwSgYZg8wYRBHc/2DMU82OqI=; b=nQIol8XoaaR3EbZxgfQvsRCMMXexqz0F5DmigDtiBbBC+dbg48dD/ZGf6J8M+we+gL ShSMoztahLk66cNbfNIjSY7AH4ErZXmPblq8qf/odYlQ2jL2X9pP8d7uG6+E/QXoZR7Z NNVKyZHYypFMqDFYhDLMKUqhiTlCENWnfN5/VuCGGzSXeTwmPOtBlsbek2qiHE+OjTTK jK0nCmYv7TxpqOb+iP/2cptoK8mYa115soAOYY1NDjqLUF7YoS4qgOe5lEEuUZgZomzQ 6AxcG0CPsESrUKOAgcehu8M2hAoELlIrnKW1qdpzObLz2fluzCDRq+/KnMTsT4MnvSPb TSCA== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: APjAAAVjzvIUq40ahupN1u3w7bnZkmj81nhwoRx1NczUvLRnEpzma7xK Ys0lZLr09OdFc+QgjZ8z5jk= X-Google-Smtp-Source: APXvYqzyeQ3isTtsfkHV6WnusVpiPE8wQZqOpjRoio4JV+x3vkW6emvH2BNSR5tEMKBskEyw7flEaw== X-Received: by 2002:a1c:a846:: with SMTP id r67mr6102300wme.24.1557757313918; Mon, 13 May 2019 07:21:53 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a1c:f20e:: with SMTP id s14ls3719700wmc.4.canary-gmail; Mon, 13 May 2019 07:21:52 -0700 (PDT) X-Received: by 2002:a7b:cfc9:: with SMTP id f9mr16246396wmm.51.1557757312824; Mon, 13 May 2019 07:21:52 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1557757312; cv=none; d=google.com; s=arc-20160816; b=uA5CNBmD0z4HVwWnr9/wKd6W0fTDABySfoPf4GuLQrtkMnIbVYewCBWOpANsWzY1Gh n/VRCwwZjoI0oh1OWPdy0LAVCF+NKraBAo7X0hlkOWnNnfw3exDctNgmIuThgq+l47qN xPXH0l8xXthi4hgYlwQRKcyDhWaFYyWdqp/X9/ZVcS7Wvj4v2oE2HTC6a7xawx44VrDC anf45D3gg/+spEOyzp6JDCdOF0DKpedhFtp4NaXTEljy0SbswnhUQmpIAl81Wx5uO+pd wwUUiDijsalGznC4o27Rg/Cs1jRiH48jxnRBctCb9nR8TUO4NmEDBaZCrGC4ByCfsMLo MlLg== 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=ck0cA5Q/4rPoQGIm4XKNve5XrNefIEt4YY0fIsEslTY=; b=lORVyjFzoAQXRiv2zPqpWHlJLwOYdKUsAHHOPYUCKJQ0irHU0CvVP5if576ECYeGOv e+XP8kuW4i8IXIxXcVu9nCCteHx9/a4DebtC4ZzvyW32oYZuku0NfELpnZ9HYxmPNGVf oSM/prvLiB+4F3RsaxE2zZdKt1xxT2T5cOhQ0yCJN5vTSZo7pIE/ekn0oS5eMHiTbCJH RBJy7Njcl9nNXD3jZflY7feJRBI893PwLXenfhnb+Xa5thd6Un+jEOU2WgaqILfIL3iU QP0dsIXsMMaOIVdgK83aKkzwOPeCqOZncDEeMIXOM2fJ9aG3m1owceZtXcj0NoDAlWjE 4aXA== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=uKmCuXiR; spf=pass (google.com: domain of benedikt.ahrens@gmail.com designates 2a00:1450:4864:20::32f 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-x32f.google.com (mail-wm1-x32f.google.com. [2a00:1450:4864:20::32f]) by gmr-mx.google.com with ESMTPS id x4si2517136wmh.2.2019.05.13.07.21.52 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Mon, 13 May 2019 07:21:52 -0700 (PDT) Received-SPF: pass (google.com: domain of benedikt.ahrens@gmail.com designates 2a00:1450:4864:20::32f as permitted sender) client-ip=2a00:1450:4864:20::32f; Received: by mail-wm1-x32f.google.com with SMTP id f204so8577742wme.0 for ; Mon, 13 May 2019 07:21:52 -0700 (PDT) X-Received: by 2002:a1c:7f10:: with SMTP id a16mr15320428wmd.30.1557757312031; Mon, 13 May 2019 07:21:52 -0700 (PDT) Received: from [147.188.200.206] (dynamic200-206.cs.bham.ac.uk. [147.188.200.206]) by smtp.gmail.com with ESMTPSA id c18sm2406796wrm.7.2019.05.13.07.21.51 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Mon, 13 May 2019 07:21:51 -0700 (PDT) From: Benedikt Ahrens Subject: [HoTT] Last announcement: Homotopy Type Theory and Univalent Foundations conference June 12-14 2019 in Oslo To: homotopytypetheory Message-ID: <9c6e24e0-ca36-6d2c-107d-69ebd6bf55d3@gmail.com> Date: Mon, 13 May 2019 15:21:50 +0100 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101 Thunderbird/60.6.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=uKmCuXiR; spf=pass (google.com: domain of benedikt.ahrens@gmail.com designates 2a00:1450:4864:20::32f 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: , Early registration for HoTT-UF Oslo 2019 ends May 24. Go to https://cas.oslo.no/hott-uf/ The TYPES 19 conference is at the same time and place. On Wednesday we=20 have a joint program. In addition, TYPES hosts many HoTT-UF related talks on Tuesday June 11=20 and you may prefer to register for TYPES (June 11-14) when you get to=20 the form (this _will_ allow you to be at HoTT-UF when you prefer). Most titles and abstracts (also for TYPES 19) are available from the web=20 page Invited Speakers HoTT-UF Paolo Capriotti =E2=80=A2 Globular Models of Type Theory Evan Cavallo =E2=80=A2 Cubical Indexed Inductive Types Eric Finster =E2=80=A2 The Cotopological Tower Ulrik Buchholtz =E2=80=A2 TBA Simon Huber =E2=80=A2 Homotopy Canonicity for Cubical Type Theory Nicolai Kraus =E2=80=A2 Quotienting by Directed Relations Paige North =E2=80=A2 Directed Weak Factorization Systems for Type Theory Christian Sattler =E2=80=A2 Homotopy Canonicity Andrew Swan =E2=80=A2 Separating Path Types and Identity Types Taichi Uemura =E2=80=A2 Cubical Assembly Models of Homotopy Type Theory Liang Ze =E2=80=A2 A co-reflection of cubical sets into simplicial sets 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. 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 & Universit= y of=20 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. To view this discussion on the web visit https://groups.google.com/d/msgid/= HomotopyTypeTheory/9c6e24e0-ca36-6d2c-107d-69ebd6bf55d3%40gmail.com. For more options, visit https://groups.google.com/d/optout.