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,HTML_MESSAGE,MAILING_LIST_MULTI, RCVD_IN_DNSWL_NONE autolearn=ham autolearn_force=no version=3.4.2 Received: from mail-oi1-x23e.google.com (mail-oi1-x23e.google.com [2607:f8b0:4864:20::23e]) by inbox.vuxu.org (OpenSMTPD) with ESMTP id 66fc3752 for ; Thu, 5 Mar 2020 16:37:05 +0000 (UTC) Received: by mail-oi1-x23e.google.com with SMTP id l15sf3193742oii.1 for ; Thu, 05 Mar 2020 08:37:04 -0800 (PST) ARC-Seal: i=2; a=rsa-sha256; t=1583426223; cv=pass; d=google.com; s=arc-20160816; b=bEdjYsiDyljlFtg8XuBPbsDwrXQ2eCri8yD9RdyliqeFqhpgjqNZXnxIs0nV2u/Wwx TK6Y7UF1wQb6sUxTlrErchM4sO1C/Kqj9NUbGZkl7WUIvH7CM8StajU71NYyUyVgFyGO wLcvY8+lTEz6WlctODRDe+dTrpFOVFn5Bdt6ZW0rc3eUsQNqPrE2d/2CeO7gEyitAubJ FTPCG/BP+wSbKKL814Er4vIaTvFdeSjKVaGyS3iMzq4sDTgayQZnZ+1oti/gdRXWPJql 4spu0pgMhbbpAXarE9YQ5b50TQ7gDhu0A0Rcj0WAUFlr2v58iROdqcwU3faBPd58lBgD Xk0A== 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:to:subject:message-id:date:from :mime-version:sender:dkim-signature:dkim-signature; bh=cWODkW7qCOlQJyIpE1J4SpKcSxZGniGcs9ih46ZT5qA=; b=uzSpGMXYDCBU7v54jxxf9f3qx+ONbC9IAq4Gq6Al7vAYsduqfIIFGEowkrh98egOgA 45YwQ8dwub5b1qzVwAwPqgdtL+VOMxq1BJgd85W0fGZOCb2JovIj/rdb+AoXZ0K/SL53 4PK2cEx47nmdMgiudmzelgg3XMoxWKedB2PReor2VfUHPec9xixzWHAlGhALOusc81Fq dZpT+UZ5fZPS3J/P7wj+JpdULIpOs/5BOEDLdefkY4+PnGmH/D0dhW3vHpKltrMUNCGx geqTJ6KYUb/vfe6TytpnIS+DKZPYsnKkI/gYLOLq5dulBuW2F4WLk6s1eFC828gorXoZ q5Cw== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=Uor0rRyM; spf=pass (google.com: domain of paige.north@gmail.com designates 2607:f8b0:4864:20::835 as permitted sender) smtp.mailfrom=paige.north@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:mime-version:from:date:message-id:subject:to :x-original-sender:x-original-authentication-results:precedence :mailing-list:list-id:list-post:list-help:list-archive :list-unsubscribe; bh=cWODkW7qCOlQJyIpE1J4SpKcSxZGniGcs9ih46ZT5qA=; b=LJcGI45scC1eFN/ZuiOTmuBN3PjqgDtWfJmAQMC0htCtGg6eqr4f6yi06GnRXiuJK6 kSrtMkHXPS6emrGDM4J3OIar577qCqVgAIdr9C5m5vTbmqft2tLawYhwDdCw2oeNZGsr OrOLfrC0k7UXpGwS017spKFCogY7+s1nGSjx4GaueGR5AIcwcooyDfTwbTeSb4fW5I6m sSc06XHVCfvhWVz6SpXWExy9oAGTbVFrPEaSCQGzTNa8R5yOCQCRkRSDxPpQsFism2lx ugryjMv6g4V+0EOrZFjw/XAEdZlyU+xBiYVzIDrTU+qufBETHp2QLUpSI30W1lceJo9Q LrDg== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:from:date:message-id:subject:to:x-original-sender :x-original-authentication-results:precedence:mailing-list:list-id :list-post:list-help:list-archive:list-unsubscribe; bh=cWODkW7qCOlQJyIpE1J4SpKcSxZGniGcs9ih46ZT5qA=; b=RiYrmEavJoljOIXgPSn9brZaJFOZ+C3mmfS1jX3H4YmK69vmvca0PjhHA5qQn1Kccb UI+DHIo6z50IRtsPa05RMpBEq7RL5YVsM4qQ0VxP6KnkbnKsEu/VsbceU140TKFBvER9 qCZ3YQtoU3m/pjVeogQQA1yXUD/Q4GwoqOT77zfF1ph99SBdGgL3c9zNFZdZnuX7WJ5s yHGY53itGhBfeNe7gHR80Lr1SDoTceAlqB7RGi70epAidFWgXOvNI1Uj1cQfMLX+0D0C rHnQZWjZkZ+qXPP/r9TaTaD/91Ae2VAZycZS2ectZppi6H4RPhcu8za3Jrxt1VXIM7cn q5rg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=sender:x-gm-message-state:mime-version:from:date:message-id:subject :to: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=cWODkW7qCOlQJyIpE1J4SpKcSxZGniGcs9ih46ZT5qA=; b=dpZ5EkcDEYV/AxDFTLRf3gzTDfID2FOMbZe6FH6VfnF7Vf8rth1m/GAsn4RHjvFIX/ QBZ8lhsaEDhuSnrMJm2qqO5tc6zaa/OhJI69ky0sSnRWJxqVM5plgIQPA+5Z46beDxyf roPhmwM4IBn2i6lvAE2sZZoJijjuoA4OEzb/59YG/zlfwbcw2gWo7OLQGfOvObS4Pzv0 H9aqw8EqJXMFB8b3Mw51GMQM+gX5kNM5vwAITUUoOKq8lQeidYRHoQzEU+xmfwkY3yBJ dEMLjKOAKtLM2h7oQ7xwrBUHPJtXzgrZszn7ObWSsgvfs9cuMGfxvlSs79O3VmuViRT1 SC6w== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: ANhLgQ1QpR1jSQGAJdAxM0+xaeaJAEC+4zHFErCnXix3fNLzjoDYjZpa v+ygj8ciYB0k45Xw03Cgdrc= X-Google-Smtp-Source: ADFU+vvyi7viLrh4AMibVQWiFkaKc56QVh5XPGS6861G2p7qcCX9u/zEQwx1fcQnrr3tBhcEVVbbyg== X-Received: by 2002:a9d:7c85:: with SMTP id q5mr7592988otn.341.1583426223131; Thu, 05 Mar 2020 08:37:03 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:aca:4dc4:: with SMTP id a187ls988223oib.4.gmail; Thu, 05 Mar 2020 08:37:02 -0800 (PST) X-Received: by 2002:aca:c7c5:: with SMTP id x188mr6384395oif.130.1583426222687; Thu, 05 Mar 2020 08:37:02 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1583426222; cv=none; d=google.com; s=arc-20160816; b=jzQXABX4s+jlp+ALtAQPqDbexrsjsCG7VBSmHqJqenoYlYCiZZhJtVjDVaTSLndjQT yBr4WzKovR0upIvArTh8dCHlkSycZjAKyzia8jdEVM64G4ysuWD/wpbaSj9Vv99aaj5Y FzNVaYaxr+ip4kVGtXdUvHKNX8vgRl0X/AEPseKLJV7c158+W7upmA5hgSxiC7N0sud5 jb4JZJ6WPtruXjmQpAQBayC6RIb8ayaBZBmiYsjbBe5Z1uF1JDWk2fz9OBWGlTfG+Uu/ +C5s0OcTzZgfD5zMWLjIeB7NWIKduQe6Zd/byUtEkTkSDrK/21TqyJ7+DroS4P+zyUyY JyJw== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=to:subject:message-id:date:from:mime-version:dkim-signature; bh=NTQRaQY4jP894FQ/FSy/1T6g9re5cmC48g4CdbZRtNY=; b=wfJdibFc3zfgfKVPoZCOfxyYabrQnAeGMcb0SNyvWFPacM6gWgLnclDH9gEW4jYeH5 gkjtH0gVnPJAuj7Pz35ThzZGQqS+c2QF/36z3nng6Qd60Y5avUYNTZacYZivv+VyrXEP 1NELIWOi9LkW69V8NNF5RkupOAjiSxnk7kr22r2E5aEsyAsc+QvuaoSVuNOPbACKBnxm wRt0A5OT0w+IM0gkvp+sNHk53g0BQaauyW8V+gGwm9jn5QNC0opdfgo8rm5n2pIkWbau XJ0DHCyAH3n4v7HJPZeYlGDgWS5tGaY8eOWafpKZhUbWyYyZCiWahexZ9sixC4D+45oL j1jA== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=Uor0rRyM; spf=pass (google.com: domain of paige.north@gmail.com designates 2607:f8b0:4864:20::835 as permitted sender) smtp.mailfrom=paige.north@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Received: from mail-qt1-x835.google.com (mail-qt1-x835.google.com. [2607:f8b0:4864:20::835]) by gmr-mx.google.com with ESMTPS id z5si288468ote.5.2020.03.05.08.37.02 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Thu, 05 Mar 2020 08:37:02 -0800 (PST) Received-SPF: pass (google.com: domain of paige.north@gmail.com designates 2607:f8b0:4864:20::835 as permitted sender) client-ip=2607:f8b0:4864:20::835; Received: by mail-qt1-x835.google.com with SMTP id d22so4619139qtn.0 for ; Thu, 05 Mar 2020 08:37:02 -0800 (PST) X-Received: by 2002:ac8:7758:: with SMTP id g24mr7894331qtu.337.1583426221856; Thu, 05 Mar 2020 08:37:01 -0800 (PST) MIME-Version: 1.0 From: Paige Randall North Date: Thu, 5 Mar 2020 11:36:51 -0500 Message-ID: Subject: [HoTT] Announcement: 4th Midwest HoTT Seminar To: HomotopyTypeTheory@googlegroups.com Content-Type: multipart/alternative; boundary="0000000000007b5c3b05a01e25ec" X-Original-Sender: paige.north@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=Uor0rRyM; spf=pass (google.com: domain of paige.north@gmail.com designates 2607:f8b0:4864:20::835 as permitted sender) smtp.mailfrom=paige.north@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: , --0000000000007b5c3b05a01e25ec Content-Type: text/plain; charset="UTF-8" Dear all, We are pleased to announce the fourth Midwest Homotopy Type Theory Seminar which will take place at the Ohio State University on the weekend of April 25-26, 2020. INVITED SPEAKERS: - Evan Cavallo (Carnegie Mellon) - Andrew Swan (Carnegie Mellon) - Matthew Weaver (Princeton) REGISTRATION: There is no registration fee, but registration will help the organizers. Please register using this form: https://forms.gle/zBKZeG3caLGq8JDq7 SUBMITTED TALKS: Please submit talks using the registration form. FUNDING: Some funding is available to help young researchers attend the seminar. Please indicate any interest in the registration form. FURTHER DETAILS: Further details, including information about lodging, can be found at https://paigenorth.github.io/midwesthott/ Best, Paige Randall North for the organizers -- 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/CALsq1T%3DNFbYhun_4iQmxqhF%2B%3Dt_dyiExixThodgHXKHZrupK%2BQ%40mail.gmail.com. --0000000000007b5c3b05a01e25ec Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Dear all,
=C2=A0
We are pleased to announce the fourth Midwest Homotopy Type Theory Seminar= which will take place at the Ohio State University on the weekend of April= 25-26, 2020.
=C2=A0
=C2=A0
INVITED SPEAKERS:=
=C2=A0
- Evan Cavallo (Carnegie Mellon)
=C2= =A0
- Andrew Swan (Carnegie Mellon)
=C2=A0
- = Matthew Weaver (Princeton)


REGISTRA= TION:

There is no registration fee, but registrati= on will help the organizers. Please register using this form:
=C2= =A0


SUBMITTE= D TALKS:

Please submit talks using the registratio= n form.


FUNDING:

Some funding is available to help young researchers attend the semin= ar. Please indicate any interest in the registration form.


FURTHER DETAILS:

Further d= etails, including information about lodging, can be found at
=C2= =A0


<= div>Best,
Paige Randall North
for the organizers
<= /div>

--
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 htt= ps://groups.google.com/d/msgid/HomotopyTypeTheory/CALsq1T%3DNFbYhun_4iQmxqh= F%2B%3Dt_dyiExixThodgHXKHZrupK%2BQ%40mail.gmail.com.
--0000000000007b5c3b05a01e25ec--