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 15091 invoked from network); 10 Sep 2023 14:24:55 -0000 Received: from mail-pl1-x63a.google.com (2607:f8b0:4864:20::63a) by inbox.vuxu.org with ESMTPUTF8; 10 Sep 2023 14:24:55 -0000 Received: by mail-pl1-x63a.google.com with SMTP id d9443c01a7336-1c091a563ecsf48922375ad.0 for ; Sun, 10 Sep 2023 07:24:55 -0700 (PDT) ARC-Seal: i=3; a=rsa-sha256; t=1694355893; cv=pass; d=google.com; s=arc-20160816; b=wsVSR2INFE086xcNb93dK+QIixW/NKkIu4EZ/ZrHazhCxUWF6R1OwN4AyueyDQ7uhH 2WhDMoejqlq5TkHGfRtCAuMGY8AiZvHOZUIvKxZJlVPdsEACWePH0bKbN8bcxieChgx+ Z10d28uhIR+kMMznKfvEhNTMgoIleC0AnQbhc+0Uo8iD+hAWVRMMWGwmuIxO76i8P+QD pHFFlyb98mZzELqHYGZl3PRHg6SCbTwtquiTazbdCr/AqN+YVFcqtAJENXHzqzQ8yXGj IsGMLh7HbUiAhv9oU1+oaAH3KH/HRpgWfeDk2ERjGVlrTzHUEVprvkzVjgcxeE6mPZfr +8hw== 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:dkim-signature; bh=k760HKN0zugC0bznsltKPySyBy6bXWkILbxiBMo+U6I=; fh=ufxnXseoGZJeJy0ePoDn8XJPJj7L0QOaLw9vuKYlHY8=; b=aYUlmkgUZ6cPG7+0JR00gA3vZzN4MfPjWjAWalsCWIt3mj1l+0PpVPk+BC8KtzObaH +OZWZcAn1XsSzmnOGRu/GgmVfAgunHars+4LH6vwxo9Q6k470WE4KOmqG3skK0OAoRk5 5qf5K/SPK2DeVKRS2+EDkYF0T9aB2hFVt0tq6QwFFAAKaxARmwo74/NQhWIcyVuW8WQz j73YgQdOiMffwHLLXFfPNODziu/V5WwUYuIb8EwLL2zFUlM1OedW6sym3e2I6dMChvAF SSqp2b1/7hQPjnvrd7YSuEDOZ8u5psVLUkqwUADGG06qBu6uCtXCkQJ3Sb6Jq322Cpjn pcWg== ARC-Authentication-Results: i=3; gmr-mx.google.com; dkim=pass header.i=@jhu.edu header.s=jhuiron header.b="35/DZF7S"; dkim=pass header.i=@livejohnshopkins.onmicrosoft.com header.s=selector2-livejohnshopkins-onmicrosoft-com header.b="fUBPLw/v"; 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=610565266=eriehl@jhu.edu designates 162.129.199.140 as permitted sender) smtp.mailfrom="prvs=610565266=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=20230601; t=1694355893; x=1694960693; darn=inbox.vuxu.org; h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post :list-id:mailing-list:precedence:reply-to :x-original-authentication-results:x-original-sender: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:from:to:cc :subject:date:message-id:reply-to; bh=k760HKN0zugC0bznsltKPySyBy6bXWkILbxiBMo+U6I=; b=B8OVT7u9KdcpIYRDvsyErTwTb7Oa+YcCujPSlJV16xsu4gJmql8D/2Sd0dnn+CTpSL KmwaMgpXymTg1MQJTtJrg0IjUR5UOntMj/ndvFTAsyLnzoU+gBR/mPoYpOqOwdQgxHqe Gdx9Nnmnazvde9QmUKnB/RVS7WENnFVUdwyaoSW6cyOdtg2k+Nj6vjEyslOLQ4HGa9K9 wv27IYAvt9gxSf9pMgNQ37Udu1hmubU5fi3OHRLUY7EMpx1fJi99MM3O1lNDl5hPTd3M wKcWC9y5BTKv/vr1vvsm0Scn2o5Q0LBJJQ5uxRRxwwezyux73o2jEOVO/y98LDhli7+y NgXQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1694355893; x=1694960693; h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post :x-spam-checked-in-group:list-id:mailing-list:precedence:reply-to :x-original-authentication-results:x-original-sender: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:x-beenthere :x-gm-message-state:from:to:cc:subject:date:message-id:reply-to; bh=k760HKN0zugC0bznsltKPySyBy6bXWkILbxiBMo+U6I=; b=EWawUvME3+zDM8RxVycBeiJ0x0h1e7JVUKCCObVj6L7oV8bhAZLGqOLgMyRObgW/VS wwZzlXEsuGgm01SRRANjT1QBeSQdshFJBtNeFiaKYvgsqN+rrXrYW2w00EUaW4wPNKCR VVE8lQzoFc5SB9cXFd6FAuKTVAXwhT1SUkk4tv6ywZMR19HlVKQdkPrDAsV5e+/fBQCA /otln0osne5TSi81O99B/vHgTM+JMB407ywSdINobeWWNDxU15lukZYxLQYx/VPIaSWE 09WkusFsavxEl/trgQdo5KpjbQ4GDrrMNbSW9rscJjIWO5RPrIs+Jj67EhdKgQbW9Ip5 jciQ== X-Gm-Message-State: AOJu0YxihzCLm4HCiIHdEBLQy66z0+HeEFwr8xjr60ZQbYLrUCElWqCK zSTOhzpJ/IEnu5TJ0miBIbI= X-Google-Smtp-Source: AGHT+IFeIWKqxD9Hl5GAQNO4HUcFS2w/s2bjPiAjEmxjSAfEnVCrx7PgiJbU+Tj3U0GPpXh7u3nHBw== X-Received: by 2002:a17:902:f546:b0:1be:e851:c070 with SMTP id h6-20020a170902f54600b001bee851c070mr6486880plf.22.1694355892389; Sun, 10 Sep 2023 07:24:52 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a17:902:64c8:b0:1b6:8c9d:5961 with SMTP id y8-20020a17090264c800b001b68c9d5961ls1660998pli.2.-pod-prod-09-us; Sun, 10 Sep 2023 07:24:50 -0700 (PDT) X-Received: by 2002:a17:902:f7cb:b0:1c0:d5b1:2de8 with SMTP id h11-20020a170902f7cb00b001c0d5b12de8mr5600009plw.9.1694355890308; Sun, 10 Sep 2023 07:24:50 -0700 (PDT) ARC-Seal: i=2; a=rsa-sha256; t=1694355890; cv=pass; d=google.com; s=arc-20160816; b=jvmR28zVXtUz5iE67vtSuybqnvmKJuxJi03ZH3b6CeL4+kfYlBITtu5uJO9ZpTMz0d wA/0p6MoQlhXUq0A/AuiwUtDY8YT+JvIA9Qlc5dpU4wwH9Enh/8Lkn50pkXXKNXTjgLA D9lDM8JeMtcQgtg6Yo8VvGTFSroeepgyETfW3Q/maNvnlxVy1EqMZEbQVD+bQAk02YRv OqqROLdD+2KfSwhGfsaR4ZTuedCHu/7s0bCbT22wXaR8ETQeBqI6hSfgq1OL8k8dNLZE 3ALNIU1SuCH4Wlt0y4wGJvP6U1KU92xiL2+o7GdYTkgdoZyj1OzXAioo2HX9wfHLeR+z 8E1Q== 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:dkim-signature; bh=8qd1/g0Z5CcmrdslOJxjzRU5/KYhscLqYviT78ANGng=; fh=ufxnXseoGZJeJy0ePoDn8XJPJj7L0QOaLw9vuKYlHY8=; b=DG4ZefwFsi4wMYWI93WZeSFzvvPA5g3d7RgHkLNicovQRhu76quGiL+CRV1lWLohWU mzkwB9HfMPi7q2JBhWF7rppL1aCqapynUUMlLtXCLEbkrZjPcN3GMIsY9RXQ6RBq7s+R Z2lCJpH4clXpyxkfsNV0G8yaJkq++ifgaPm7+OhHMCMa/Nvf8CVkc/HGf91cz1vNJLJG lS9GM55NK7wqJWKwdIi/RvLr6+gHL/n+GzRMpNsgp8WqNURyPWxh4IHHyrln4UWd1xOX LxfZeFMejc1D1wgKv2G46qAPGrEbYIpaMOaeMJ/ZOrfWNRf/pG+CT6/KghVt4XhtxFMk +2PA== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@jhu.edu header.s=jhuiron header.b="35/DZF7S"; dkim=pass header.i=@livejohnshopkins.onmicrosoft.com header.s=selector2-livejohnshopkins-onmicrosoft-com header.b="fUBPLw/v"; 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=610565266=eriehl@jhu.edu designates 162.129.199.140 as permitted sender) smtp.mailfrom="prvs=610565266=eriehl@jhu.edu"; dmarc=pass (p=REJECT sp=REJECT dis=NONE) header.from=jhu.edu Received: from IronEB4.johnshopkins.edu (ironeb4.johnshopkins.edu. [162.129.199.140]) by gmr-mx.google.com with ESMTPS id kz6-20020a170902f9c600b001c1f4ebc2bbsi570429plb.6.2023.09.10.07.24.49 (version=TLS1_2 cipher=ECDHE-ECDSA-AES128-GCM-SHA256 bits=128/128); Sun, 10 Sep 2023 07:24:50 -0700 (PDT) Received-SPF: pass (google.com: domain of prvs=610565266=eriehl@jhu.edu designates 162.129.199.140 as permitted sender) client-ip=162.129.199.140; X-IPAS-Result: =?us-ascii?q?A2HqCQDX0P1k/96ErQpaH2qBT4I3dgKBXIRSkTOEbI81D?= =?us-ascii?q?IcagTiBLBSBEQMYFigGCQEBAQEBAQEBAQgBOQsEAQEDAQOEOV6GXSY2Bw4BA?= =?us-ascii?q?gQBAQEBAwIDAQEBAQEBAwEBAQUBAQEBAQEGAwEBAQKBGYUvOQ2CNykSZFADM?= =?us-ascii?q?wIBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQERAgwBByExSREMAQE4EQEiAiYCB?= =?us-ascii?q?DAVEgQBDAgBAYJ6AYIqAzEUBqg4gTKBAYIJAQEGBASwFxhIAQkNgV8JCQGBE?= =?us-ascii?q?C6DXIQtAYFQiDZCgUlEgTyGJAIBgSWEFYJniFh0hUIHMoYFiUMJIYEICF9Vg?= =?us-ascii?q?REEPQINVAsLXYEUUTmBPAICETkTBUJxGwMHA4ECECsHBDIiBgkWLSUGPRQEL?= =?us-ascii?q?SQJExI+BE2BRoElCoEDPxEOEYJEIgI9NhlLgmMJFQw0BEp2ECsEFBhtKG4fF?= =?us-ascii?q?R43ERIFFA0DCHYdAhEjPAMFAwQqDAoVDQshBRRDA0gGSwsDAhwFAwMEgS4CB?= =?us-ascii?q?gUPHwIQJwcrAwMZRQQOAxkrHUACAQttPAE1BgMLG0YCRKBLboNGSwKBaJcwr?= =?us-ascii?q?hQxg2SMAItDiUcGQoQBgVaLGJhwkmKFSyCNQZo7AgQCBAUCFoFqBmmBIE0lE?= =?us-ascii?q?xohgmcJSRkPjiqDGlSCZI0VdjsCBwEKAQEDCYtIAQE?= IronPort-PHdr: A9a23:f61OcxElffOPSb8aNEH5vp1GfxpKhN3EVzX9CrIZgr5DOp6u447ld BSGo6k30hmQA9+QtKgMotGVmpioYXYH75eFvSJKW713fDhBt/8rmRc9CtWOE0zxIa2iRSU7G MNfSA0tpCnjYgBaF8nkelLdvGC54yIMFRXjLwp1Ifn+FpLPg8it2O2+5Zzebx9ViDe8f79+I xe7oRvMvcQKnIVuLbo8xAHUqXVSYeRWwm1oJVOXnxni48q74YBu/SdNtf8/7sBMSar1cbg2Q rxeFzQmLns65Nb3uhnZTAuA/WUTX2MLmRdVGQfF7RX6XpDssivms+d2xSeXMdHqQb0yRD+v9 LlgRgP2hygbNj456GDXhdJ2jKJHuxKquhhzz5fJbI2JKPZye6XQctQHS2pcRcZRTzJODZ+gb 4UBCOoBOPxXr4j7p1ATqRezCg2hCObpxzRVhHH5wLc63vwhHw/YwQIgA9wAvnfao9rpO6kdX vu4zLXTwjjZc/9axTnw5YrOfxs8of+MR7Vwcc/JxEcgEA3LjVOepo74ND2J1+QCrWib7+59X u+olWEnsQBxrSavxscokYTJhIIVyk3e+Spn3Yk1OMS1RUhmatGrDJVerTuVN5dqQsw8WWFov j43x6MItJOmYiQEx4kryRHQZfGGbYSF4AzuWPueLztkgH9pZLOyigqs/EWkxODxVtS53VhLo ydYltTBtWwA2hLT58WBV/Bz8ECh2TOV2ADS7OFJOV00lKTcK5I73rE/jIIfsUvEHi/xl0X2i LGZel849eiv7uTrerrmpp6AN490lwHxKb4ims24Aek+LwMAXHCb9Pyh2LH/50H1XbdHg/Msn qXEvp3WO94XqrCnDwNLyoov9ReyAyuo3dkdgHULMElKdROCgoXqPlzDIu33APK6jlmtljpg2 urIMaf7AprXK3jOiLLhfbFg5EFC0Acz1tVf545MCrEGPfLzRlf9tNzGAR89NAy52/rqBct/2 I0ZQGyCH6yXPqXdv1OS4uwhIe6CaowPtDjyJfYq6ebijX4/mVADYamkxYYbZGyiEvh7IUiUb 2DgjsoPHGsUpAYyUvLmhEOaXT5WfXmyXqY85j8hCIKhCIfOXp6igKaA3CilHp1WYntLClKME Xf1bYmLReoDaD+KLs9niTMLTaKhRJM51RGyqA/6zKJqIvTM9i0CqZ3jzMR15/HUlRwq9zJ0C MGd02aRT2FzhmMJRyE43aBnoUNj1FmD0bZ3g/tCFd1T/P5JXQA6NZnTz+x+Fd/yVRjBftCUS Fa+WdWqGy0+TtU0w9MWeUZyB82ijgzf3yqtG7IVl7uLBIAo8q7FwXfxI9hyxGra1Kk7iFkmR MpPOnG/iq5k6QfTAo/Jk0ODmKawbKgcwDTC9GOAzWqVp0xYXwlwUaLKXXAbeETWos755kTfT 7+2ErQrKBdOycmHKvgCVtq8rVJDQ+vkIMWWX3Opli+MBRuP3KLEOKrtfmIB2z3MNFkcnjwT8 HGcJCAxASCup2/RFjtzDUmpaETpp6024nO8UlNxwgWHZFF70Ly08VsOiPmdTfoJm64NvCQ6g zpzG1m50t3MDMeYvExqe6AWKYc950tbkG/dugdhJJumLqsnnVMbcgJ+pQby3hF0Ea1Pls8lq H4l1g1vMbne21REIWC2x5f1b5DyC03DtCquZq7SkgXTyteb+qMn6vQl7VjvoVf6RQIZ73x73 owNgDOn7ZLQAV9XDMuZug4f+xt7ouTcZS8wr8PR2GZ3OKa5+jnFx5oyBeQjxxrhGrUXMK6NG ALoVcFPAc+oJb8mnlGzZUcCO+ZfvKc/I8Khca6A36imdOZtlT6rlyJJ+od4h0CM6mxxRvObt 6s= IronPort-Data: A9a23:agkz66yPbQ0mqqDNRUR6t+dPxyrEfRIJ4+MujC+fZmUNrF6WrkUPz zMYWGyDPvjZYWD1ftl3ao7i8ktUsMCBnYJmHAo9qy00HyNBpOP7XtnIdU2Y0wF+jCHgZBk+s 5hBMImowOQcFCK0SsKFa+C5xZVE/fjUAOC6UoYoAwgpLSd8UiAtlBl/rOAwh49skLCRDhiE0 T/Ii5S31GSNhXgsaAr414rZ8Ek05KWr4GtB1rADTakjUGH2xil94K03ePnZw0vQGuF8AuO8T uDf+7C1lkuxE8AFUIvNfh7TKyXmc5aKVeS8oiM+t5uK23CukhcPPpMTb5LwX28M0mnUwIoho Dl6ncfYpQ8BZsUgkQmGOvVSO3kW0aZuoNcrLZUj2CA6IoKvn3bEmp1T4E8K0YIwq8pZOVNLq ewhDjk1bTzYismQ6eunc7w57igjBJGD0II3k1pA6BbzLNILB7LjZoSMyPNltNsyrpkWW6+BP IxAMmApNk6aC/FMEg5/5JYWkf2pi3n7Wz9YtRSYqbdfD237kFMqjuK2aIC9ltqiBptal2qKg H76wk/oDw0lBvqU0jne7Sf57gPItWahMG4IL5WY8fttnFqL11ACEBAqVVa8u+iRhUm5VNZSJ FYT5zI166M18SSDTt7hQ1i1pHOPogQbXdtbVvY37QCLw7CR/w+dBXMsQTlGZ9gru9UxWCQxk FSOmrvU6SdHvaaaTG6C+6fN/HboY24KLGlEbCNCTwsYpdTvvenfky7yczqqK4bt5vWdJN066 2viQPQW71nLsfM26g== IronPort-HdrOrdr: A9a23:BqLqvaMXLvU4scBcT0T155DYdb4zR+YMi2TDiHofdfUFSKClfp 6V8cjzjSWE8Ar4wBkb6Ju90dq7MAjhHPlOkMMs1NaZLUHbUQ6TQr2KgrGSpQEIdxeOldK1tp 0QPpSWaueAdGSS5PySiGLTcrYdKbG8geeVbIzlvhJQpHRRGsZdBnBCe2Km+yNNNWt7LKt8MK DZyttMpjKmd3hSRN+8HGM5U+/KoMCOvI76YDYdbiRXpDWmvHeN0vrXAhKY1hARX3dk2rE561 XIlAT/++GKr+y78BnBzGXehq4m1+cJi+EzSvBkuPJlagkEuTzYJ7iJnIfy/gzdldvfqWrCVu O85ivIcf4Dr085NVvF2ycFkzOQrQrGrUWSj2NwyEGT3vAQDlgBerZ8rJMcfR3D50U6utZglK pNwmKCrpJSSQjNhSLn+rHzJmZXf2eP0A8feNQo/ghieJpbbKUUoZ0U/UtTHptFFCXm6Jo/GO 0rCM3H/v5ZfV6Tcnic5wBUsZWRd2V2Gg3DTlkJu8ST3TQTlHdlz1EAzMhamnsb7poyR5RN+u yBOKV1k7NFSNMQcMtGdZE8aNryDnaITQPHMWqUL1iiHKYbO2jVo5qy+7kx7PHCQu178HLzou WzbLp1jx9DR6u1M7zx4HRiyGG9fFmA X-Talos-CUID: 9a23:+XS6u2Pi8ydTUO5DCQVJzHwRRtAcVHTlz1uLLmSeID91cejA X-Talos-MUID: 9a23:vMJI+gR5lPnBU5+MRXSv2j5rGNVO/5iTI1EAjao0ncKfNndvbmI= X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.02,241,1688443200"; d="scan'208";a="47362302" X-Amp-Result: SKIPPED(no attachment in message) X-Amp-File-Uploaded: False X-MessageIPDirection: Outgoing Received: from esgmtwex19-22.win.ad.jhu.edu (HELO ACHMOBILE.JHMI.EDU) ([10.173.132.222]) by IronEB4.johnshopkins.edu with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 10 Sep 2023 10:24:49 -0400 Received: from ESGMTWEX19-14.win.ad.jhu.edu (10.173.132.114) by ESGMTWEX19-22.win.ad.jhu.edu (10.173.132.222) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.2.1258.23; Sun, 10 Sep 2023 10:24:48 -0400 Received: from NAM11-DM6-obe.outbound.protection.outlook.com (128.220.36.254) by ESGMTWEX19-14.win.ad.jhu.edu (10.173.132.114) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.2.1258.23 via Frontend Transport; Sun, 10 Sep 2023 10:24:48 -0400 ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=JJXrReuxjUAnCT1LLEE5oX4UtMBvR2lJudJS3r6dDb0OaYv+xXsx14MfkeGC5U0BW0Ie7d6oT2nFEzQYJZLsTzZ2J/kD2gxQopHfd7ePHoZLtoEWDaUS1La5Iih99sAZyh3+63pxZmX+DALVIkgCVO0Gfjjv1aWXwnxyn6L4YximhG3nQ+jQNHpxFWXLzJK0qpMROn57jDI/LNfI28HDR+TDSFAdMOKzazjiOyyzxFOY1y1OtFiFG57Q5LH/iLk1zav8s2SSVFoNCK2/3VfmUmGztBhToT3kss276KN0jkClA4Z0/7c8oL0zLuzpcvMv7is/5KrW3HbJJVZU4K6HQw== 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=8qd1/g0Z5CcmrdslOJxjzRU5/KYhscLqYviT78ANGng=; b=FHE6knrrXzmr6IF/c6ktdHuiXKiuZbQJ4g4qAtDGMQeBSLOgsiBbYMOEHLx//kaD1CgENyPbmsNvWTo3OJ3K3eugXIIl5YpaOHOikCSxVfvGqK25iVnAZczHp6GaEfRdYogzbKYYqJNq6fDCjfo/uKPRGqwvYYCA3DY4+ICpa9NEq/w13s+TWHm7jdMQ4NV8qp/PUep8Dw8VbtnIYFoWKFNSGBg5BjpkgBGbZKAh76SXPmx17RpVsl6KrDSGCp4yeV+u508n4fQQ+VDm/4k/0Ys9ryvHwc//7wK7VE5reohlwKWlJ5CS48nxP+4bdcioYN3TTJLSD4UcfONzlmGfGg== 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 SA0PR01MB6329.prod.exchangelabs.com (2603:10b6:806:ee::12) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.6768.31; Sun, 10 Sep 2023 14:24:46 +0000 Received: from DS7PR01MB7758.prod.exchangelabs.com ([fe80::9e42:540c:7c11:92e9]) by DS7PR01MB7758.prod.exchangelabs.com ([fe80::9e42:540c:7c11:92e9%7]) with mapi id 15.20.6768.029; Sun, 10 Sep 2023 14:24:46 +0000 From: "'EMILY Riehl' via Homotopy Type Theory" To: Homotopy Type Theory , "hott-electronic-seminar-talks@googlegroups.com" Subject: [HoTT] announcing the Fall 2023 HoTTEST lineup Thread-Topic: announcing the Fall 2023 HoTTEST lineup Thread-Index: AQHZ4/KMZyxswR7jA028YqxMuV4zqA== Date: Sun, 10 Sep 2023 14:24:45 +0000 Message-ID: <4748c944-2cb2-b497-1a7c-b609559e8f27@jh.edu> 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:102.0) Gecko/20100101 Thunderbird/102.13.0 x-ms-publictraffictype: Email x-ms-traffictypediagnostic: DS7PR01MB7758:EE_|SA0PR01MB6329:EE_ x-ms-office365-filtering-correlation-id: d529a96f-86ae-435b-0a78-08dbb209aecf x-ms-exchange-senderadcheck: 1 x-ms-exchange-antispam-relay: 0 x-microsoft-antispam: BCL:0; x-microsoft-antispam-message-info: GdgSwBdEMaeYvRJnyf8bXLU+B2r1YPSJI7bVGjkjCd5eiEsBlySwUJyK5kNOZbMR9+vE9l6lRQNdm5SoN61vecBqvgyuDzQWi3HbxPy4TOy2Ws7/vb4SvWsu41dU4lmr+bHtG7zFqIco8oBFnzqmOVHRxHXDfQLxT4UJtDQMsDIGYppIinaLm6dQxDCZq06xThYekqjJpeq5AfWugh8lea9STDFsyZVwH/vSZ0E2HkV3Hw/b/8GswlzECnJ2JQxJa0IEMTi8seK2Rpfwul9+smh+q0fL5CbQOekZETmih2IbmP36b5Hp5GBKCJL4j6/31/bwHXP2ftNpFZLihF44W1aggnsyMsEeLTgEYLWwWMT0DW5fhuHIF/FH2mX5JSjnrtJ+Jd03UapJ0xWTjYl7Kea7XKh/KxmNW7otnlJpAijnSnQs9SJc5DJ1JCHTD99p+tz0Bo38tsbXHIneBYi5LegsnFGoUeUfqQUPhG5suKSkH0DmXSAE4rtqpOGoE8js9S4jnUMzUvolfpQ58HedQws1bGqj9YrxjVfoF0ScFDSjAPsq9yE0HnThxgMyZpGH4i4hYq3Z18gI4xutC4vsFcKJssNulwYnr4Q92ykf8s/SznPt7fh5ZYPggGlyoTSdm+9wsPLD1Yp8uX1ZSOaX7A== 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:(13230031)(366004)(396003)(39860400002)(136003)(346002)(376002)(451199024)(186009)(1800799009)(31686004)(71200400001)(6506007)(6486002)(122000001)(36756003)(75432002)(31696002)(86362001)(38100700002)(38070700005)(2906002)(966005)(9686003)(6512007)(83380400001)(66574015)(478600001)(41300700001)(5660300002)(786003)(316002)(110136005)(91956017)(76116006)(450100002)(8936002)(8676002)(26005)(66446008)(64756008)(66476007)(66556008)(66946007)(43740500002);DIR:OUT;SFP:1102; x-ms-exchange-antispam-messagedata-chunkcount: 1 x-ms-exchange-antispam-messagedata-0: =?utf-8?B?N0daUC80NjJ2cXFHc2Yvb01sTnIvclJQQ1BwRE1uQzdmMHpTSGk1Y3ErWW1M?= =?utf-8?B?bkF4ZXJFVjQ5Y2p1NXlHZkg5QUpyL3RZMldrNzN6WnFDbGV5OUgwRWFoVjAr?= =?utf-8?B?SW9FZHlLNzNrVlBGaUtuQ1JUVnNUbHNBd2RYd09NeDNUVnVEVWZzVW9ocjNi?= =?utf-8?B?cS9JM3NZQ25NUEx1V2tsMG1EdFR2a3ZOVEprazF5NlpKRDNPVWdma2NvcHFG?= =?utf-8?B?NzNzQ0g2RHl1Ylc0YVhISUxmV0tpN01rUEhmNGc1WjlTSjZqTlZVWC9vcVdw?= =?utf-8?B?WXNic2hmQ3Fad1doelNMQzhsYlZMQTkvSitVMHVza2NDdTdyMG95bGtCa0xJ?= =?utf-8?B?Zmc4aWw2aEIvRWZpSzVlelVFS1NoVkRXbDlEMXVJM1ViRWViUXFhaU1qT2xz?= =?utf-8?B?eGZjRFRtaGpHRktLeXVFUTlhYTFXRXN0VHRDeFZ3Zm5RaXo5a0ZWQkdOcU9Y?= =?utf-8?B?d1ZYaHNrZlpGbXowaGVIOEhhbC9aRFQ2UVptZkhRSDdJc0lPWHd5VXJ2cDNK?= =?utf-8?B?NU5McGR2RHB3TzBTZ1FxUjFtU010VUE1VmJEeVp5Q3F0d3BtaHFROVZ6T0FR?= =?utf-8?B?RjZEN2REeURkOVR5aGZxb3hxb25WZnc4bkkzTXFNRklPVXhMZWJEbVZCU1Jt?= =?utf-8?B?YkFqR1lpYnlRYXgzeGZXekloMExwRHpIc3BER0xaaTdlbktMcTJJR1Z5YUMy?= =?utf-8?B?V0tmWXVMT0dRY1M1MXlBWUNsUSszK1dXc0R5NkhaUXgzT2dvUEFWWG82UWRK?= =?utf-8?B?RGN3eXp0czZkc1IyZW03OUJHZSsxeHVMZ2dtZjZmcjNOdWluamtDZWhTTm5F?= =?utf-8?B?U2l2V1RYQXlzMHdkbWlTNlJPZmZqSXI1ajJtcGoyQVFqRjFFTnkwWnJ0Z0pi?= =?utf-8?B?TTg3TXpiNjlwMEU5MDYwYmRWQkkzOFlSMnc4aFBuTGNpdHNFckNzL2NJa3Z6?= =?utf-8?B?TzR4Y0lsdkpVcE9ta1RibGxQNUxuQ3FJMmdRa094bHF3NmEzTmFiVVM0eUM4?= =?utf-8?B?ZndIdWw5QmgrM0ExSzlLdHpLUVdOeDh0NzhRUURuaitMVFJvR2ZkSW9iN1Jy?= =?utf-8?B?MndKRldnd3V5UndmZUgzY0FQSzZBeHpjblArTXRpYmltQU9kS2l0TXJJR1BG?= =?utf-8?B?cXUwcWUwUHFUSEswM2JCVWhZM2Qra3lBWVVRaWhTM1NOTjNKL2hEcGtGOTFm?= =?utf-8?B?N3Z4cldHZWQyVlVOanVTZFo1b0pYRTN5ZnBJTzZhNEJTMWdwUmJmNlhpY2RD?= =?utf-8?B?TTB3b2NTUVlzRnFuS3c3K3pXdm5ZVytiWFBVSG9zcXlNNzAvT2RtQjBzNlZo?= =?utf-8?B?VUszZ3V4MmpEdjYzTUhta3ZmcWtWdjZ4Y2RyMmlyU0ZPQjIwVjdwNmZHYmhZ?= =?utf-8?B?WkN5VWZ5ZXdseWNLcWltZlk1akNMRXgwL3RFVWlKeWE5V2p6U1owcXh2SWhr?= =?utf-8?B?d1hHczdqQmF3MnIyVDBtUW0rMExVN3F0NEdaS2NDNitaVGd5VlBlcFZ3d1dK?= =?utf-8?B?SE1wZWU2aXoyR1BxbXEwRFJ3WGhvVGZpbVNFRHF2UWYwMklYVFl2THpRTGZS?= =?utf-8?B?YTdjMXpPRWdlK1VNUS9RUlcwUVU3LzhCRzdHSlpaVVdrTktWVFdXVlZNMEQ4?= =?utf-8?B?SmhKRkJuSzltMFZma2pGN0xOeXV4UVM1WjlyOVdwZFQ5VlF1MktDQVFoT2ZP?= =?utf-8?B?U1JhK2orQWU3VlpXejFUSHZyMzhlOEl5b3NNR1YwNkxOSmNEMkJlbTNzc3B2?= =?utf-8?B?UkY4T3pFb0IwcEZlTXZCaXpSRllaUCt6RDczV0I3VitoMTFkcGMyZkZxMjNG?= =?utf-8?B?L0tGQlh2eWpjNU9kdkRxeE0wbGVlQm8vZmZEdWhhM1NzbVM5TDNodHY5WDdZ?= =?utf-8?B?VDZIdmlNdHFPQmtZMzlGNmxjTTl0a0hlTjZkNklnZlpkQy9SclFSMmVIWXZY?= =?utf-8?B?SDZFeHdVb1lwK01SeDl1anQrNlRiUHZKS3BjTTZpbFdOMVkyM2hIcWFMNlJH?= =?utf-8?B?TTdoelBBVW4rdmxneUVUclBvcTNGZTFUQW5lRnVSMlU0WXBGeXBvMHZUb0ZD?= =?utf-8?B?bUxjSm5BNlc5MWJFbE9VV1NYdUVBcEZWQjNPR1hkUi9DTGlYbDhFSWFaNUxz?= =?utf-8?Q?j1tBSMW3DGym+xdB5trvuPpl3?= Content-Type: text/plain; charset="UTF-8" Content-ID: <529865DB319A4049A33F12D66E03199C@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: d529a96f-86ae-435b-0a78-08dbb209aecf X-MS-Exchange-CrossTenant-originalarrivaltime: 10 Sep 2023 14:24:46.0137 (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: Dj4XQZsLGpDW1n34LutZEz0IpefKFoHaSResm51za26DpRk9yImLVF+KUkPmUli4 X-MS-Exchange-Transport-CrossTenantHeadersStamped: SA0PR01MB6329 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="35/DZF7S"; dkim=pass header.i=@livejohnshopkins.onmicrosoft.com header.s=selector2-livejohnshopkins-onmicrosoft-com header.b="fUBPLw/v"; 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=610565266=eriehl@jhu.edu designates 162.129.199.140 as permitted sender) smtp.mailfrom="prvs=610565266=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: , Dear all, On behalf of the organizers, we are pleased to announce the Fall 2023 lineu= p for the Homotopy Type Theory Electronic Seminar Talks (HoTTEST). The spea= kers are: October 5: Nikolai Kudasov=20 October 19: Felix Cherubini November 2: Elisabeth Bonnevier November 16: David W=C3=A4rn November 30: Ingo Blechschmidt December 14: David Jaz Myers The seminar will meet on alternating Thursdays at 11:30 Eastern Time. For t= he first three meetings of the seminar this means Eastern Daylight Time (11= :30 EDT =3D 15:30 UTC), while for the final three meetings this means Easte= rn Standard Time (11:30 EST =3D 16:30 UTC). For updates and instructions how to attend, please see https://www.uwo.ca/math/faculty/kapulkin/seminars/hottest.html Title and abstracts will be announced shortly before each talk on the hott-= electronic-seminar-talks list. Please join if you'd like to receive those a= nnouncements. https://groups.google.com/g/hott-electronic-seminar-talks All best, Carlo Angiuli, Dan Christensen, Chris Kapulkin. Emily Riehl --=20 Professor of Mathematics (she/her) Johns Hopkins University emilyriehl.github.io --=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/4748c944-2cb2-b497-1a7c-b609559e8f27%40jh.edu.