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, T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 15673 invoked from network); 9 May 2022 22:04:57 -0000 Received: from mail-vs1-xe3b.google.com (2607:f8b0:4864:20::e3b) by inbox.vuxu.org with ESMTPUTF8; 9 May 2022 22:04:57 -0000 Received: by mail-vs1-xe3b.google.com with SMTP id q6-20020a67b906000000b0032cd85b2a18sf998470vsn.16 for ; Mon, 09 May 2022 15:04:57 -0700 (PDT) ARC-Seal: i=3; a=rsa-sha256; t=1652133895; cv=pass; d=google.com; s=arc-20160816; b=LjKVjA9kwgQCFzzRKGXRA/NbZh1wZTZ5VLe21c9ymnu3orWYmzwzhsvdCrlL6ag3xE V3DlZLvlKbu+gZ576Oaz3/LAquZQv9Rta8KPLXZPnRw+VzrdxE9NxPuFgh48QibPGZQw QAOyL9IKBVVVX2E8vV3cNPXeTxLKfVBuXsiDRXTNShfl5m3pUN7EWQ3P34ty/vLJKLb3 Z9bhIeclRpQJ6MT+k6iU8yqfFgG9E/jkVwkDXsHb3McfCVqKs7asHcCRP9HqPxy84g1o qTllDkRG5jP5tlPdjP6iP7Ifgxn+nqZiAhqyXnPN32rI+qHFjgcsX/1/CHqT6MdOpVSd /S0Q== 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=f0v2gdqCXpWx+3+jr4Wi09x/Ns5yfEBq64HP3Nx/F68=; b=MZeEA1k/u7sW/ARxxu2w1MJSNyW62kLFR2fzPVz/54IqWuQO2F8j2DEJUDh5VcymLO g1zJsg4SemIARfvaiaMZWI4PFOtnG/Ck7J0j//X6T8rU0eIc/FA6Jm6WDVUYtCdinAvM NxhT1lCP82bevXT/uhAK4wmvx47NeZ9yPz0k7Pz3dE8eqm2R0qi7qlsM5prx9gRJvi0P wQ+c8WvBMbpR0gHh6kY3pTdBJL9El+Z30g/zLwzjTSd4jsb0E1QpRDf2jEp+eCpp2TP1 ayoDvkcDcBnL6soE0OK4V4HDUwe+GWm02OPBdxEtq/RMGgwD/6uvMwvYFa1RyJ4uTCi2 9Qlg== ARC-Authentication-Results: i=3; gmr-mx.google.com; dkim=pass header.i=@jhu.edu header.s=jhuiron header.b=vYBc2xpt; dkim=pass header.i=@livejohnshopkins.onmicrosoft.com header.s=selector2-livejohnshopkins-onmicrosoft-com header.b="YX/Xm9mL"; 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=121466806=eriehl@jhu.edu designates 128.220.39.190 as permitted sender) smtp.mailfrom="prvs=121466806=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=f0v2gdqCXpWx+3+jr4Wi09x/Ns5yfEBq64HP3Nx/F68=; b=tiwYHc8YmjZsNj1tKPNDyJZGIDf0IF/y18+niAJRK/olDqrTbAQjXotIO6UaEAVm95 Kq2Ouf3BKAVDI6ZukKQVndQOWjtp6EqE6M85Yv9cPi4/3zD63woT7lDmur4QgGTmkOTF SKAb9WpUNrCABNdYmkKbQ6DeWqwPUbI4mWDSr/GGSu/M9UUKUlbCB/HRjHSMvSy6AFyw yNKV3EypS6VujS2kTmk0HnayFh75sEw6MX1Duvd8D+mSTH2Fkmkhq91BbRZoYbgAZDTE f225W40v41y2bfgSnfZ8RSGYLG+i2qIxg8NVfdSJI38y0YXnWwdfGKrIEE0hjiGF9Mwm QfVA== 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=f0v2gdqCXpWx+3+jr4Wi09x/Ns5yfEBq64HP3Nx/F68=; b=pfYkB37TX+ImkK6TVY53ZuXj7sMgqAVQybjaVurz+W7HNE/Ohfejt83Qjnu1i69r+M pcqt0z+U4vRHcpJrDdLPOyfU9dZM1HehGZ0YJo93mw4mh95cv/yU2bNTWKe3dj5IMxqN iaKmNgQXzyx+1YoyKCB5fNibZk3zwswXQyemwp0zPNGPoqMaIISyySw48GL2bZEwRPuI UGFED0RqhVewfOgIlCXADwEA+Op4AwQLSgVUObwnP1G1JP7sV0w8UrQTXV+SqeUymkVA D2bszLZC8Moa0cxyJv7DjmBKG6Xg/iXGcsdHK3kRJ5TfJ2jEZbGX5DoUzrpoveKTWDhf X/JQ== X-Gm-Message-State: AOAM5306YGfjVYmtKUH9aKJJH+u7qWH+BJ+bAhWzcKAfj8BIEaDgc+KG ZUK/ipejRzmObpYREvMzS04= X-Google-Smtp-Source: ABdhPJxJ9I08SBaZkMR3FFyD1ANexYXCBvf1wZQvGmwvI5QQq83EnCgi6X/1fv0NXphda4QJ6z9eng== X-Received: by 2002:a05:6122:1810:b0:34e:8f1c:749d with SMTP id ay16-20020a056122181000b0034e8f1c749dmr10356757vkb.20.1652133895284; Mon, 09 May 2022 15:04:55 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:ab0:3d8e:0:b0:364:f773:38ff with SMTP id l14-20020ab03d8e000000b00364f77338ffls1415042uac.2.gmail; Mon, 09 May 2022 15:04:54 -0700 (PDT) X-Received: by 2002:ab0:7de:0:b0:360:328:3c69 with SMTP id d30-20020ab007de000000b0036003283c69mr10268585uaf.21.1652133894142; Mon, 09 May 2022 15:04:54 -0700 (PDT) ARC-Seal: i=2; a=rsa-sha256; t=1652133894; cv=pass; d=google.com; s=arc-20160816; b=nFEK2+qdbxFXIbxHmcA/iTfVScwpGyBju/Ov9pTTw8rdVLI9SUBcs+UNH86OxIwPoy mW/PRMv7jpnNKP3g4PXWatf54WkwWz3heTy+Vz3G06DsyILkN36DYqWlRZ4KfOYh1iUe L2I7+SSdwmYststgkYwUXfRpNU/ALFt9quVboe0pDaOrVoFr5LhrAt2jLtrGjp85a/ov dJTj8RFRT+FuMMnD9nDlTarYeSylnkucQORtMrGoBUliTE/vHNSiZyFqayUAGt2Eo27B iyeK68Vc1x04EqLfQRal/DpAIHVLm27qT6uZpGfXoTjnKnUwYCc8cV0aKrbiEKd4Sb5O XrNw== 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=RGepqJKQgpE9iQ+RtVI0dDAPrWeZSc9YV88Jhi014vI=; b=J7bVTUVpbqdKI5MHUgkL6CfW7Xu/7qu788HGXKHRQ7XnFxtnu6L7ZmGEMiMB9blQNE sBayrzc90fnSOK2NpC/Vf2Tco5W4iGyHjQT6loU/V7mlZ+km+NsG0M74plqUKMHqsjHo gER/o8160ZrNCt4V/ieS9jsBt3BsDavgYcrNSN0XMYY80LAy9qtjrkAMUFMgvw35cZUx 3kDEA8/QOZOnea5xekANro/uC04Uu1+Ue1KoQabAK58t3lWDl4d4pf9uCr3TinjyRSRl ah0Frrp/MY5GzEXoEmMWMOVGDHxELWWiu3CWNIuPss9rZ+3WUfxn5jGG4/H98D6SX5ye DJFg== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@jhu.edu header.s=jhuiron header.b=vYBc2xpt; dkim=pass header.i=@livejohnshopkins.onmicrosoft.com header.s=selector2-livejohnshopkins-onmicrosoft-com header.b="YX/Xm9mL"; 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=121466806=eriehl@jhu.edu designates 128.220.39.190 as permitted sender) smtp.mailfrom="prvs=121466806=eriehl@jhu.edu"; dmarc=pass (p=REJECT sp=REJECT dis=NONE) header.from=jhu.edu Received: from ironmtw9.johnshopkins.edu (ironmtw9.johnshopkins.edu. [128.220.39.190]) by gmr-mx.google.com with ESMTPS id y17-20020ac5c811000000b0034da5b3433bsi1034580vkl.1.2022.05.09.15.04.54 for (version=TLS1_2 cipher=ECDHE-ECDSA-AES128-GCM-SHA256 bits=128/128); Mon, 09 May 2022 15:04:54 -0700 (PDT) Received-SPF: pass (google.com: domain of prvs=121466806=eriehl@jhu.edu designates 128.220.39.190 as permitted sender) client-ip=128.220.39.190; IronPort-SDR: CVm7J7eIFm+FwxZ38L45iZfaMZrV/FMrF10HhT46jVMXmmbRdL/qRF/CpxFQJholMCeFx7j8Si OsG2SvkNhTBZST9i4+hbH6jZ3mciUCNnRbXIbnjlyD/Rrg+ExhUfU+RPS4hlm4gKH9spxXZbuD A58OC9z9FyT9c5KUN6oxn5XspnHT3xoSzhWyp1J0vIiiGjvBRBxE1clDrU96KLY3nWm494W7NN YAMYzY1pZNf4+KhgEOFXxCIdM/8TXGFbWyr3OiF6OPWTNVwXw2F69gk/ybofOFdsM58Ze942JS Avb2WqYrvLYCXDxk1Sieievu X-IPAS-Result: =?us-ascii?q?A2GkBADfjnli/4SErQpagQmDc3wCgVSET44JgwKbOoFAg?= =?us-ascii?q?REDGDwCCQEBAQEBAQEBAQgBNwsEAQEDBIR7GIUpJjgTAQIEAQEBAQMCAwEBA?= =?us-ascii?q?QEBAQMBAQEFAQEBAQEBBgMBAQECgTJkaIFPgXQLNA2CNSkSY00DAzUBAQEBA?= =?us-ascii?q?QEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEFAoEIZxEMAQEmCgIGE?= =?us-ascii?q?QEGHAImAgQwFRIEDQgBARCCaQGCYwNAkF6cEYExgQGCCAEBBgQEggkFR4I4G?= =?us-ascii?q?EUBCQ2BXAMGCQGBBiyDE4QpgSJehWSBSUSBFScMggg9gXWBXQKBIhVAgz+CZ?= =?us-ascii?q?ZYXXRAiLTsGR2YrD5IfCINDqmQPL4MkixiUVQYTLYN1jDqYJJZijSKIAoxfh?= =?us-ascii?q?HICBAIEBQIWgXgzLIEgchODIxI8AQIBAg0CAQIDAQIBAgkBAQKONINbil0Bd?= =?us-ascii?q?TsCBgEKAQEDCY8ngkgBAQ?= IronPort-PHdr: A9a23:2S5aWhX4xDvDB4Qfg6uNFzM7hSrV8KwqUjF92vMcY1JmTK2v8tzYM VDF4r011RmVB96dt6oP07Ge8/i5HzBau9DZ6DFKWacPfidNsd8RkQ0kDZzNImzAB9muURYHG t9fXkRu5XCxPBsdMs//Y1rPvi/6tmZKSV3wOgVvO+v6BJPZgdip2OCu4Z3TZBhDiCagbb9oI xi6swvcutMZjId+Jao91hXEqWZMd+hK2G9kP12ekwji6suq4JJv7yFcsO89+sBdVqn3Y742R qFCAjQ8NGA16szrtR3dQgaK+3ARTGYYnAdWDgbc9B31UYv/vSX8tupmxSmVJtb2QqwuWTSj9 KhkVhnlgzoaOjEj8WHXjstwjL9HoB+kuhdyzZLYbJ2TOfFjZa7WY88USnRdUcZQTyxBA52zb 40TD+oaIO1Uq5Dxq0YSoReiAAWhAuTgxCJVhn/txa01zfguER3I0gwnGtIBqnXUrNPoP6sWX u24yKzEwDPeZP1UxDj98pDFfBA/r/+RQbJ+f8nfxkczGA3KgVqdspDlMCiP2+gRr2SW4ehtW OSygGAnsQFxpT2vy98jhIfOhYwbzFLL/jhlzog2KtO2Skh1asOjHZROrSGaNpV5QsMmQ2xzu iY6yqAGtYSlcycX1ZQq3hjSYOGIfIaU+BzsTvqRIStmi3J/frKynxi//VW+x+DiSsS631dHo ypFnNTRuH4D2AHf58mIR/Zg4kutxyuC2g/O5u1YPU05lLTWJp8vzLM0ipcerVjPEy3wlU7rg qGWcUAk9fKp6+TherjmqZicN4h7igH6LKsigNCwAeM9MgQWWGib5Pi81Lnk/U3+Q7VGlOE5k q7csJ3cOM8Vpba5DhdI3oo/8RqzEjWr3doCkXUaIl9JZgiLg5XnNl3QOPz0E/ayj0iinTpu2 vzKIqbuD5TII3XAlbrsf6ty5ktZxQcyy91U+ohaBasbIP3pX0/8rNnYDhgkPAOq2+vnE9B91 p8GWWKIH6+ZLLvesV+W6eIrJOmBfIAbtiv8JfYi+fDhjXA3ll4AcaSoxJcaZm60Eu5oIkWYZ 3rgmM0OHnoQsgo8TOzqlUeOXiBOaHavR6485zc7B5y6DYrbW4yhnKaN0Dq5E5BYfGxKF16BH Wnye4mZVfoAdjqeIsp7nTwFUbihRZUh1RartALi1bVnNOvU9TMYtZLnz9V15e3TlQwo+TNqE sudznmBT2dvkWwQXT85wLh/oVBhyleEyaV0nuRUFcZP6PNRTgc6KZncwvR4BdD1XwLBecuJS FG+QtSmHz8wTsoxzMEQbUZ9BdqiiQrD3iqxDr8akLyLA5M08qbC0Hj+PcZ9zGvG1LE6j1U8X sRPMmim1eZD8F3zAIvOj0KBhu6WZLwRlBLN+WCZ3CLanEZdVxJ3SbT5TGgSWkvbqs7ozkzFS LCqBLs9NRZZ0oiJLa4cOfPzilATadLCHOWWWUOcu0P4URuSx76MaKLoe3hb0SnAXhtX2zsP9 GqLYFBtThyqpHjTWXkzTDoHK2vg8uh7/XW8SEJ8jwSHdFZo2Lf9/BkJzeedRPUe0vNh2m8hp jx4EUz704fQDNyN9AZkdb9XNNU65loP3GnFtgt7a5qnKa0qhlMXfwlt+U300BAiCIVd18Ums SBC8Q== IronPort-Data: A9a23:pVSnuqm2BTtCK+aulFtf62Ho5gxAJkRdPkR7XQ2eYbSJt1+Wr1Gzt xIXWD+FaP6LazCjfY0gbI++908OvpfQyt81GwU/qX9hQi4T+ZvOCP2ndUqhZCn6wu8v7q5Ex 55HNoSfdpBcolv0/ErF3m3J9CEkvU2wqz6V5NfsYkidfyc9IMsaoU8lyrdRbrJA24DjWVvQ4 YKq+aUzBXf8s9JKGjNEg068gE431BjCkGtwUosWP6gjUPf2zhH5PbpHTU2DByKQrrp8R4ZWc 93+IISRpQs1yT92U4/4zeyrGqE9auW60QCm0hK6UkU56/RIjnRaPq0TbJLwZarL4tkgch8YJ Nhl7PSNpQkV0qLkleQmTBBBMiVCYI4cyLPCJXG1m9KP9hiTG5fs660G4EAeELY339pILFEXq 7lDcnYSbxbFju7wwrKmDORgm6zPLuGyZMVG5SomlGqDS699G/gvQI2TjTNc9Doqh81OGd7cZ 9dfZDZyBPjFS0YUYg5KUM5vw49EgFHDIxgb73OkoZYw2EPYnAFdgZi8PdHKL4niqcJ92xzwS nj910T+BxYGM8SO9Sud/06si+jVjAv0X4UdELC37Pl3mEbVzWsWYCD6TnO2uva8llGzS4sBb hdOvDUvq+47+AqpTsS7UhGlyJKZgiMhtxNrO7VSwGmwJmD8uW5130AIEWxMbsIIrsgzSWB43 1OFhYq1VzF1sbCVTVqf9qrSoD+vYHBHIWgHbC4CbA0E/9i+/Npq10qTFo5uQPyvk9n4OTDs2 DTW/iIwsLMe0JwQ3KKh8FGb3j+h/8CbTgM86gjNcHii6wd1ONysa4CysASJ4OxBIYadZluBo T4Jl9XHtLICCpSElSqsRuQRHez1vK/caGGE2VM2Rssv7TWg/XKnbLt82jAmKRc7KNsAdB/of FTX5VFb6qhVMSb4dqRweY+wV5knwKW8R9ToUvfYMohHbpRrLl/V0RpBQHKv8lC0zg13y+cgO JHdeMrqD3YHT6lr0WPuFesa1LYqwAE4xH/SGMyglk3/jeLGaS7HU6oBPXuPcvs9sPGOrjLT/ osNLMCN0RheDLDzb3WF64IVNlxWf3E3CYqs+55abeGGPhVrCDh/TqSLh6wgfcpsk+JXlvqO8 32gAxcKxF36jHzBCAOLdnE+NOi2BM4j9So2bX42IFKl+3k/eoLzvq0RQJ06IOs8/+t5wP8oE vQIdq1s2BiUpugrJtjFUaTAkQ== IronPort-HdrOrdr: A9a23:uFYzvarJzxBGlPywwVcI1iYaV5oGeYIsimQD101hICG9JPbo8P xG+85rsSMc6QxhPU3I/OrqUpVoLkmxyXcL2/h2AV7PZmbbUQmTTL2KnLGSoQEIcheWntK1s5 0PT0EUMqySMbEVt6fHyTj9NdFly9+a96qlwfzZ02pgCRxtApsM0+5xMHfjLnFL X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="5.91,212,1647316800"; d="scan'208";a="330150497" X-Amp-Result: SKIPPED(no attachment in message) X-Amp-File-Uploaded: False X-MessageIPDirection: Outgoing Received: from esgmtwex16-32.win.ad.jhu.edu ([10.173.132.132]) by ironmtw9.johnshopkins.edu with ESMTP/TLS/AES256-GCM-SHA384; 09 May 2022 18:04:53 -0400 Received: from ESGMTWEX16-23.win.ad.jhu.edu (10.173.132.123) by ESGMTWEX16-32.win.ad.jhu.edu (10.173.132.132) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_128_GCM_SHA256) id 15.1.2375.24; Mon, 9 May 2022 18:04:52 -0400 Received: from NAM12-BN8-obe.outbound.protection.outlook.com (128.220.36.250) 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 via Frontend Transport; Mon, 9 May 2022 18:04:52 -0400 ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=D6ql/+1cBhYA9n79+A7kfanMpYWabfetvRUwRxRQWzGP4VGqN97o7mq/Dgdge9lqCwiKlyrc/x3S/OFm6DesW2wlCT5LzqbxKYexV4u1FQKHkyWs9nBBi4iIfyB0/+KBfKjIHm1LN4RnpuWLR6m6L59mDR7tKmVPzveGyy4145KRql19ZIEf9B3VzoKAg7z89YPnO1JcxBLZY1erjxQJ5l0NCv9nQZIHrke/bRJKLFFNihG9nTcOlgUiXKTD3bgsbYGHAivqFEw/jvSfODiYRDE5FQAt2BNvIvdzvoDcysZqOCl+99CbecELuw8VkkrmpAutFwtz7ZbsUsiZCI3Uug== 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=RGepqJKQgpE9iQ+RtVI0dDAPrWeZSc9YV88Jhi014vI=; b=iqf2iD+AXZDl1HgnJxpeaMyR82VZdm1NlbvLhIgGjcd39rJ+l3rBcw8u+v6x5BaWkzViRHcVupEwuwDt/Sk9kJetzsk2sp3BIChZUAwJcxCSVy6RIdotR/lOwjWtpEQoepQTn5AGJwnfvpLnqwezkFW499HVv5SbgqAxsBEr6rvjTUwbAZyPfbJYp3fjI0KwDxVUji7qy/57uNKpYOR93suDLQSIrgLWJctHU0WtB2r0ceyOX86A4aOYNU8/SD7cIBfQPT65+BrCbQ7b6x8rgc3txHv8n6+csy93gwAm918PmgUnhR5p5W1CudxSEbrGcG5DI7GiqrZ66YvemkMGfQ== 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 BL0PR01MB4868.prod.exchangelabs.com (2603:10b6:208:30::22) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.5227.23; Mon, 9 May 2022 22:04:51 +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; Mon, 9 May 2022 22:04:51 +0000 From: "'EMILY RIEHL' via Homotopy Type Theory" To: Homotopy Type Theory Subject: [HoTT] Communicating Mathematics Conference, August 8-11 Thread-Topic: Communicating Mathematics Conference, August 8-11 Thread-Index: AQHYY/DO6e/PWr1QeEmROxdw3QEJJw== Date: Mon, 9 May 2022 22:04:51 +0000 Message-ID: Accept-Language: en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: user-agent: Mozilla/5.0 (X11; Linux x86_64; rv:91.0) Gecko/20100101 Thunderbird/91.8.1 x-ms-publictraffictype: Email x-ms-office365-filtering-correlation-id: 471c25e9-9dd3-4a33-c24e-08da3207f125 x-ms-traffictypediagnostic: BL0PR01MB4868: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: D0ABpcebSSlzHYSLLiG6Hg/8ZLIuvuM1MZ8YDVp+aXil755I3Ymy7VBaZHrlW88EvL+cnJiRG0oJlBWh0Q4idNz/FYrGE9VdJwSMO9pCQQ3/DqoGm96gMAnfE00BZ98R7kcyStD66f+KSYjgGZQecVPI/BUbOlxTXTQfcwLwRLNZtH20v3FXo9qj49P3JuPZwAkLwr2BR1n9eYFsU2kwQW7Ap2YCIWpAJBMIlo4oaDfhRS5ZCqlJZKxG33mKXPKl8gKL18C6Qtny9WAvCbO3OuEXZDGEkHVvP+an4jj8YzPBKmcDA1HelsKU84Ym0CFv2NSyL0zn8p6Yvj0IQLcoV1A0cz+frsjaBnustX7XhkfrxSQKdj8Huw4xRKCYFmfAQuID1VadQPwXNt5UBrMAiQ7uBNTeNWxxUCkxYsc1H+urayFZwTFg+ZYdJmZgIMcnve1SoZ730BK5bcB4MIjuc7eWzPteiLu45yemsyqjmRgck853DBlemiCvhfjTOfkIAtCJ3jQZqjEAxsAvI8M58AJ6CNG4phryyN4rKsOJVW9HrdkRo/FwYpd1rwdwkPccqkNn6hyp4nWZJvehC0NEnqzlDTVQMRBaqIB4yXAmCaI3/skl5FEmBxS/yY0sq6ZHns1i43wqdDK6v156XFnsb2n+AY7xOIjUsT5FiQ5vTWgmxgfb3Pdc+NhGHjLblwq7P7bqnn4GMCu9cdwPsPM61/3zv5YiHzAeuwk0i65EIzWRF8fxDMA9cZ3ZW3x7FQgw/afAvW+2HrRz60EqMmE5JWzdCXEyKKzIlsU6zEeJnBdaFUEjVH9742EC19GTv/99 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)(786003)(2616005)(86362001)(76116006)(66556008)(66446008)(31696002)(8936002)(66946007)(6916009)(66476007)(64756008)(8676002)(91956017)(316002)(122000001)(38100700002)(6486002)(6512007)(6506007)(26005)(71200400001)(508600001)(75432002)(38070700005)(2906002)(966005)(66574015)(36756003)(31686004)(83380400001)(5660300002)(186003)(43740500002);DIR:OUT;SFP:1102; x-ms-exchange-antispam-messagedata-chunkcount: 1 x-ms-exchange-antispam-messagedata-0: =?utf-8?B?NXhaNnFUL1FCWk9ad0NPc2ZjYkgwZ045ME9RT0ZwckROczIyeEYwQTJNREZZ?= =?utf-8?B?RVQ2dUtyTWE5dTJHUklCeTJ6bDhiUk5BaXEzdm9XVTV3bXo5YXBGMm56bERF?= =?utf-8?B?NG5sRHJkaU9RUDI3RGxRWGtJaXlGV25RcUpydzhzdWl2SVdYWXlxTDMvL0sr?= =?utf-8?B?Q2wxbVpkRCtHSUMvdTVqNGIrM2lkcHZOdStXUzVlVUgzS0NZRTNSTG5MVnRV?= =?utf-8?B?eVdIV3YwNmFuTjRoQlBSblpkVXlOQjM4cHg4YWlVYlF4ekdPWVlwazBGRXhF?= =?utf-8?B?QUtGckw5NVQxclhLcEFXdTRDNWV5K2hpMkRsdWxoYnVEZithOHoxaTVtNHYy?= =?utf-8?B?bDdRY25LZ0VNbjJKNHFUVTc0RGdvaEh5c1VkQjlpbFh1N0hQbUtzVUl1ak93?= =?utf-8?B?YStHSTBNK3Y4WmVQbUZ0QXc0TmtyL09PSnd3cVdqNDIzVXJDY1dCTzc0VUcy?= =?utf-8?B?ckJySTk4Y3hIcndWd3I2ZFE1YWNnYVFpTnpxYXN6RjM4MERkUlNUL2tSME92?= =?utf-8?B?SmFTSGNMNGZjSDdnRmxtS2t2M2N2a2JKT3FlMjAwbmlsYkFia1VpeHlzaEth?= =?utf-8?B?eXRQSDAxS1U1bW9CRUs1djhCU2Y5N256K0JoMDZNVE52ZERBYTRFSGt1YmVB?= =?utf-8?B?VzZ3dEFHTUpHcVRkV1AzOHNNbmdkUkk3RnFadUZrSjlPYXk0dmpCd3dDT1Ex?= =?utf-8?B?SVpwWGFlNFFMN3YrcGFPT2JNTE5VM3lGblpQdVA1aFAzODVQelRrZFJiRHQ3?= =?utf-8?B?Z05TOU1Mc3J3Vkx5c09SYmhudzZFNk1LQ0JEVnJMRTNNakl4RW9LR2ppTzZ6?= =?utf-8?B?dkVHclhHNWFsMllrUnNHOXNxLzBNaS9wRllNbW1KTU4wMTNjdERNN0N0blUv?= =?utf-8?B?MTY5VGRYcW5lNTIzL2dSTFZFcXpWRldQbVo0cjV2KzloS2lTcWxYZnRiYVc4?= =?utf-8?B?aVhrdFhNR3d6SER5bzN0T0ptNkNGZDB0ZVplM1RqbUVQWk9ocHlRd25oZWRK?= =?utf-8?B?ZXhac1ZJa2hRSEg1Zy9KRU9VMW5Va3hYR2VRaUI2cTJsNmlWb092Q3Y5b0xE?= =?utf-8?B?RG4ycHpJbGNjcHY3amNJUm5KeWg2VEU1ckh6VFRtaGMyT0twaFhBUHZwVFlH?= =?utf-8?B?K1hCdlNqMkkyWEh5dDNxd2lBSllnWXV2UHJ1WnY2a3U4bFhSOVdFQUNBTlg0?= =?utf-8?B?and5UE8zc04rbFdsaEFVN1hoN3k4K0IzbCtOMWlLNjcyY0FzaGE4MUVkQVlB?= =?utf-8?B?bTdIZFJWMGdKK1F5UmhoNFFhTTVkbWd6OFh1KzMrbUxQT2c0eU9UUHBGTFZJ?= =?utf-8?B?VzBabG5sMTBvZEwrSVV2WVQ2WjNsYTlKN3M3dlloWWIycE1CLzlxQkRoVXk4?= =?utf-8?B?MVRXMUdmM0hNVTlZUFdTSDArMTQ4SWxJNitYdVpZQ2dLWVpCZG8renk3NUJB?= =?utf-8?B?WjVmaXZxa2RLNWs2aEFNYjh0UjZEeGR0R2tjclZ2UXVqcG5DWkRpdWI5Nnlm?= =?utf-8?B?UjFCV3Z5U1NLU2VkNWsxMUpuQkI5cXdFM0J3NXkwNEk5Sm5ZaTdkNUIyMWVH?= =?utf-8?B?MHpmdTBXM1dSbUUrazBWUTFhN1o2SjhnYWxQTTE2b09PSTFlNGZYM0pxQnJw?= =?utf-8?B?dFRTcCtRWFBkc0V1cHNJOFJqT0Y1dzRmSG1pMVNDSEwyejhBQVhyUUNlRGdu?= =?utf-8?B?c2g2SFZHQ1d4TU14QlphbjlTUkJ4aFkwdlJJWkROV1p3b01HNzlJTm5Vd3FO?= =?utf-8?B?MUJOMk9XQ3JzRzhtQlc3cXFBcmlkMkRndTJSamtBVmhpV20yN1pNS3dlNmhw?= =?utf-8?B?b3RucjJ2TWNCd25vbmFWOFlSK21HTlR3eHFVcEJSeVFDMVVOcG1Wd1pLdVhj?= =?utf-8?B?ajR0TXNuS2NSa2xCODFTVk9IYU9UbzVtaTFjTGFxckFPbjZhcENQSExIRzNN?= =?utf-8?B?VWdIZ1c2TlN0amlzRC9PMDlqWnRIYUZqRG9MMWxRY3EreWJtU1gySXZYb2NR?= =?utf-8?B?dCtqRFpzck9rSVdQdjBLblVxR1FWMCtUOUlDd3JPdDhyS255cThnS2dSWURH?= =?utf-8?B?cFJQY3lsRE1SYzdOWjNrQ0ViY3BxN090bjRSZDN4RmI2eCtYVTVrR1RQMzBs?= =?utf-8?B?cmFSZEtqRjRXNFZrcHZOcUpQMWlzOG1sYnNSVVlvS3RpeVlXQ1dORjRKRW51?= =?utf-8?B?bzRKWlNwOHBXOFZscXo1cExudk1ZU0twaUI5Tm43dlZENnZ1Sm90U29MVEk2?= =?utf-8?B?LzY1SUQyOUV0THZucUVXM0l6MmJhM0t3eW9xOXMxejZ3elM4QnBSTERpV1hH?= =?utf-8?Q?1bh7cZbDP1felyb2aH?= Content-Type: text/plain; charset="UTF-8" Content-ID: <6372758EA354AC4C8CFBE2893AC26E54@prod.exchangelabs.com> 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: 471c25e9-9dd3-4a33-c24e-08da3207f125 X-MS-Exchange-CrossTenant-originalarrivaltime: 09 May 2022 22:04:51.8133 (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: vblrgR9MuPPEUWXfyTEQfMeuIrQ5lWQroe2ucIUd4VXb6VRyxyVcysiknjCkrx4c X-MS-Exchange-Transport-CrossTenantHeadersStamped: BL0PR01MB4868 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=vYBc2xpt; dkim=pass header.i=@livejohnshopkins.onmicrosoft.com header.s=selector2-livejohnshopkins-onmicrosoft-com header.b="YX/Xm9mL"; 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=121466806=eriehl@jhu.edu designates 128.220.39.190 as permitted sender) smtp.mailfrom="prvs=121466806=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: , * Communicating Mathematics is a 4-day workshop for mathematicians at all=20 career stages who are interested in exploring how=C2=A0we share our researc= h=20 and interests with fellow mathematicians, students, and the public. The workshop takes place August 8-11 at Cornell University and will run=20 concurrently online over zoom. Planned sessions and workshops include: - Mathematics for the common good (social and civil justice issues) - Engaging the public in mathematical discourse - Inclusivity and communication in the classroom - Communicating to policymakers - Community outreach: communicating mathematics to young people (e.g.=20 math circles) - Advocating for your department (communicating to university=20 administration) - Communicating with fellow mathematicians: =C2=A0=C2=A0=C2=A0=C2=A0- What makes an engaging research talk? =C2=A0 =C2=A0 - How should we be communicating our work to each other? =C2=A0=C2=A0=C2=A0=C2=A0- Succinctly describing your research to both a sp= ecialist and=20 non-specialist. We will also have structured breakout/lunchtime discussions on specific=20 issues related to improving communication and dissemination. Speakers and panelists include: Erika Tatiana Camacho (NSF) Moon Duchin (Tufts University / Metric Geometry and Gerrymandering Group) Jordan Ellenberg (University of Wisconsin) Rochelle Guti=C3=A9rrez (UIUC) Lily Khadjavi (Loyola Marymount University) Michelle Manes (University of Hawaii) John Meier (Provost, Lafayette college) Karen Saxe (AMS Office of government relations) Steve Strogatz (Cornell University) Peter Trapa (Dean of College of Science, University of Utah) Sam Vandervelde (founder of Proof School) Amie Wilkinson (University of Chicago) For more information, including registration, please visit our website: https://sites.google.com/view/communicating-math/=20 We have limited funding available to support participants - please=20 register before April 15 if you intend to request funding. * - Katie Mann, Emily Riehl and Jennifer Taback, conference organizers. --=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/d6c34392-34fd-fa59-2232-14a15661fb0f%40jhu.edu.