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-wm1-x33b.google.com (mail-wm1-x33b.google.com [IPv6:2a00:1450:4864:20::33b]) by inbox.vuxu.org (OpenSMTPD) with ESMTP id 2a5ac74d for ; Wed, 14 Nov 2018 12:31:34 +0000 (UTC) Received: by mail-wm1-x33b.google.com with SMTP id b141-v6sf7756683wme.4 for ; Wed, 14 Nov 2018 04:31:34 -0800 (PST) ARC-Seal: i=2; a=rsa-sha256; t=1542198692; cv=pass; d=google.com; s=arc-20160816; b=ZiCnY581rvG2k8PdRt+KpyabUOSuvGDFF3+zO0R/bIndb0DYTdRRH7LF8TP4WtYEO/ 0jikwi5VCOENyHKutpb+UpZ5uuu8Gtej0+NB4yzt7oyLwdeke1XCnEIbA5MdDsvjqJ3m 9mkCUUvZRsHtTeXLT9VZEp4Yp0DeeR0BxPNSONWLHL0kEjeaClp0Gh6ECACYmPRUKRwC TpEYhOObbewFOvWxV34FRP10QfxG/ToVVLriYj4tkmFgFehADMJK8Wd4UTvggPa1UX+h vyIuTGIAxtmgPWuRvOC2Csoz2XRp6WFnuyLjumHttjSAvmXwhNM5GoOUGpf0011k9UBw 72Zg== 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=Whq4vEZ4gH1HnwOlKbKVzRAPI8PXZ7U0zlVBcbnciK0=; b=WKKsaWN2FqUm0c1y4uQErHKxWcaJU+8/PluE7EiFGwrB4VMm6P8sxrEQqZbKGeNPjp G/JtoHhhDZqEnfCgvZOfLjnpq6XPKCn2LkzFWwyDgkbUTYAlej7Esa8uXw7eaXppzam7 Dv1igcLrbhyJx8oZy7dyYEVxjak/smGMm9VNR9BL84rMe9tyuq4lkQPoh8qjpJXTQhxH k4WfQ/Sw2pspAfa+8b5ZQjqD91eyKe6Xg1oAkIlJCMxEYb6aYbtWh/e/0DX/qR7cT5yz wUbVBECeOZ9ronREUlylzNP4ix47hK1ZO9nFgD1zS1rF3Iqm/0z8B7SxNVDeTWS8sJvq UUfw== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=Ew2Zig+K; spf=pass (google.com: domain of benedikt.ahrens@gmail.com designates 2a00:1450:4864:20::42c 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=Whq4vEZ4gH1HnwOlKbKVzRAPI8PXZ7U0zlVBcbnciK0=; b=aQYX5quWy2g7uw9HpBgaI8Yz4RVHXhYlvaaFAflfkjMrqenDM8yt13aMm9CbLB+ahm CYiA/b/GxZFPPUupMTvxiXINXD34w1RMge5kT8Vxoo2wxlg/006sMFte5W6MQWg/4kgB cceWsPXly5JoMTZROM5QgJccvMPhxoEoSERpi+wsRQmL6InsPmcOkm5mdk1PkiucOG4I JMZc2LPxbr+9J18IET2U68aFzkUTbPgBrvIkeacj+Rp0Z4kGD+Pnt9RvfXlxTuOHlYIN Vfu/AXe5s6Zy7vm36W4VsO7UcVP5HSrhx0GZZ9EW9krHR2g18jI88+w0f6dHawdalVn5 9kmw== 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=Whq4vEZ4gH1HnwOlKbKVzRAPI8PXZ7U0zlVBcbnciK0=; b=Ve4kZlqkTfBBxLbT2QQG3y4QnQ/u0ZSWm/7uNh2uqNC0AJVK1pKEVynwU7oPt/4Avd 3BYNe3TgaLruj+q4MhcjBO/oQXeXASzP6A9cEbJZQgJnme8nXPV0YvCnioheglMaJmCU 7pandA9Je5mMv2r6OtLaCY1J3IQAbmZ0zRe0WPlhCFfJZT7fvDO2J+wzdeiB+82mDkRr KaZWwcAvPuFmCzdiFa+8G6WOKkRPEVgDqM7Q+jssCeY/vOJA4FXWo9wVFnPEbVIMvV7N 6Zjvqy0jVcdN+mqlYpw+3BxVxu6BbRkAY2qCH74Fz0nQwRFiBEMz63PqCeh4kzlf0bir d2QQ== 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=Whq4vEZ4gH1HnwOlKbKVzRAPI8PXZ7U0zlVBcbnciK0=; b=X+uji2me62ZtxPiyGcOKZYXI5AB07Kv+XpvJf+0BYMXPCzCO7WJt6VPJ69gPngv/zq PHejMetTkjIX0me55MbRnatbP9Sv9iRyuyWAqjmY0ZMFI4TozRWbtjn3eunFmu43G3y7 JuZpMOL+PnRVzIE3HJyPlUHVmDiE94FtW4rqIqpRwWhwKqR1I2KF6Jzw12mky3t9DqNj PYOiGwZXoewGE1eV2BspVKyRi3tfwGFUkirqRiL3KHf30Sb1+0RtTynHsQN706M1GGak BERycCGZNsQ3zeKgyGz5KLXTXwnzxiDt+aokfvSVd+f9MpfZbNuet1FX2m81H1fldToA 64vg== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AGRZ1gIgpUWNq43Vz/LneKh8pB4oFBxqI9b5loGrMYhuHWRnPmtMxdtb wOXawv87dSifchUp2Y2T4lk= X-Google-Smtp-Source: AJdET5dmaLzwhOIIXztqnBderPUWRoq0KDXMIHDBS+uMjW9fFVQCrosEN29EhxJBI+1xeeq8PbMrFQ== X-Received: by 2002:adf:e60d:: with SMTP id p13mr23522wrm.6.1542198692261; Wed, 14 Nov 2018 04:31:32 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a1c:a05:: with SMTP id 5-v6ls2799365wmk.17.canary-gmail; Wed, 14 Nov 2018 04:31:31 -0800 (PST) X-Received: by 2002:a1c:5715:: with SMTP id l21-v6mr338240wmb.17.1542198691689; Wed, 14 Nov 2018 04:31:31 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1542198691; cv=none; d=google.com; s=arc-20160816; b=hTIrT79uRQrjGmDwDPLnC6UTOZoK6yiSlzFXpKLb6inKIPtwg3bQbIjrkibixUj5My SLXAhMw4rTXKB4uylauqvry7W/XgpdnAB3qTmDDjvJSl5S10SM3PWLKZZLKLgZCXsBFW zUKjA37gu5FXI6fC1Xuym15fcQS+Q5Qtl9IY3MTjXW1z89jG/YCh7IgZ7fuCp+XwBBt/ mnScGMJzItDNkLdv9B5WsYfEkRvhGOcCpMmUwGAiJyO6/DcZ+CItRtNCzg5BnyF/FuMz aScC+KUiUzb7ZmvKXGcKojqKtCdI7gJlzKEvCFLFQgL+2Y5AB2Za/9H+KtARdKcs5el2 KpHg== 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=MpRzvCeoF/EdBDW81sdCx9Sbk7c9Dc8Wa6vuDA8V7DM=; b=yYDaZMHUUg/nG45nILZuLSz4a0zYPGuf0Fc4p26KWNBXVyns1nJFLpdu3aeTvuJz5J i2JRwkegwT7elwoldyr9MfNUFdZPUp9u+lW1x7G7n4/VMVrLG2PN6hGW4tiMINuhNiaT MVnkRtCHnzdFZj1swBzLv3vcWX93GBz5vtswCSkJyTeTRggDNcNRYRUfrHhIJ39zORa8 mFL8JOz0VGWqDV/hrL4manZjGwlqlPeGWwTO+HnCHZ7wH4TNP4alPfDk4fq10mO1iyuF BpjyK/scBWYAOLmXm9g1MdJkbpO+lU8gk1Cd/G5fyJXCf7aC6VBmcMapvwRVzk9ZznWL RM2w== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=Ew2Zig+K; spf=pass (google.com: domain of benedikt.ahrens@gmail.com designates 2a00:1450:4864:20::42c as permitted sender) smtp.mailfrom=benedikt.ahrens@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Received: from mail-wr1-x42c.google.com (mail-wr1-x42c.google.com. [2a00:1450:4864:20::42c]) by gmr-mx.google.com with ESMTPS id h137-v6si609911wmd.1.2018.11.14.04.31.31 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Wed, 14 Nov 2018 04:31:31 -0800 (PST) Received-SPF: pass (google.com: domain of benedikt.ahrens@gmail.com designates 2a00:1450:4864:20::42c as permitted sender) client-ip=2a00:1450:4864:20::42c; Received: by mail-wr1-x42c.google.com with SMTP id j26-v6so17093265wre.1 for ; Wed, 14 Nov 2018 04:31:31 -0800 (PST) X-Received: by 2002:adf:8304:: with SMTP id 4-v6mr1716212wrd.285.1542198690796; Wed, 14 Nov 2018 04:31:30 -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 n131-v6sm25810159wmd.7.2018.11.14.04.31.29 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Wed, 14 Nov 2018 04:31:30 -0800 (PST) From: Benedikt Ahrens Subject: [HoTT] Homotopy Type Theory and Univalent Foundations conference in Oslo To: homotopytypetheory Message-ID: <45305dd0-7b23-2dcc-1d6f-11719e19b745@gmail.com> Date: Wed, 14 Nov 2018 12:31:28 +0000 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101 Thunderbird/60.3.0 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=Ew2Zig+K; spf=pass (google.com: domain of benedikt.ahrens@gmail.com designates 2a00:1450:4864:20::42c 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: , This is the first announcement for the workshop on Homotopy Type Theory and Univalent Foundations Oslo, Norway, 12 - 14 June 2019 https://cas.oslo.no/hott-uf/ 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. Tentative list of invited speakers: =E2=80=A2 Paolo Capriotti =E2=80=A2 Evan Cavallo =E2=80=A2 Liron Cohen =E2=80=A2 Eric Finster =E2=80=A2 Dan Grayson =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 & University = 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 (chair)(University of Bergen) =E2=80=A2 Bj=C3=B8rn Ian Dundas (University of Bergen) =E2=80=A2 Erna Kas (Utrecht University) =E2=80=A2 Camilla K. Elmar (Centre for Advanced Study) --=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.