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.1 required=5.0 tests=DKIM_SIGNED,DKIM_VALID, DKIM_VALID_AU,FREEMAIL_FROM,HTML_MESSAGE,MAILING_LIST_MULTI, RCVD_IN_DNSWL_NONE,T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 24053 invoked from network); 28 Apr 2023 11:32:14 -0000 Received: from mail-vk1-xa3f.google.com (2607:f8b0:4864:20::a3f) by inbox.vuxu.org with ESMTPUTF8; 28 Apr 2023 11:32:14 -0000 Received: by mail-vk1-xa3f.google.com with SMTP id 71dfb90a1353d-4438f22c686sf2870242e0c.1 for ; Fri, 28 Apr 2023 04:32:14 -0700 (PDT) ARC-Seal: i=2; a=rsa-sha256; t=1682681532; cv=pass; d=google.com; s=arc-20160816; b=w6kFaUMu9aMzCo5/8gey4VsFqnZ3W45DzfD/+xgOqpHY2scYxk7lg3y6S7WPwQTdmf UFW7sp5DmcT98P6bEv/d15ILGUodo4qHzteQTkRf/KsgSGT7n14YUrt7lrE1dQ4z0Bfd nS/LIKej6pl1G5avB4wka0Gdy8sZeEHliHy0tYzzoKg3+cqIagjqpNHf5HvyedoWUC6y 1tX5/ADa0L320iSzwKQS7i6P5GVb+zY/5BDhMTUQWhw5E1kwxrNAdfVKbnOeFCGdna7p 3/0m5GDAZgwWfnpBd6md+RBQzfYNkcQGoOfm0WAdt6Lw/kffVUgepOfnMa3XIRd05U7/ aMXw== 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:date:message-id:subject :mime-version:from:sender:dkim-signature:dkim-signature; bh=DTpa2Q7nME/qNaf2jq6ZOjlC2yuuQsNwaNgcW3KC9V0=; b=QFbV/XVCczO6B7kC/AatMkTdcVSIWY81yfsWS9iFvCmFGLalUQtaf0tDyBYf7JDUbP sRb4QFmZVv+R/U56xaaRZJvdaLACi8LiFLebbRn/ly/w9GZzLOdTkw8N9HZqgifPqmCK j2bi8cf0pqzNrnIcfgV4imK9FbBSlmrVnBts86Cts9KGxHDj5l0p5TOuLpw+2vl5qL/4 2zjkubhLRbIFcf2R0CjIzjbQ0O06mM4QN1GnyO6envbRZPXFHPyX+pMaX/thmXK+xX60 KJ23aFplruqlCgSEsztRSYy0GLnsXPpHcSMfH2LYT93sDb5Z4wV1/6lYplJgyqupeJqF QGZg== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20221208 header.b="PFwLBF/W"; spf=pass (google.com: domain of steveawodey@gmail.com designates 2607:f8b0:4864:20::731 as permitted sender) smtp.mailfrom=steveawodey@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=20221208; t=1682681532; x=1685273532; h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post :list-id:mailing-list:precedence:x-original-authentication-results :x-original-sender:to:date:message-id:subject:mime-version:from :sender:from:to:cc:subject:date:message-id:reply-to; bh=DTpa2Q7nME/qNaf2jq6ZOjlC2yuuQsNwaNgcW3KC9V0=; b=ZHmo+Qh/l4qIe02nSFpMmaReaxb8MOjFDw5xFGvZhmxzyGXm+Keh2iElsdVEK2BZot 5EhzgpcjII3l+fgbVGvz3q1ddhB7VExGUV7XKJw+57Nr/LFjxAoEjQvq6r2/vieOWA4V 0gbDFoIUV+Ws1nhTf3sw7Hg4U+QBk+22hR/u7Nue+W0VQAZtv2/R0EQrQR6f0JgXQqO4 konyUrDmHZHTHbusk9hrgZVte/ilylRpDs+6V1XV+3cNeQnHe6nY4DComrc750m9tEua dW1l+FNjpo9xsuLzbOPuIF0GXrmlNSlkBdfWSspfIIv22ZQV72wMDkqFe9c73MZ1W6NK s2yw== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20221208; t=1682681532; x=1685273532; h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post :list-id:mailing-list:precedence:x-original-authentication-results :x-original-sender:to:date:message-id:subject:mime-version:from:from :to:cc:subject:date:message-id:reply-to; bh=DTpa2Q7nME/qNaf2jq6ZOjlC2yuuQsNwaNgcW3KC9V0=; b=BVidRj/h/Mz/5eUUnUYtNow0yyDMxPJXSA4BcNLJzCWzC997BrpClmtHxNf8Bn0Z/l iGb3+slDVNfv2fEcoIeKH3/db4reggBAeMBFBbSGE6fOVibpSNYWuPQ25Ooi10W5Idt2 +yj2O4MPnmH93gmDoBCrsJWOQ1+nowAu3yBzjapHN3gu2JheysKP0MV5fR/roYRuevBC tKXsFP/xVJE2Q+ixd0BGY1Y1GOJNDvw9j7qRsQUdfNhEsOF2CWdq6nYc4X57Nvr0pmLa 1/QirCRJxtQiAl9Hj07EdDT6Cu8PglGH+VFOv0CwvG080yj27xZkd9aoQ9SgWX+MTzQR KBXQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20221208; t=1682681532; x=1685273532; 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:date :message-id:subject:mime-version:from:x-beenthere:x-gm-message-state :sender:from:to:cc:subject:date:message-id:reply-to; bh=DTpa2Q7nME/qNaf2jq6ZOjlC2yuuQsNwaNgcW3KC9V0=; b=WNX/HOd90sjXoqRj9vlLcexyTElAqJxwnbzwbhL0MNV2HUWjXXupPvkGKT3u42zK8b H28YASaiZnf8k6FKFfS2DUzQcZxCs/MMVxm8Jez2UjO18MWY0r4fLnquZ44HPEaCdBGf mMrJwjDWCu/hmTGdKpfjbX+PaebRpuZfV4R5cQI3W0DfMvp+i/CTsjj4u6u2/9+2uAnC Mz4gmeQH/1yxZYSY79ZZy15igEKbOlNdTs5i/Zty8edNqqmNlLmxTZNLXgYKGe7AXxeC or52b8+3FCPST2QJ3JUcSjfubcek4F+2qJcvogeJWJkPcVoIHrNYhwhkPuS/OZI/9c2h ERAg== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AC+VfDy8Rd6farJ4EKQkWbNKUByEcIVSLk4LMdjDmsOgXDHQklzX+9V1 jBYFO4KGxZEJaMcn7/8E7RQ= X-Google-Smtp-Source: ACHHUZ680zEzUwQCvQLTjvBFY3rdPTCoY+Wj5NywHMweIXTAL0Yq0hejoy54EcJgp+/5biIMeRmjkg== X-Received: by 2002:a1f:9bd3:0:b0:443:a50d:b427 with SMTP id d202-20020a1f9bd3000000b00443a50db427mr2658333vke.2.1682681532412; Fri, 28 Apr 2023 04:32:12 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a05:6102:e11:b0:430:362:2d2b with SMTP id o17-20020a0561020e1100b0043003622d2bls1089886vst.6.-pod-prod-gmail; Fri, 28 Apr 2023 04:32:10 -0700 (PDT) X-Received: by 2002:a05:6102:7d0:b0:425:e36b:c2be with SMTP id y16-20020a05610207d000b00425e36bc2bemr2619676vsg.23.1682681530856; Fri, 28 Apr 2023 04:32:10 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1682681530; cv=none; d=google.com; s=arc-20160816; b=vd9EQb1gBZp2m8WF57gzlNBRelirec+kicugjqgpmd5ir7HyadYOIt+HbrAgvfB7fX yG7yzyqFnIN7y+Xw4c48B5X093WILhRLSI4AlZeyblGjmRFtHYiG/i6bP8NQZxpDsxHR XNy/HHo4F0ltfIIj0cBEBPmP+RsTSEQgg0grc2XwEPEpfzpT/sl5huiztzAcaG/G5185 xFIsFJGp1GZuA2qny3AGpzWpR4zyMOozjUqgwnEq1w4SGt1P5eU8R+jXwb6OM4wTbNN8 Jm0td0CQMZRAyrb2M6jB7MVkH4f6xtNtdn3UxZomK6xwVh4AkclbCzUhtshAphe+H1PZ 8p8g== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=to:date:message-id:subject:mime-version:from:dkim-signature; bh=W3Iw/wkC5PUJ4y4T9euQAT5lVE0Vt6x4TIVgkP3XW6s=; b=f5cQE1NPz9y/y5LTy0b9lhsZBur8K5RUYZOb0CVyAyM3uR7WDYpGBKgPU4u7TWJe2t rCTVpwT31cAv655HDRAXCvOJv7M86cY3BAAT+zkbq0EneTima3hzLAul1PekYXdWxQ1d INhT5CP6rnvvpXYhhBapt0KWQBr9LyQjtO5A7OXM/fADIjk1EvCsHFd+ibIvfJz21jfW mQYpxJ9VXwSZWBDT+hoJOkDjIwjO6kSzEGe+2NAYRmdsYd0bCPFby4ZLpVVPIO1wG0/C /sCAr4pZ9yDFvCduZ7Viqkz4WtHYFp3Gy7FWwgKz1eKbaT2nXRm5P3prPYkhhHIrs8my 8bzQ== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20221208 header.b="PFwLBF/W"; spf=pass (google.com: domain of steveawodey@gmail.com designates 2607:f8b0:4864:20::731 as permitted sender) smtp.mailfrom=steveawodey@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Received: from mail-qk1-x731.google.com (mail-qk1-x731.google.com. [2607:f8b0:4864:20::731]) by gmr-mx.google.com with ESMTPS id i1-20020a0561023d0100b0042c41134c2asi1312786vsv.1.2023.04.28.04.32.10 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Fri, 28 Apr 2023 04:32:10 -0700 (PDT) Received-SPF: pass (google.com: domain of steveawodey@gmail.com designates 2607:f8b0:4864:20::731 as permitted sender) client-ip=2607:f8b0:4864:20::731; Received: by mail-qk1-x731.google.com with SMTP id af79cd13be357-74e07c2ee30so475379485a.1 for ; Fri, 28 Apr 2023 04:32:10 -0700 (PDT) X-Received: by 2002:a05:6214:2687:b0:5e7:56cc:c04a with SMTP id gm7-20020a056214268700b005e756ccc04amr8693485qvb.47.1682681529872; Fri, 28 Apr 2023 04:32:09 -0700 (PDT) Received: from smtpclient.apple (pool-96-235-63-8.pitbpa.east.verizon.net. [96.235.63.8]) by smtp.gmail.com with ESMTPSA id y144-20020a376496000000b0074e0dd4de87sm6632291qkb.111.2023.04.28.04.32.09 for (version=TLS1_2 cipher=ECDHE-ECDSA-AES128-GCM-SHA256 bits=128/128); Fri, 28 Apr 2023 04:32:09 -0700 (PDT) From: Steve Awodey Content-Type: multipart/alternative; boundary="Apple-Mail=_1406742F-A045-4681-8F09-7E98C977AB06" Mime-Version: 1.0 (Mac OS X Mail 16.0 \(3731.500.231\)) Subject: [HoTT] HoTT 2023 reduced registration ends May 1 Message-Id: <7C5CD1FD-DE98-4FA8-93CA-FE865F944804@gmail.com> Date: Fri, 28 Apr 2023 07:31:58 -0400 To: Homotopy Type Theory X-Mailer: Apple Mail (2.3731.500.231) X-Original-Sender: steveawodey@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20221208 header.b="PFwLBF/W"; spf=pass (google.com: domain of steveawodey@gmail.com designates 2607:f8b0:4864:20::731 as permitted sender) smtp.mailfrom=steveawodey@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: , List-Unsubscribe: , --Apple-Mail=_1406742F-A045-4681-8F09-7E98C977AB06 Content-Type: text/plain; charset="UTF-8" [Apologies for duplicate emails] *** HoTT 2023 *** Second International Conference on Homotopy Type Theory *** Carnegie Mellon University *** 22nd-25th May 2023 The reduced registration rate for HoTT 2023 closes May 1. Thereafter registration will be possible until 14th May at a higher rate. The conference will take place from the morning of Monday 22nd May to the evening of Thursday 25th May 2023 at Carnegie Mellon University in Pittsburgh. You can register via the website https://hott.github.io/HoTT-2023//registration/ which now also includes a list of accepted talks as well as registered participants. With best regards, Steve (on behalf of the Scientific and Organising Committees) -- 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 email to HomotopyTypeTheory+unsubscribe@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/HomotopyTypeTheory/7C5CD1FD-DE98-4FA8-93CA-FE865F944804%40gmail.com. --Apple-Mail=_1406742F-A045-4681-8F09-7E98C977AB06 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset="UTF-8"
[Apol= ogies for duplicate emails]

*** HoTT 2023
*** Second Internationa= l Conference on Homotopy Type Theory
*** Carnegie Mellon University
*= ** 22nd-25th May 2023

The reduced registration rate for HoTT 2023 cl= oses May 1.
Thereafter registration will be possible until 14th May at a= higher rate.
The conference will take place from the morning of Monday = 22nd May to the evening of Thursday 25th May 2023 at Carnegie Mellon Univer= sity in Pittsburgh.

You can register via the website

https://hott.github.io= /HoTT-2023//registration/

which now also includes a list of acce= pted talks as well as registered participants.

With best regards,
Steve (on behalf of the Scientific and Organising Committees)

--
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/msg= id/HomotopyTypeTheory/7C5CD1FD-DE98-4FA8-93CA-FE865F944804%40gmail.com.=
--Apple-Mail=_1406742F-A045-4681-8F09-7E98C977AB06--