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=DKIMWL_WL_MED,DKIM_SIGNED, DKIM_VALID,DKIM_VALID_AU,MAILING_LIST_MULTI,RCVD_IN_DNSWL_NONE autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 17259 invoked from network); 27 Apr 2022 20:53:32 -0000 Received: from mail-pl1-x63a.google.com (2607:f8b0:4864:20::63a) by inbox.vuxu.org with ESMTPUTF8; 27 Apr 2022 20:53:32 -0000 Received: by mail-pl1-x63a.google.com with SMTP id i10-20020a1709026aca00b00158f14b4f2fsf1567010plt.2 for ; Wed, 27 Apr 2022 13:53:32 -0700 (PDT) ARC-Seal: i=3; a=rsa-sha256; t=1651092811; cv=pass; d=google.com; s=arc-20160816; b=CABMQO6egLtM7HeZFhCeaIesN6xgNSRsxolwr05PbyQxnJi/1s0fv2MJSvrf1JMDSD tb0VZya8ixFbvzZ/rs73u2DSd6CDWWepJpPj6whZDbVmLLUdibZzuEJEXPlxs5pLTHkn OoOEgfej/YcnkSIvspw7YYeC6DpJvH6JCRLSHQUqWMUYtF6w9QOTjCl0LOLytqSdJv0J 9w5DTQzknpIP5MinWzvXg/YER5aZaWRVPXPfhqdmZNngfJHoaMpJUQWc2QPOjwZWsWDd 0r90+loAqq5wWoTu0yYlWm1aSpn3EhtIbnxhQJ5giDHDCB4CEGvZG/i//TPPAK76duJU GbAw== ARC-Message-Signature: i=3; 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:reply-to:mime-version :content-transfer-encoding:content-id:user-agent:content-language :accept-language:message-id:date:thread-index:thread-topic:subject :to:from:ironport-hdrordr:ironport-data:ironport-phdr:ironport-sdr :dkim-signature; bh=cLNIyopYZGI1DyvKqEB/lpcU4QYNGeBuytsl32kWG4A=; b=ioO2t8W772XrS+24aKmyj647YaIwL0Q3bL2OAfIk9yC7vnC/mvjLTwdi9AkbVNiEbe 3syI+KU/2cATkoZPucXK9klRhhDr0oKGjjCcfABE3HaqBFELzPZD+QrDwEbT2b6g/YAQ 6dDb/5U6A6gl5yMgZjbN5H+BAvUnUiCG2kKe0fz1356E+q5TW7/O5C2J6RXiCDz/v3mE pnCzrOrL+xbpBELZVd9veVRjp7/JuTl+U5oz2CZsQsqjoE4z3HS8sKaE52II91kNu0Rq QCXvHuvRvekiPy29fHczmVzXmvOc9/JCW25BYYIrwR/SVp8qrDMWLqskh/vr5OJVytxO v3WQ== ARC-Authentication-Results: i=3; gmr-mx.google.com; dkim=pass header.i=@jhu.edu header.s=jhuiron header.b="0wra/XZF"; dkim=pass header.i=@livejohnshopkins.onmicrosoft.com header.s=selector2-livejohnshopkins-onmicrosoft-com header.b=bRUH3puS; arc=pass (i=1 spf=pass spfdomain=jhu.edu dkim=pass dkdomain=jhu.edu dmarc=pass fromdomain=jhu.edu); spf=pass (google.com: domain of prvs=1099aacb6=eriehl@jhu.edu designates 128.220.39.170 as permitted sender) smtp.mailfrom="prvs=1099aacb6=eriehl@jhu.edu"; dmarc=pass (p=REJECT sp=REJECT dis=NONE) header.from=jhu.edu DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20210112; h=ironport-sdr:ironport-phdr:ironport-data:ironport-hdrordr:from:to :subject:thread-topic:thread-index:date:message-id:accept-language :content-language:user-agent:content-id:content-transfer-encoding :mime-version:x-original-sender:x-original-authentication-results :reply-to:precedence:mailing-list:list-id:list-post:list-help :list-archive:list-subscribe:list-unsubscribe; bh=cLNIyopYZGI1DyvKqEB/lpcU4QYNGeBuytsl32kWG4A=; b=UsZRt3PDzZ9Yd6UWE5iOs2i9JfOTf7KvtIMeJ/oWskCS38JFdyKV8mOwk23/rtPcGK bL9f4cp6HvjBNyqTIxkeZstHxKDtEijlJtN7X5H3heo2f5t/CHsYBDBmboKgTJ8y2mBy U4/f0TvGMgb1rih2gsvTYTbDMY615tengzmPpIfY4Vfv87ko56dTdoUSVLuusGZCQytI Q6t5T7GCgLhT1OM1ue/tDR7KF6UBMxZwc1ElcAfV21NAXtRZwfIM5pgkrwwdur0dOJMB p/5IbgPjmR1t9Ln6K/XWp62Zu32bSAPxLJHTNFxFOtYlcOzObx8Jmin6IJgckkKu9qrU At8g== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=x-gm-message-state:ironport-sdr:ironport-phdr:ironport-data :ironport-hdrordr:from:to:subject:thread-topic:thread-index:date :message-id:accept-language:content-language:user-agent:content-id :content-transfer-encoding:mime-version:x-original-sender :x-original-authentication-results:reply-to:precedence:mailing-list :list-id:x-spam-checked-in-group:list-post:list-help:list-archive :list-subscribe:list-unsubscribe; bh=cLNIyopYZGI1DyvKqEB/lpcU4QYNGeBuytsl32kWG4A=; b=hGVL4homigKl4N45WhZIM7bw2AuNXg604GBhBbc1TE3cwmhGr5y/9QjUYVJ/2TFWbD QEY2emXhvTwqWmn/VJSA8FVNWa1KgGHIulRqEREb9R8z98Wq4xITo4a4Jpo83U25MRL1 /NoHBqn4CqnvHwsw2kSgiH0DSKY7AiSdnpfEnwxfxAW3QmoqsR0te1ITCQll/S70tgr6 zCnJjlaMwCESE0+qgNmSN5eBxXiEgNydtFmOcL/q3ONEcPIrx31POxO7dCAn60DfUzkx C9ToJuVoPh7S1l2I5ui1RezXdYqtGT0h3NZm/dqo3IE5lAwXRDPkfArvxul1oEYD3H1D CSGQ== X-Gm-Message-State: AOAM530G9/4FVHxU6rVE3s8EO0LleYBlVnvBQ9ZQVwuA6lsKTdT5iBv6 9pNWEqyccoE0I4NBCEaFIM4= X-Google-Smtp-Source: ABdhPJwj1exTTO2eYZ8gtL7fk8LL7gCpOOXKrYTQOWEhrIK561aMCi43SDymwvDJSh/luClK5eVGvA== X-Received: by 2002:a05:6a00:234f:b0:4f6:f0c0:ec68 with SMTP id j15-20020a056a00234f00b004f6f0c0ec68mr32078255pfj.14.1651092810814; Wed, 27 Apr 2022 13:53:30 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a05:6a00:801:b0:50d:7ed6:f33e with SMTP id m1-20020a056a00080100b0050d7ed6f33els1899891pfk.8.gmail; Wed, 27 Apr 2022 13:53:29 -0700 (PDT) X-Received: by 2002:a63:85c8:0:b0:3ab:24cf:e625 with SMTP id u191-20020a6385c8000000b003ab24cfe625mr16161200pgd.212.1651092808869; Wed, 27 Apr 2022 13:53:28 -0700 (PDT) ARC-Seal: i=2; a=rsa-sha256; t=1651092808; cv=pass; d=google.com; s=arc-20160816; b=pPMhc9HqFgbrp/NBpKBe8TjEHBHsW73+MMfr6qbXRZXQuXwMvfQ8ETMW76UsMgw9PI Mw1Y26NJJikKxifFLLpyPQF/xUwkw2UeAl+0+UUjlg6tAqbdScJgEmeebFLMdfMCGXLv YTd8gwaNUTn5FSmWfSj1f1QiOUjQPW+ZaKGmJAcmiLQD77yFI7v63AmwkodjhTUJJZij IVn8k6zRdRUYXlSfGGdzilofQixxEn4OfpQwzUzYS/yi8HkKWBG7T0wbfzvYF/2mhyd1 i18vWlQDcSdB0pUpOj70kt5B7vKRfHKeqOddX+7gDBEsnPJivTV78poqeJ3BVdMwXyIl nNTw== ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=mime-version:content-transfer-encoding:content-id:user-agent :content-language:accept-language:message-id:date:thread-index :thread-topic:subject:to:from:dkim-signature:ironport-hdrordr :ironport-data:ironport-phdr:ironport-sdr:dkim-signature; bh=CLYb07MVWjJrBlFg+tyEkLs9heydt3oK3DqhvlB4pAU=; b=N3e5gfYqw4GEXb5W2CZZyF9rd7nGvusUCcgZZGflLxotbFcyNk9E3ZLjB6HKwXNhlL uLA6lzOWiiMc4z+9le+DvBdFJu3XYZ2olM1FvGqQa7WX2D/aRK+e39+HsdAw4S2bA4bp kO3ZsGrJ/whj7LlBwBhjd5N+zTzFYpsQeoM31rSF6VOYsI1zrD8c1Z9mcPq/YK6FoLxX SeIbftqeKgoC7LirfNS8XyesgPaIfe3rggLFySnC2+YWrSwGukM+/8ZDJYFvx4QmDmJD H5Trbq1Br+uH9DEkAb02RHTYOtt2QmAKH+Aoun5esYrUJTtl4XCKkj8osFCctlgMl6xE jAAA== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@jhu.edu header.s=jhuiron header.b="0wra/XZF"; dkim=pass header.i=@livejohnshopkins.onmicrosoft.com header.s=selector2-livejohnshopkins-onmicrosoft-com header.b=bRUH3puS; arc=pass (i=1 spf=pass spfdomain=jhu.edu dkim=pass dkdomain=jhu.edu dmarc=pass fromdomain=jhu.edu); spf=pass (google.com: domain of prvs=1099aacb6=eriehl@jhu.edu designates 128.220.39.170 as permitted sender) smtp.mailfrom="prvs=1099aacb6=eriehl@jhu.edu"; dmarc=pass (p=REJECT sp=REJECT dis=NONE) header.from=jhu.edu Received: from IronMTW7.johnshopkins.edu (ironmtw7.johnshopkins.edu. [128.220.39.170]) by gmr-mx.google.com with ESMTPS id y3-20020a170902d64300b00156542d2adasi9876plh.12.2022.04.27.13.53.28 for (version=TLS1_2 cipher=ECDHE-ECDSA-AES128-GCM-SHA256 bits=128/128); Wed, 27 Apr 2022 13:53:28 -0700 (PDT) Received-SPF: pass (google.com: domain of prvs=1099aacb6=eriehl@jhu.edu designates 128.220.39.170 as permitted sender) client-ip=128.220.39.170; IronPort-SDR: P6Haqhieh2OFILLzSo2MSUdKMMK6jCr26JzJtoY84pVI5WsSORdTSXydXUY2SabKTaf5XCs0wC KQyZgI590SRMO8y94fcrp0sX/jKprz0L4+u4Oqxfnsmtr9vNUxhWgL/m1KkPnLuckwDU3IPl8K 4ozXOjQxqI2Sa290gLRPs2JO8qdcdIvpkIr4yqoPSccjG77G80Bf4JSKSOJEeSECp24wfaydXG kdN9mifTo0OyLSAdsjBUeV1Bt4zpnQbdAL17CO9skzKDTcmtXPLMFJjde2UfVVKKrXbr24/DcM sS7QxiATodr5YgQWyRSeO/cM X-IPAS-Result: =?us-ascii?q?A2HSBQC2rGli/3uErQpRCR0BATwBBQUBAgEJARWBVQKCJ?= =?us-ascii?q?XwCgVSEVY4UgwKBN5oJgS6BJQMYFiYCCQEBAQEBAQEBAQgBEgIRFAkEAQEDB?= =?us-ascii?q?IQ2XYUFJjYHDgECBAEBAQEDAgMBAQEBAQEDAQEBBQEBAQEBAQYDAQEBAoEyZ?= =?us-ascii?q?GiBT4F0CzQNgjUpAXRNOwEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBA?= =?us-ascii?q?QEBAQEBAQUCFEkJImcRDAEBOBEBIgImAgQwFRIEDQgBARABAYJvAYJlA0CtB?= =?us-ascii?q?YExgQGCCAEBBgQEglWCOBhFAQkNgVwDBgkBgQcsAYMQhCmHYIFJRIE8DIIIP?= =?us-ascii?q?YIxAQ6BEwOBM4QCgmWcNEhQSx4CAgIvYTUMkyYeKoMhql8PMIMkixmUVQYUL?= =?us-ascii?q?oN0jDmYJpEyhS6FAoVPglCZUQIEAgQFAhaBaAqCBXITgyQfLwECAQINAgECA?= =?us-ascii?q?wECAQIJAQECVY1SgxRUgWCIfQF1OwIGAQoBAQMJjjUBAQ?= IronPort-PHdr: A9a23:MF8a6xDICgtji7XGbuUpUyQUhkQY04WdBeb1wqQuh78GSKm/5ZOqZ BWZua82ygaUFtyHuroE07OQ7/q6HzRYoN6oizMrSNR0TRgLiMEbzUQLIfWuLgnFFsPsdDEwB 89YVVVorDmROElRH9viNRWJ+iXhpTEdFQ/iOgVrO+/7BpDdj9it1+C15pbffxhEiCCybL9sI hi6txjdu8kZjYd/Jas8zgbCrn9Ud+hL329lKkyfkwjm6sus4JJv9jlbtu48+cJHTaj0ZbkzQ 6ZCDDQhPWA15cnrugfGQACS+HYSUXgYnwRRDQTd4x70Qpn+si3htupgwyaaJtH5Tao1WTu58 ahmTgLjhTodOD449GHXjdFwjL5erRm8qRFz35LYbYeIP/dlYKjTYc0VSnZAXsZJVixOHIW8b 5cUD+EcOepUtpTxq0cSoRe7AwSnGeHhxSJShnLu3aM0zfkvER3I0gIjEd0BrHvao9ruOacOS u+41rXEwSnNYv5U3zr29YjGcgomofGJRb9+fs3fx0opGQzHk16etY/rMTyX2OoLrmOW6PRvV fiui2E5qwFxpiOixsUsionUnI4a1E3L9ThgzYszONa3R1J1b8S+H5tMqyGVKZF2QsU6Tmxnv Cs3xLIItJ26cSUE1Zkq2RDRZvOHfYWH/h7uVuKcLSl4iXxqdryxiBm//0evx+D4WMe4zVlEo yhbn9XQqn0A0QHY5MaASvt45Eih2DCP2hjO6uBKJkA4j7bUJIQ5zrEtl5oTqljMHijsmErrl qOWeUok9+614OrkerXrvoKQO5Nuhg3jMKkjlNazDfk2PwQQRWSX5Pqw2bP78UHnQbhGkvM7n 6zEvJzGPssWp6u0DgxQ34sh9hmyCjKr3dUekHIaNlxKYgiHgJLsO1zWJfD4CuqwjEq0nTdww vDGIqXhApLQLnjfiLvhfahy60pbyAcrwt5R+pNaBLYfLv3zVUH+tcHUAx4gPwCqzevrEtt81 oIYWW6VGKCWLbnesV2I5uIyOeWDepIauCvlJ/gk4f7hk2M5lEcAcaW1x5cbdXK1E/p8L0mEb 3fgnM0NHXoUsgcwVODqjUeNUT9XZ3a8RaI84TQ7BZq4AofZR4CinryB3COgE51UZmBGF0qAH mn1eIWZQ/sMbjmdLdd7kjMYTbihV5Mh1Ra2uQPn07ZnNPbb+jUEtZL/09h4/+/dlRY39TxzE 8Sd1HmNTmFqkGIIXz85wr5xoUxjxVeEy6h5g+dVFdNU5/NOXQc6MYDTz+NgC9D1RwLBZsyJR Ey6TdWhBDFiBu42lv8JZkFhHM2zxizSxyfiP78YkKaaTMgU9afbw3/pNvps03v61KQmlUgOT cxIOmmribR46hDIQYXOlhPKubytcPEx+Q/pxS+57EeumAkMXRRxXKXBdXIfew3bocmvtRCKd KOnFblyalgJ8sWFMKYfL4Sx1T2uDN/vO9XbNmS2nWr4RROF3aiFY4eifWIBlD7cB04Jn0F2n z6GOAEyCz3nrzfYCzpjRl7qalnnpO95rn7zR0QozgaMOktm0bf9+hMcifGGDf0J2bdRuic87 Th4AQXV4g== IronPort-Data: A9a23:Id04Va1LWeQekabOffbD5RJxkn2cJEfYwER7XKvMYLTBsI5bpzQAz zAdC22ObqqLamr8LtEnbNvko0wBu57TmoAxSgE6qSg9HnlHgPSeCIXCJC8cHc8wwu7rFxs7s ppEOrEsCOhuExcwcz/0auCJQUGRUchkf5KkYAL+EnkZqTRMFWFw0XqPp8Zj2tQy2YTjXFvX0 T/Pi5S31GGNim4c3l08tvrrRCNH5JwebxtC5jTSzdgS1LPvvyF94KA3fMldHFOhKmVgJdNWc s6YpF2P1jiAo0pyUIPNfoHTKSXmSpaKVeSHZ+E/t6KK2nCurQRquko32WZ1he66RFxlkvgoo Oihu6BcRi9uG6uPl9kjSiBeUCdGOKlrw776EXOw5Jn7I03uKxMAwt1DN24TAbI1yr8pRDsVs +MZLnYEYlaBh//wzb6mIgVurp17apC0Z8VG4SsmlGuCZRolacmrr6Hi6MVZ0Tc0rsJOALDTa 9dxhT9HME2bMkcUZAtJYH44tLq4gEXbIgRClH6Eo64u2XXf3jVo+ZG4ZbI5ffTPH625hH2wh mXD+Hj+GgAmJcSS9TqI9Wi9ruDImiz/VY0IE6Cg7bhhh1j7+4AIIBANWl6nvvSp0xD7AYkZN E0SvCMi66oy6QqmQsSVswCEnUNodyU0A7J4e9DWIinUokYNywrGVGUCUBBbb9kq6J0/STAwj wPbksnoCDxrmL+VVDSQ+qrN9WG+Pi0cLGkjYy4YTFZZuIC6+N1r1h+fHMx+FKOVj8HuHW2iy T69qiVj1a4YitQG1vnm8F2e22Csq5HFQxQb/ALSWm75vAp1aJT8O96l81nW7fJoLoaECFSNo SFcycSZ6ekPC7CLlTCMHblWRejxu67dPWSF01B1HpQn+zC8wFKZfNhdsGNkOUNkEscYYju1M kXdjgVcuc1IN3ywYK4rPo+8Bph4zaXkEti5BPnYYsAUMspcTyCiwB5DVRfOmjq21lctl+c2N dGZcdvqAHoHUPw1wD2zTuYb8Lkq2iFjmTiKHMinl0yqgeiEeXqYabYZK1/SPOo326WJ/VfO+ NFFOsrWlhhSDL/kbi/M/dJBJFwGNyJrV53tpMlLaeOTe1QjQjpnFP7Xh7otPY5lguJYmvqRp iOxXUpRyVzeg3zbKFjWMSk6MO+3BZsv/2gmOSEMPEqz3yRxa4iY6qpCJYA8eqMq9bA+wPN5J xXflx5s3hiSpuz7xgkg IronPort-HdrOrdr: A9a23:744RSqCe1iuCDzPlHegpsceALOsnbusQ8zAXPh9KJiC9I/b1qy nxppkmPEfP+U0ssHFJo6HkBEDyewKnyXcV2/haAV7GZmfbUQSTXfhfBOfZsl7d8k7Fh6NgPM VbAtBD4bTLZDAQ56eb3ODRKadm/DDtytHNuQ6q9QYKcegcUdAG0+4WMHf4LmRGAC19QbYpHp uV4cRK4xC6f24MU8i9Dn4ZG8DeutzijvvdEFI7Li9izDPLoSKj6bb8HRTd9AwZSSlzzbAr9n WAuxDl55+kr+qwxnbnpiDuBtVt6ZXcI+l4dYyxY/suW3bRY8GTFcZcsoi5zXEISSeUmRMXeZ f30lMd1o9Img7slymO0GfQMk/boXATAjbZuCClqGqmrsrjSD0gDc1dwYpfbxvC8kIl+Mpxya RRwguixtNq5D777VPADuLzJmdXf4uP0AgfuP9Wi2YaXZoVabdXo4Ba9ERJEI0YFCa/7Iw8Cu FhAMzV+f4TKDqhHjvkl3gqxMbpUmU4Hx+ATERHssuJ0yJOlHQ8y0cD3sQQknoJ6Zp4QZhZ4O bPNLhuidh1P4crRLM4AP1ETdq8C2TLTx6JOGWOIU7/HKVCIH7Jo46f2sRA2AnnE6Z4v6faWK 6xJW+wmVRCCn4GU/f+oqGj2iq9MFmAYQ== X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="5.90,294,1643691600"; d="scan'208";a="413923646" X-Amp-Result: SKIPPED(no attachment in message) X-Amp-File-Uploaded: False X-MessageIPDirection: Outgoing Received: from esgmtwex16-23.win.ad.jhu.edu ([10.173.132.123]) by IronMTW7.johnshopkins.edu with ESMTP/TLS/AES256-GCM-SHA384; 27 Apr 2022 16:53:27 -0400 Received: from ESGMTWEX16-21.win.ad.jhu.edu (10.173.132.121) by ESGMTWEX16-23.win.ad.jhu.edu (10.173.132.123) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_128_GCM_SHA256) id 15.1.2375.24; Wed, 27 Apr 2022 16:53:27 -0400 Received: from NAM12-MW2-obe.outbound.protection.outlook.com (128.220.36.251) by ESGMTWEX16-21.win.ad.jhu.edu (10.173.132.121) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_128_GCM_SHA256) id 15.1.2375.24 via Frontend Transport; Wed, 27 Apr 2022 16:53:26 -0400 ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=jUIBR4lM5fYymyt/6BazCfefG0FlYCQcb22wRnKJ5CpAXvdcQssMLhUooDGtDFmnjGr14FMlppgYGjQ9FtVvlckvYYNwa7EFaVlZ/RRMkp2j3b+Lwii5Dw4wT+o2wnbyvug1ethi8nTo0plDn4ljyhDkNPlUewZ0HHSWkYO5B1KbLXoUF9UlTFyz+pVgTvHNnmpsBDV1PkUB9UziWaKeE5e+H/fI/oqMZ7Ojil88SdBCNatlqmmcdg4UvQMct/BsMGkFCoE8g3jHQPZ9xJWkPhLxxP1jTYSeb8Kk18P9iU89FvS3nQm9RgJoHXnJP4HAJ5cPeInaFcEk89b1YR6oMg== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=CLYb07MVWjJrBlFg+tyEkLs9heydt3oK3DqhvlB4pAU=; b=PCRDtnPniWv8kkfH+w2jbt+j9wg1DkkHWf2La9VwMXHMgRCUhYFG/a2YZ69mRwQ2dt7A1uBsh+B4XGr1nbuZxMzdg/oqxGuA0a4bRJgGSifT3HgGCYC569HQlEvQ+2Ssrr3l/FJzDbVI5aLCOxP2CcctQmfANXeBbkc1wUjjpeV1CqpDmf2wcVftzLkIoQJ32fjtN/N2E/N5QHieboW/aOXeL6gSZEytMDXAoTRC35wiB/uudrhuO3PooKkhOCXLh+eoOwPxYZIhacdSeD/dnD3N7gESlDH1Wjg9g3MDl/9tnvROD0iu4HfhimmoN0bqiGmUb96TJ9KDFhJ2bIOwpQ== ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=jhu.edu; dmarc=pass action=none header.from=jhu.edu; dkim=pass header.d=jhu.edu; arc=none Received: from DS7PR01MB7758.prod.exchangelabs.com (2603:10b6:8:7d::6) by SN6PR01MB4685.prod.exchangelabs.com (2603:10b6:805:dc::16) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.5186.15; Wed, 27 Apr 2022 20:53:23 +0000 Received: from DS7PR01MB7758.prod.exchangelabs.com ([fe80::3d99:5692:761f:adcc]) by DS7PR01MB7758.prod.exchangelabs.com ([fe80::3d99:5692:761f:adcc%3]) with mapi id 15.20.5186.013; Wed, 27 Apr 2022 20:53:21 +0000 From: "'EMILY RIEHL' via Homotopy Type Theory" To: Homotopy Type Theory Subject: [HoTT] announcing the HoTTEST summer school (save the dates) Thread-Topic: announcing the HoTTEST summer school (save the dates) Thread-Index: AQHYWnjUjQ4EyJ6v1kyjKsH/qfHb/g== Date: Wed, 27 Apr 2022 20:53:21 +0000 Message-ID: <8eb5e9be-247d-3282-df5f-a24a1c04f629@jhu.edu> Accept-Language: en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: user-agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.15; rv:91.0) Gecko/20100101 Thunderbird/91.8.1 x-ms-publictraffictype: Email x-ms-office365-filtering-correlation-id: f4380fee-3da3-40de-02f9-08da288ff6d2 x-ms-traffictypediagnostic: SN6PR01MB4685:EE_ x-microsoft-antispam-prvs: x-ms-exchange-senderadcheck: 1 x-ms-exchange-antispam-relay: 0 x-microsoft-antispam: BCL:0; x-microsoft-antispam-message-info: vcvhNdWbXSoZJTRK6qIQ97dpeJURm4xu6mCy/9K7w93IQVrrnbPxfrpbO4zaFYUZWBtdDxapBczp+oBBBOdCBYpf2vimhr8fPxEmWurRgydaalmIq80iHjPYDr4c9B45XrfhIH2C0l6lycQ18Gi+xz4BqRvzydgKfZ2PLTmV9xRbUfvdgSorbvJ/t4ENs71QR5aIGhIPogy2KYL0lvhkc4EEyTw/tjhChiQBUpOmelW5Rn1GZ+ecBMja1eFmZlZSqbzMiGraneoTuC1mXFzBP1b40mQWc4nznkW/tgAW/08LXZLHrhQ4DCPulPmDgjX1h7qrVYr8x6Tw9z1T8GmnVcoM6tuc2DV4f3OdbKy1SwjKminJofSHiM19tkCZAGoembTTqc/TL6H7yEp6Kl6G2adGkDJDjN2Fvh8EAcWl9G03+wssXZTJJ/0Kw3foK2/B/xK9vRvfnQJYt07SKIJnXgdMlIqhq6uyOC6+L1o4NyxJ9YLTexIrNQJCOOPI/QktWiYnGQDzjg5Efv6h/qCD68TdlgPyxEzdPZ1mqL9mU4XtWtBJwEV+8FB28mz6rkoaFipQdb6vKLzUeftnI1GV2dMG8UTeuL3gIi1FTIy9Lq66MjDdsBsj66Ybop++6+yr/dZPXXcu/BrjnnnAiBH88mjCTuxsGZP8bVkUT2KLbkTh3rS5oed2PrZkaaMfAi+cmlltjNnRREIKkpRPUqDNuDG85ZmwPRPndxR/pf/G5Rry/hdY2jEfk7fkMX4XqwC7C9Mb/XpuEwlwl2Z1z+XTj8OS3tihpk73yx/kTNHE16FBq07Snv9+TeWFQPKzHFnP x-forefront-antispam-report: CIP:255.255.255.255;CTRY:;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:DS7PR01MB7758.prod.exchangelabs.com;PTR:;CAT:NONE;SFS:(13230001)(4636009)(366004)(86362001)(508600001)(83380400001)(966005)(64756008)(66476007)(186003)(6916009)(91956017)(6512007)(6506007)(71200400001)(26005)(2906002)(66574015)(5660300002)(8936002)(6486002)(66446008)(66556008)(66946007)(8676002)(76116006)(36756003)(2616005)(122000001)(31686004)(75432002)(786003)(316002)(38070700005)(38100700002)(31696002)(43740500002);DIR:OUT;SFP:1102; x-ms-exchange-antispam-messagedata-chunkcount: 1 x-ms-exchange-antispam-messagedata-0: =?utf-8?B?aVFCSStpcDhXTFhjcFh0Rk5FSHd0ZThHWldEamRzbHNxY1JzZ3BDSkpmS2ZB?= =?utf-8?B?cS81UHAzUjRSQm9CTW8vckFHbXhVNFBJOXdyMVAxZCtBTVp5NFNkeWtaWXpt?= =?utf-8?B?dWhxeXJ4eTVLbXJ2WEROOHNWMWxPQXp5N2pVUXV1VXVzM0luT0J4aUVXb2Ns?= =?utf-8?B?VTNRZzNLeTFxVGY4NWpudTY5R0RrZzFVUEJFRU8vbWlScGpsNk12Q3pKYk1M?= =?utf-8?B?L1h4clZ2RW5NY1RmNDdjNVVJbVl5Tno3MitZU012UnBiQSs2d3ZPbUJhVHV1?= =?utf-8?B?NnN4WHc3Mys4d3MveFVBOC9Sa1VLSmdBZkdFVDVtaWk2bEZQaEdRUm95dXN5?= =?utf-8?B?YjlMbHRnNVNlbDkwanI5VkhpQzcvclZqeURHbE9pOGpIdGxzL1RsNWpEaDcr?= =?utf-8?B?OHVqZ0FUWk1XYmNPY0RQL2JJaFRGQ3d4cVRnamM1azdnNUFjNDdjM3B6c2d0?= =?utf-8?B?a0J5MVlRalNpNHlEV1hNTFJoZWxZdlM1MzR2eEdkdy9NSWljRUpCNWtMREFO?= =?utf-8?B?TXUydEZjN0FXWStVMm1ZUVcxMm5MdGx2cGlOY0gvTURHTTNUMENta0ZkVE41?= =?utf-8?B?VWpvSmhOeDdYeGI3VndMV3hqak1aSGlxbkxVcXFaU0xtYjM2NTZ5Q3Z5VDhi?= =?utf-8?B?WHRzVzQ2bE1za3RENlRhOENnUWgwTzdPcHN2RWE4SEJ1RWtJSTJlaXI2L2Jh?= =?utf-8?B?QVl2b0dzcEVLeC9LaU1OUG04dGxUVVBOSnhTa2dmNStTMFNwUGZBR05RRDlq?= =?utf-8?B?QUZLOGxqMS9rZE8wYjJocnVLMGovdnBFb2FLVkVKSkRLcHJjSVRLZ2RuMHFV?= =?utf-8?B?Qnhka0I4R2IvMUpCdTlkT2dyQVVGcFpDUDBBY3ZXbVJjd0FvSlpwK2dxU2t3?= =?utf-8?B?V2hUSU96Z1VDaURNcmVwUHpTNnRYcUdaZmFPRTkwSURCd0g4S3V1ZFA5YlVH?= =?utf-8?B?M2Z1SHNORTY4YnIwQ0U5MC9laURlVDh2d2NFbW8zTFVDMjBkc1RPblRFRUZu?= =?utf-8?B?Tms5enk5dkNzdGNsM1lBUXhvclJMR2ZtRHZWVnIxSHNXcnBxcWtVRFVSaXNP?= =?utf-8?B?QlJFMlVoanpBT0hPeUhrZlR1TUxxMFlLRG9OM0pLN0VkblNEOHI5ZG9VbVhl?= =?utf-8?B?S2tmc2g2bDh1bGtEbVl2NjVtSHpGbk0yQmdiSUtXdjQ1R1ZjUzduQlNNcGxI?= =?utf-8?B?UDMwN1ZkUU5sSlBSQ2FRZzllKzdWZWRxOVpmTksxVHJkVkVldmJXVDI2M3RW?= =?utf-8?B?SDltVlkzSWltMExxY1lKeWFTdXduRTFIbkFDWmhFeStqeTFVa1hIOG9xMVBi?= =?utf-8?B?cGp6N0tLdmlOSWNib1pvRTFENGJmTUoxYUs2OFBrcklUQ0pzNFBTM2l3SXBC?= =?utf-8?B?TGVsOWwwdGZWMC8xYmtwcUhkVDRXWHRmQ0drcWpDWGhHRGJXd1BOTjByZTRL?= =?utf-8?B?b0V5aFdSNmRjaXV0amNpd2M5VU82dlZidXVNZjl1OUxnMS9iNUJUL2Nrdnhv?= =?utf-8?B?bnZYeHNia2c5cHFNUlhBOUpZNUZ0Z255bXo2eTc1aHd3RFBoZnlIOFRCSHdu?= =?utf-8?B?bU9jK0NtSHIvY1h1bDVDZFo0TFBHYWZLSmhNdWN6MGk0N0pYYlZwVDd0bmpn?= =?utf-8?B?OTVnTGZqdVVnNFkzSGlUSEFEcVZpNjkwNXNGQVVvMitOL0FINFBFRVBLUzMw?= =?utf-8?B?VU5Hd1RoNnZNaHZaOWUxT3d6SGs4ZW5MaHdFSE41K2tzb1dwRXltcUpPaVVE?= =?utf-8?B?VUE5U1NzWjc2ZGNzeGdjYmY1TE1mbDNTUzVIUkZZK1hJMUc4QlBUWlQ0bHFs?= =?utf-8?B?ZWJ0cytvRnVWZEJlZWJHdHkxb0ticktoZWtLL0l2VmJYeEw2WFNTMTRGdlRG?= =?utf-8?B?QXBGWjVQaVRPdkMwS3lKNFRRSkNOck1FYTV1U2RmYWFSZTM4Tm9zVkE5QWJ5?= =?utf-8?B?UllhR0I1S1JuaXJhK0V1TC9BR2l2aHZtRDVPYnpZa1ZqN1ppbWdwY242eU0r?= =?utf-8?B?T3hHMlEraVFTakZRbklaWVVEWUlTZFNWcVpBRDFWb2oyVHpnWTRDSU0xVWl1?= =?utf-8?B?WEttRkFnUys2czRBckJIU1o5L0xMSG1oVVVVUG5QaXFrV1YwcldUM1J2OGhB?= =?utf-8?B?WEp5VjFxUVM2T3BFM0Z3RXRqZThFK0NieFh5K3JzSFQzV0RVWFZJOHYxenVC?= =?utf-8?B?VDVxR0FwK1dBRDZudi8wSGZEY0xWcExXWjNPOWxNMzloWXlWcGFKdFo0T251?= =?utf-8?B?bzROdXJ0N1VCdU94NW4zNE43bk5MYjlSY0RXR2hOM212SFZDeTBsNFFhSSsv?= =?utf-8?Q?lrDkG60qogqI1qaOUn?= Content-Type: text/plain; charset="UTF-8" Content-ID: Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-MS-Exchange-CrossTenant-AuthAs: Internal X-MS-Exchange-CrossTenant-AuthSource: DS7PR01MB7758.prod.exchangelabs.com X-MS-Exchange-CrossTenant-Network-Message-Id: f4380fee-3da3-40de-02f9-08da288ff6d2 X-MS-Exchange-CrossTenant-originalarrivaltime: 27 Apr 2022 20:53:21.2426 (UTC) X-MS-Exchange-CrossTenant-fromentityheader: Hosted X-MS-Exchange-CrossTenant-id: 9fa4f438-b1e6-473b-803f-86f8aedf0dec X-MS-Exchange-CrossTenant-mailboxtype: HOSTED X-MS-Exchange-CrossTenant-userprincipalname: chwDqlB1I2mNCL4ZlGC6fajieWs+SqZ60xfn/WI0FarAtZIhW10FI8CZCt1YNo5K X-MS-Exchange-Transport-CrossTenantHeadersStamped: SN6PR01MB4685 X-OriginatorOrg: jhu.edu X-Original-Sender: eriehl@jhu.edu X-Original-Authentication-Results: gmr-mx.google.com; dkim=pass header.i=@jhu.edu header.s=jhuiron header.b="0wra/XZF"; dkim=pass header.i=@livejohnshopkins.onmicrosoft.com header.s=selector2-livejohnshopkins-onmicrosoft-com header.b=bRUH3puS; arc=pass (i=1 spf=pass spfdomain=jhu.edu dkim=pass dkdomain=jhu.edu dmarc=pass fromdomain=jhu.edu); spf=pass (google.com: domain of prvs=1099aacb6=eriehl@jhu.edu designates 128.220.39.170 as permitted sender) smtp.mailfrom="prvs=1099aacb6=eriehl@jhu.edu"; dmarc=pass (p=REJECT sp=REJECT dis=NONE) header.from=jhu.edu X-Original-From: EMILY RIEHL Reply-To: EMILY RIEHL 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: , We're delighted to announce the HoTTEST Summer School, which will take=20 place online everywhere in the world during the months of July and=20 August 2022. The school will run both synchronously and asynchronously. The lectures=20 will be delivered live (between 2:30-4pm UTC) and paired with various=20 tutorial sessions run by teaching assistants. The course will also=20 feature a discord-based all-hours Q&A and an online archive of all=20 course materials so that participants can follow along on their own=20 schedule. This school is for everyone and anyone with some familiarity with=20 abstract mathematics or theoretical computer science and an itching to=20 learn about homotopy type theory. Our goal is to make homotopy type=20 theory accessible to, and inclusive of, everyone who is interested,=20 regardless of cultural background, age, ability, formal education,=20 ethnicity, gender identity, or expression. We believe HoTT is for=20 everyone, and are committed to fostering a kind, inclusive environment. The first part of the course will include parallel introductions to=20 homotopy type theory and formalization given by Ulrik Buchholtz, Mart=C3=AD= n=20 H=C3=B6tzel Escard=C3=B3, Dan Licata, Anders M=C3=B6rtberg, Paige North, Em= ily Riehl,=20 and Egbert Rijke. The summer school will then close with a series of=20 colloquia introducing more advanced topics and exciting areas for=20 further study delivered by Pierre Cagne, Favonia, Jonas Frey, Jon=20 Sterling, and Chaitanya Leena Subramaniam.=C2=A0 A team of teaching=20 assistants which includes Elisabeth Bonnevier, Tom de Jong, Jarl G.=20 Taxer=C3=A5s Flaten, Artem Gureev, Perry Hart, Astra Kolomatskaia, Am=C3=A9= lia=20 Liao, Jacob Neumann, Johannes Schipp von Branitz, and Christopher=20 Stough-Brown among others, will lead problem sessions and assist=20 students with exercises. A central aim of the summer school is to build community among all of=20 the participants, irrespective of geography.=C2=A0 To further this, we will= =20 hold some online social events (e.g. game nights) for the summer school=20 staff and participants. More details about the course logistics and the scientific program will=20 be announced soon on the summer school website:=20 https://uwo.ca/math/faculty/kapulkin/seminars/hottest_summer_school_2022.ht= ml In the meanwhile, we invite everyone to join us on the summer school=20 Discord group to hang out and get to know one another:=20 https://discord.gg/tkhJ9zCGs9 If you would like to participate in some background surveys that will=20 shape the design of the curriculum, please register for the Discord by=20 May 15th, but students are also welcome to join in at any time. On behalf of the organizers, Carlo Angiuli, Dan Christensen, Mart=C3=ADn H=C3=B6tzel Escard=C3=B3, Chris= Kapulkin,=20 Dan Licata, Emily Riehl, Egbert Rijke --=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/8eb5e9be-247d-3282-df5f-a24a1c04f629%40jhu.edu.