From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on inbox.vuxu.org X-Spam-Level: X-Spam-Status: No, score=-1.0 required=5.0 tests=DKIMWL_WL_MED,DKIM_SIGNED, DKIM_VALID,HTML_MESSAGE,MAILING_LIST_MULTI,RCVD_IN_DNSWL_NONE autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 14101 invoked from network); 19 Jan 2023 22:02:24 -0000 Received: from mail-ua1-x93d.google.com (2607:f8b0:4864:20::93d) by inbox.vuxu.org with ESMTPUTF8; 19 Jan 2023 22:02:24 -0000 Received: by mail-ua1-x93d.google.com with SMTP id p44-20020a9f382f000000b0060ae73237b3sf956411uad.14 for ; Thu, 19 Jan 2023 14:02:24 -0800 (PST) ARC-Seal: i=2; a=rsa-sha256; t=1674165742; cv=pass; d=google.com; s=arc-20160816; b=EJX2RJ9y5Lq6R+M2mih3+S1CRnzDvaDRdyjkKQQkRHzdHyq7a2YJa4gAGo0zzr8YMd 91N4FndvF7u5AYKe/Zsly+uGHnq6uIbn808Y7gdnearel9ub8I9jfSMLKVCw0DEvCGAZ +RlaaeEu40u83OyaJ3YMMSVyVXQ5XahbLw6kJAb7MszF5qAO5iAZ/jKhCnhLkBw7G8oY 2Ip0fnZNv1VtVnqvhMMX+yz+SmmgA8/J6JXd4c6f/vR+oR2woU3WuxurpXCdeLYBqrE5 +0Z26P8zsEUntSnERh09KCpFPukNzOUQJ9xI3HH3BGzVbxKhUASNuylltRh1NnQ242Jt 2C3g== ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post :list-id:mailing-list:precedence:to:cc:date:message-id:subject :mime-version:from:sender:dkim-signature; bh=No3148Ua+XahD6mS3rNx3Sk57JBEs4F9Q554siBA9+0=; b=eTqNd+ox4Ce5LcwecBl00adNLSd62RYptTC9leTHgl2W/ZMc7zgaptpr4P3Jtx4YoN rJWdSSyn8AFcGH65h+9NuaCy+uyGKLAAEBqVu88EmK/EgmVLRksFSN11AAZUp2/VwNEI pYh0MupDp06Q7rQ/QSVJKZnViRw3iRIu6EyITh3ts98KHqHaKEqCg+ucpEPBG+bMly+b GmLoZ1hLgOoVY53wgFKcatY/aa9oRDRVyUqDc7ENpydYs3f14UidQcU9K0UNdkHvp2np pg1nBGU5jokM/Ly3xz9JOnY5t20QfJGK2SglZbao7PNZ6pBx9wpeVDnvcKrBf3e4eBrZ X37w== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@cmu.edu header.s=google-2021 header.b="W5/yBqH5"; spf=pass (google.com: domain of awodey@andrew.cmu.edu designates 2607:f8b0:4864:20::1136 as permitted sender) smtp.mailfrom=awodey@andrew.cmu.edu; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=cmu.edu DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20210112; h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post :list-id:mailing-list:precedence:x-original-authentication-results :x-original-sender:to:cc:date:message-id:subject:mime-version:from :sender:from:to:cc:subject:date:message-id:reply-to; bh=No3148Ua+XahD6mS3rNx3Sk57JBEs4F9Q554siBA9+0=; b=E7q4PVGAWjEsFnphUBL2RoQ8yehd2R5Cqm/+s0/XXr3OEf4nSfe63Mk/e+W+RRur7H h1JYmtUR3VgHyTHck92Q2HV3lrHQaxEWxwdlV1t1HL+7sqIZHKq4j7R57XXVRuJ2g85z QAzpECl6keFICQl2qs93UEu1fLflKo7lMEKTUTanpFh+R0WqXOKS9zv/rgS3tAMFyS7k qDHFi0hhwfpDWwz9Y6Cxf7Oc4lq0DLM8phjG8ccN8OxcNXGYYsA8E2JsDa0jiS9CPfQh qKw6dCpbQ1ep8z+ciT+eJK7bp4KLD5FbU5dnprxKcriFAD1QNvoz4XJJaE2VR5q4wRYy q8dA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post :x-spam-checked-in-group:list-id:mailing-list:precedence :x-original-authentication-results:x-original-sender:to:cc:date :message-id:subject:mime-version:from:x-gm-message-state:sender:from :to:cc:subject:date:message-id:reply-to; bh=No3148Ua+XahD6mS3rNx3Sk57JBEs4F9Q554siBA9+0=; b=UNK40Xwg+0CaEC1TQvPVEnwOl9RoB7GrukIlDw839KkIWZ8U5ouboCGniRm//2PWDX h3C3ql826g4t4WqygT2Vi8CSiIfshaxSg3GaWVc/jUjoEOX6H1PpOeTjY1UUHVp73iND eyBZjdO4birGzaRuW7Vf4M+s/KMf4DDPxygcBzJQ4V/lDXujV5XOlu5YGQJHjqhP+oUM f4+NHR8/KszuB1JzJ9ZQw2TAtcpWgHd6gjY9hdxhk6ZgsykAzel565egGQlKJJOoB+qo LpoYSR6Wzu5ML2Wgtq2XieymvbZnBW5JPbrNLfiCpQB62txZNQMnMAeQihiabg6GIhOv M8wQ== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AFqh2kojsAdruErSoVaMvIy8f7hJLFWLRazC46ats3M3T7RjqzrTpoLg Tb3wqR1cwqBYhsWJoNIHz4g= X-Google-Smtp-Source: AMrXdXswcjss1bj9LMmSux2vk9P5e7moTbDfn23t0P0+yE2gfpbCCsGJlxYKHu9JJZVOD3CaptZCtA== X-Received: by 2002:a05:6102:5492:b0:3d1:f60a:f8e9 with SMTP id bk18-20020a056102549200b003d1f60af8e9mr1675998vsb.12.1674165742078; Thu, 19 Jan 2023 14:02:22 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a1f:91d2:0:b0:3dd:f98f:ae7a with SMTP id t201-20020a1f91d2000000b003ddf98fae7als553842vkd.8.-pod-prod-gmail; Thu, 19 Jan 2023 14:02:20 -0800 (PST) X-Received: by 2002:a05:6122:2086:b0:3dd:f28e:ca49 with SMTP id i6-20020a056122208600b003ddf28eca49mr10346802vkd.7.1674165740423; Thu, 19 Jan 2023 14:02:20 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1674165740; cv=none; d=google.com; s=arc-20160816; b=EF2puozRnac5mjWoqwxuByvTLsoz89ZN/R/HfzyGmK5DMgbva8MgEJfcjf0GjdHDoz W4kNBlftGxPeIIZlQab4h/wEjeSMopqaYkBaHiI/0skVhKoXL82CM5VBY7qfMpcWqv6u VlA4PaYdmH2mZ+T7mzHrqJPbkVCP3nr6dWzDi0NgYodPDehHoLBfRPynMex2tNkgOmWF Aun1q7KAhu6TCUtY6IBnV9zgfG4K3uHOjFq/k/Zg7amywCQfOXzJ1+rBJKQlcd76vrpm UznbwpPJohkayltCFaLUeuGUtxA6YJ8d0nRqeRiPelu5zo8rWOaEbwwuRBfMWznw5207 XvEA== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=to:cc:date:message-id:subject:mime-version:from:dkim-signature; bh=AgykEm4/5cKK6sYYO4TAgKv+5ZeEAm4S7OqM9i3uM5U=; b=AzMHkkWZX5/mxfczwVUp7SuBT5IOZigvQNkVreVxm0YD6fKDX/3eKIqW63uPvy1rSw GXIxrotdlApzf/+BzRdvfa7wYIu0VgobYCnPUoIxLQKJctxSoNNd6zUi1kTTbuv7bM6d jiyGl5lVm8HlFUHHUYeF+c49l6QhJdOx1vgxHN2MDmCu46RafkI926VqotCVOeCW3zTw 9Lths7PK/0GB3NUu98Qt/4hkQeATdv8KvPyXehdv1uwqb6BqBMscY3jMEEUkWa1bUaYR KyzF2TF26J/nNTz5kP0RGMU97tpAjpxO36c+jlj6KyKG8jpiMf4vzU+xhzu3qNfaVps7 wTcg== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@cmu.edu header.s=google-2021 header.b="W5/yBqH5"; spf=pass (google.com: domain of awodey@andrew.cmu.edu designates 2607:f8b0:4864:20::1136 as permitted sender) smtp.mailfrom=awodey@andrew.cmu.edu; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=cmu.edu Received: from mail-yw1-x1136.google.com (mail-yw1-x1136.google.com. [2607:f8b0:4864:20::1136]) by gmr-mx.google.com with ESMTPS id t131-20020a1f9189000000b003e1bece8682si573471vkd.5.2023.01.19.14.02.20 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Thu, 19 Jan 2023 14:02:20 -0800 (PST) Received-SPF: pass (google.com: domain of awodey@andrew.cmu.edu designates 2607:f8b0:4864:20::1136 as permitted sender) client-ip=2607:f8b0:4864:20::1136; Received: by mail-yw1-x1136.google.com with SMTP id 00721157ae682-4c131bede4bso47474997b3.5 for ; Thu, 19 Jan 2023 14:02:20 -0800 (PST) X-Received: by 2002:a05:7500:c85:b0:f1:8108:f488 with SMTP id fu5-20020a0575000c8500b000f18108f488mr1249819gab.6.1674165739061; Thu, 19 Jan 2023 14:02:19 -0800 (PST) Received: from steves-imac.wifi.local.cmu.edu (cmu-secure-128-237-82-4.nat.cmu.net. [128.237.82.4]) by smtp.gmail.com with ESMTPSA id a19-20020ac81093000000b0039a610a04b1sm19409613qtj.37.2023.01.19.14.02.18 (version=TLS1_2 cipher=ECDHE-ECDSA-AES128-GCM-SHA256 bits=128/128); Thu, 19 Jan 2023 14:02:18 -0800 (PST) From: Steve Awodey Content-Type: multipart/alternative; boundary="Apple-Mail=_12772893-037E-44C5-858D-EE354BEDB439" Mime-Version: 1.0 (Mac OS X Mail 12.4 \(3445.104.21\)) Subject: [HoTT] HoTT 2023: first CfP Message-Id: <80C492D2-43F7-446F-8D0E-1A26DBFD726A@cmu.edu> Date: Thu, 19 Jan 2023 17:02:18 -0500 Cc: Nicola Gambino To: Homotopy Type Theory X-Mailer: Apple Mail (2.3445.104.21) X-Original-Sender: awodey@cmu.edu X-Original-Authentication-Results: gmr-mx.google.com; dkim=pass header.i=@cmu.edu header.s=google-2021 header.b="W5/yBqH5"; spf=pass (google.com: domain of awodey@andrew.cmu.edu designates 2607:f8b0:4864:20::1136 as permitted sender) smtp.mailfrom=awodey@andrew.cmu.edu; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=cmu.edu 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: , List-Unsubscribe: , --Apple-Mail=_12772893-037E-44C5-858D-EE354BEDB439 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset="UTF-8" *** 2nd International Conference on Homotopy Type Theory (HoTT 2023) *** Monday 22nd May - Thursday 25th May, 2023 *** Carnegie Mellon University, Pittsburgh (USA) This is the first call for papers for the 2nd International Conference on H= omotopy Type Theory (HoTT 2023).=20 Abstracts (no more than 2 pages in A4 format) should be submitted via Easyc= hair, using the following link. https://easychair.org/conferences/?conf=3Dhott2023 Submissions open on 3rd February 2023 and close on 3rd March 2023.=20 Invited speakers of the conference are: Julie Bergner (University of Virginia, USA) Thierry Coquand (Chalmers University, Sweden) Andr=C3=A1s Kov=C3=A1cs (E=C3=B6tv=C3=B6s Lor=C3=A1nd University, Hungary) Anders M=C3=B6rtberg (Stockholm University) Further information on the conference can be found at the website: https://hott.github.io/HoTT-2023/ With best regards, Steve Awodey (Chair of the organising committee) --=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/80C492D2-43F7-446F-8D0E-1A26DBFD726A%40cmu.edu. --Apple-Mail=_12772893-037E-44C5-858D-EE354BEDB439 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset="UTF-8"
*** 2nd International Conference on = ;Homotopy Type Theory (HoTT 2023)
*** Monday 22nd= May - Thursday 25th May, 2023
*** Carnegie Mellon Uni= versity, Pittsburgh (USA)

This is the first call for papers for the 2nd International C= onference on Homotopy Type Theory (HoTT 2023). 
Abstracts (no more than 2 pages in A4 format) should be submitted via= Easychair, using the following link.

<= /div>
https://easychair.org/conferences/?conf=3Dhott2023<= /div>

Submissions open = on 3rd February 2023 and close on 3rd March 2023. 

Invited speakers of the conference a= re:

  • Julie Bergner (University of Virginia, USA)
  • Thierry Coquand (Chalmers University, Sweden)
  • Andr=C3=A1s Kov=C3=A1cs (E=C3=B6tv=C3=B6s Lor=C3=A1nd University, Hun= gary)
  • Anders M=C3=B6rtberg (Stockholm University)

Further infor= mation on the conference can be found at the website:
=
https://hott.github.io/HoTT-2023/

With best regards,
Steve Awodey (Chair of the organising committee)

--
You received this message because you are subscribed to the Google Groups &= quot;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/80C492D2-43F7-446F-8D0E-1A26DBFD726A%40cmu.edu.
--Apple-Mail=_12772893-037E-44C5-858D-EE354BEDB439--