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 24290 invoked from network); 27 Jan 2023 07:25:19 -0000 Received: from mail-pf1-x437.google.com (2607:f8b0:4864:20::437) by inbox.vuxu.org with ESMTPUTF8; 27 Jan 2023 07:25:19 -0000 Received: by mail-pf1-x437.google.com with SMTP id c12-20020a056a00248c00b0058e1ca45515sf2072662pfv.14 for ; Thu, 26 Jan 2023 23:25:19 -0800 (PST) ARC-Seal: i=3; a=rsa-sha256; t=1674804317; cv=pass; d=google.com; s=arc-20160816; b=VrqdNhFZeHGzViWN31FhpdH2O6fLauzlp61HJE9U7fzp+pizVkivgWQNt1Tt6XcQhn tk3hNaTRFcZyzun+tjRN9oFRxJod6peGQqCBp4URWwjP5/CeN/v+AMibrh6TvY9Kgpcr yfpxZ19dmLdaMCgxRqxrdTPc9cP5LCMxgCxXRZOp8oLm9ciTbrGKp3AI+Ryjk3VvTL6P dj6HW/auULuqXwfJxrlr7xGGCXLIBIe86afPj/sf6eWMwnXGi7v4MWX82fjg2b+MfZV7 H9nV/yjsTdyoEUhvoRuugfTZLdYqlXoihzSwFoVJAPRYBlDwLgkhlUvGqTrSE6Z494xw 2TPw== 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-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=zxj0wy1mwswB6v2x5eF3wVl7K1x5+U4v18m+ATrKYtk=; b=Mz57VyyytPqZ93uZdxS8xDMcS6Rl/NoGG4fDv+jUocYYDHlDeo+IXA0sRlDX5rf7XM 5R7Xdxp3yX9jApq/0N/QDgMr/fu6Kt14Qdm+ftiFhEWcXkzKKO3HsV1TFC/QlRpFiVhU I8BoLUP7dGbTrBV66iJMAqL22a9C/1MYJm+zpDF2AUYiB7908APQetljjgcu2JiTFv9v fbqklX0z46SmAnmlC/kXCNDNfn2QuC+Lq++t0PQWyH0CgMhwTc2MG3P5nZekHxREyQKa KWbB61wwc6IvcixSIPDbsorUX6+yEVxVrw/OQZVWnnXW4aNVVbUbOjZpA/ytl/b7qqZx iEKw== ARC-Authentication-Results: i=3; gmr-mx.google.com; dkim=pass header.i=@jhu.edu header.s=jhuiron header.b=0f325Ur0; dkim=pass header.i=@livejohnshopkins.onmicrosoft.com header.s=selector2-livejohnshopkins-onmicrosoft-com header.b=UH02KZpt; 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=384917a7e=eriehl@jhu.edu designates 128.220.39.110 as permitted sender) smtp.mailfrom="prvs=384917a7e=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=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-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:from:to:cc:subject:date :message-id:reply-to; bh=zxj0wy1mwswB6v2x5eF3wVl7K1x5+U4v18m+ATrKYtk=; b=rlPoD6tAAgI4hRQlWt6mlfis6AfHd2BGQD33KDUjvDJ7+COHew88CIaTrO/X9pWdGR Y1spfWDW5AY4su3JN7HQp0C0zJh5t2ZuouDKApUg5l+VvqCnumrCFB8tP2yjDTcRJG8A sjayMH0j9G7ESWdOxKv1DgzgwuvOsT1oGNg2jef55O4DbxZY+E8SYzH3N/w4g0P53X6l n4Gj3g/1623mbelFrCVZyKPCwCczZzJzEofKbcAkrqkzV0n4jF89jceU+S12sOFIueM9 3A95kCr3uBHVY6DbM2N4mNuNFc3oB3pZgKS1ufQjVPPpoJ9Q/9pR3VNnBoxkh39Tr0HG UrGA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; 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-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:x-gm-message-state:from:to :cc:subject:date:message-id:reply-to; bh=zxj0wy1mwswB6v2x5eF3wVl7K1x5+U4v18m+ATrKYtk=; b=rZgwDORnDdx/3aKXkHkTudPGPdTRs7YPciXVcN9hr3NChjbKO8viYC2lD8yNXWkVOp 82OYRGVbhiAQGrb1X+gM5HmGlbAJB4bZzm2/Ezyvsix9cnC/KI182msHRSlF5OZxg9la yiyaxPKcos/GTqB0XTaNBtV4aS8Wi0e84+f/YTO6CWh+9qo8OszZ06CEia5krOmySTRX pL4a1/c7WDW+Y8i5yFWzJIQx2KnwUNegHzM8qMpF8Q+h0c0Mg5mMd6xXP9VPEestImYB 6/d2FO4LlafWTgWZQBqlNgwysmDSebRL2yxb+pOFCduiaZTk2dzlbwIePbUiUOWIU0cO stFg== X-Gm-Message-State: AFqh2koX4+UOt6zE/7IaU6rxFailyPgQ0Nxb/X7f08QvrLsBS/1mohL2 yzgI51ffSt52W1yQkgBR/qI= X-Google-Smtp-Source: AMrXdXtqFXEp6WjI6PTztdXfa936Gzhc4HuEbtkp2bSt00rOuw+qyvyJKugyNK5/nUwXPKwSe0gZ9Q== X-Received: by 2002:a63:6e0b:0:b0:492:ca92:78c0 with SMTP id j11-20020a636e0b000000b00492ca9278c0mr3760696pgc.21.1674804317573; Thu, 26 Jan 2023 23:25:17 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a17:903:2cc:b0:194:6afa:c3 with SMTP id s12-20020a17090302cc00b001946afa00c3ls4616042plk.4.-pod-prod-gmail; Thu, 26 Jan 2023 23:25:15 -0800 (PST) X-Received: by 2002:a17:903:1c7:b0:194:ddea:2ebf with SMTP id e7-20020a17090301c700b00194ddea2ebfmr34500148plh.17.1674804315631; Thu, 26 Jan 2023 23:25:15 -0800 (PST) ARC-Seal: i=2; a=rsa-sha256; t=1674804315; cv=pass; d=google.com; s=arc-20160816; b=PVFzE9CFyBPt2WfXJXECnX/Kk6helyFh5h1QApr8tUI2nxV6HtopTHrl2LXdGy8QwJ MfIimTfyzMHp1KVtbR3R5MNgs0BXOS3mswZZeT40Dzl6/J59cg8mU3EDuwA8iMtklw83 bUs8zmzny7cRFTWvvJ8ITxXSigwvZYiwdIUXoUZfg9VB513ROV46MBWmJQjre47mQH8H En2DoKXwlD7sVbKsNfk2DUICI74ugh3sdNfn5ebdZoNNrS+/lj5N/fLanaH/wqWV8Xri tDjoHJq29AwHcTILOqAEFSM4LUiY9c0WS8R91uu39tiAnSEXGsJSerfBlWtEVYnID1EK rA3w== 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=gzv7cTIwxLACQaNl3JeJvhm7SZ8N14c/xcS/O5B7bho=; b=BLE/+xm6ezqg04NsRtDw7eXlQSAN2/VoZvaEjOXtwVfNNm+9rxtffXeES59hX7ub70 Q4dZZAF0dIXH9n8nvHvG6vmwkB0dWeT91pwCFkTNsawYKL7QVP/IrEPJ+Xmty1cXz+Kp 1omJD5/zj9n87HjALqhri/LZyjz5zFpHJRWe0A0twfoWo6VFPRtG2Dp0s/M6vnoH0s7e 22I3D44QmGmphJDmmhFbgslN33p0Qq92IesYNicNo4pbCSdIxbS4CkeSZBG88wXV9jCz XW+c8LweZVkU+rgkaup90i9qrgd3FPuIrnZPjDHUMQFtZsQu+NQEhb1eH8pRUhK/OmcH Lo2A== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@jhu.edu header.s=jhuiron header.b=0f325Ur0; dkim=pass header.i=@livejohnshopkins.onmicrosoft.com header.s=selector2-livejohnshopkins-onmicrosoft-com header.b=UH02KZpt; 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=384917a7e=eriehl@jhu.edu designates 128.220.39.110 as permitted sender) smtp.mailfrom="prvs=384917a7e=eriehl@jhu.edu"; dmarc=pass (p=REJECT sp=REJECT dis=NONE) header.from=jhu.edu Received: from ironmtw1.johnshopkins.edu (ironmtw1.johnshopkins.edu. [128.220.39.110]) by gmr-mx.google.com with ESMTPS id d5-20020a170902cec500b0017824ebedc5si2633plg.1.2023.01.26.23.25.15 for (version=TLS1_2 cipher=ECDHE-ECDSA-AES128-GCM-SHA256 bits=128/128); Thu, 26 Jan 2023 23:25:15 -0800 (PST) Received-SPF: pass (google.com: domain of prvs=384917a7e=eriehl@jhu.edu designates 128.220.39.110 as permitted sender) client-ip=128.220.39.110; IronPort-SDR: JpK2ejjVbdjsHPTSX+1o1ERqwip8274cDBpjgw0m2XxmNQQ15hnM1nhjF8SFiMnZo9EONHfe1O hupZkBqxHpyoRcqTtJpSmuf9QQhWElqQE= X-IPAS-Result: =?us-ascii?q?A2ESCADqetNj/3mErQpaHgEBCxIMQIN8gQYCgViET5Bxh?= =?us-ascii?q?FyXZoJRAxgWKAYJAQEBAQEBAQEBCAE5CwQBAQMBA4UYhQ4mOBMBAgQBAQEBA?= =?us-ascii?q?wIDAQEBAQEBAwEBAQUBAQEBAQEGAwEBAQKBJg1XDV0LgUQLgXQLAzENgjcpE?= =?us-ascii?q?mRKAwYzAgEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQUCD?= =?us-ascii?q?VIpCHARDAEBKw0RASICJgIEMBUSBA0IAQGCegGCbgMxE6pLgTKBAYIIAQEGB?= =?us-ascii?q?ASBOAGbExhGAQkNgV4JCQGBCiyDR4VJiBZDgUlEgTyGIwKFOIJnmn5qgTl4g?= =?us-ascii?q?SUOgUaBDwIJAhFILCIlBA4DGSsdQAIBC20KPgE1CQ1KKxMHGweBBiooFQMEB?= =?us-ascii?q?AMCBhMDIgINKDEUBCkTDScmaQkCAyJiAwMEKC0JPwcmJDwHVjcGAg8fNwYDC?= =?us-ascii?q?QMCH09aFgIuERMFAwsVKkcECDYFBlISAggPEg8sRA5CIRY0EwZ5DQsOEQNQO?= =?us-ascii?q?YEVBIIRVZ0Mg1lhfl6WTqxRDzGDS4tblHkGQYNmgWWjX5dNjU+aGAIEAgQFA?= =?us-ascii?q?haBeYF/chODIglGAQIBAQENAQIBAQMBAgEBAQkBAQEBjh2DcoJkjQ11OwIHC?= =?us-ascii?q?wEBAwmMIwEB?= IronPort-PHdr: A9a23:0UvxjhRd17dDNLhYMKCu19RK+tpsokaYAWYlg6HPa5pwe6iut67vI FbYra00ygOTAMOCsa8P0rKJ+4nbGkU+or+5+EgYd5JNUxJXwe43pCcHRPC/NEvgMfTxZDY7F skRHHVs/nW8LFQHUJ2mPw6arXK99yMdFQviPgRpOOv1BpTSj8Oq3Oyu5pHfeQpFiCS9bL9oM Rm6swXcusYLjYd+KKs61wfErGZPd+lKymxkIk6ekQzh7cmq5p5j9CpQu/Ml98FeVKjxYro1Q 79FAjk4Km45/MLkuwXNQguJ/XscT34ZkgFUDAjf7RH1RYn+vy3nvedgwiaaPMn2TbcpWTS+6 qpgVRHlhDsbOzM/7WrakdJ7gr5Frx29phx/24/Ub5+TNPpiZaPWYNcWSXNcUspNSyBNB4WxY IwSAeocJuZYt5fyqEcSrRWwAgmsAfngyj5OhnTr2aE33OAsHQTA0Qc9HdwBrW7Uoc31OqkMT O610KfGwzbNYPxK1jny55PFcgw6rvyWQb58bcTcxEspGgjYjluQs4vlPzaN2+oCtGaV7OxuW uCygGA7qA9/rTqhyMExgYTOmI0V0FHE+jt5wIYxPtC4Sk57YcO+HJROqi6aKpJ7T8U/SG5np Cg00KcJuYKnfCcU0pQnwQbSZfKbf4WU/x/uWumcLDN6iXxrZr+ymgq+/0i8xuP8S8S4zkpHo ylKnNTRqnwA2R/e59WJRPZ98Uqv1yuC2h7c5OxCPEs6m63bK5s7zb4xkJoeqUrCHi7ymEroj K6abFkr+u+t6+j/bbXmp4OcN49pig7lKKgum8u/DOIlOQYNR2iW4fmw2KH58UHkQrhHgOc6n rTXvZzEP8gXu7C1DxJN3oo96huzEzmr3dEFkXUbN11IeReKgovsNlzMPf/1CPKyjlWqnTx23 f7JJKfhDY/ILnXblbfheqty5FBExQooyNBf+4pUCrYcIPLvQkPxtMLXDhs+MwGszOjpFdRz2 IQAV22PDaGWMb7evF6R6u4xPuWAfoEUuDf7K/Q//fHhkGU1mV0dfam0x5cYdm23Hul+L0WYZ 3rjnMsBHH8XsgYiVuDmlV+PXDBJa3qvUa8w+Cs3BJ+4AYveXoythaaO3Ca/Hp1YfGBGDVWMH G/2eIWeWvcDdiKSIst6nzwGVbihVpUt2g+zuw/n07ZnKPHb9TUCtZ3/zNh1+/HTlRYq+DBpF 8idyX2CT3lonmMUQD87xKJxoUt4yleEzah4hORYFNxN6fJJSgc1K4DSz+xkBND1QALAfsyES FmhQtWhDjExSsw+w9AUY0Z6BtWilgvD0zC2DL8SkrzYTKAzp4Lb2n/tIN5sg0rXzKRps1krR dFefTmGgat46w/LFrLYi0ill6utb7U00ynK+2OOwnCJoVlDFgV3VPOWc2oYYx77iPXd1wv4b pKOLfxzPxFAxM6GAqlKd5vkgUgQF6SrA8jXf2/kwzT4Ph2P3L7ZKdezE41V9CneCU1RlQcV8 D7GMAUlHS6urirYCyAmDlPgZU7gsIwc4HO2R0M51UeGOktm0bfm9hscn/fJTfQV0/oNszsgr DMhGlG70prWBtOMqhAncr9bZIY/4EoB2G7E5GRA IronPort-Data: A9a23:TdQnJq0GmaQ8RJy2bvbD5TRxkn2cJEfYwER7XKvMYLTBsI5bpzBWy zcWDW+BOa7fazT8KtwlO4Sy9ktTvMPTy4NhSQFtqSg9HnlHgPSeCIXCJC8cHc8wwu7rFxs7s ppEOrEsCOhuExcwcz/0auCJQUGRUchkf5KkYAL+EnkZqTRMFWFw1nqPp8Zj2tQz2YHjXFvU0 T/Pi5S31GGNim4c3l08tvrrRCNH5JwebxtB4zTSzdgS1LPvvyF94KA3fMldHFOhKmVgJdNWc s6YpF2P1jiAo0pyUIPNfoHTKSXmSpaKVeSHZ+E/t6KK2nCurQRquko32WZ1he66RFxlkvgoo Oihu6BcRi8JOPPolcYlUCABLB1nJJFh06bWKiig5Jn7I03uKxMAwt1DN24TAbI1yr8pRDsXs +MZLnYEYlaBh//wzb6mIgVurp17apC0Z8VG4SsmlGuAZRolacmrr6Hi6MVZ0Tc0rsJOALDTa 9dxhT9HPE+cP0AfZz/7Dro6xMaiikHPVQdRl0ycmPAt+TPZwihIhe2F3N39P4biqd9utmafo 2Xa+HzoPgACOeCfxD2f41qjgejAmS70QoUPDKb+/flv6GB/3UQeExITSUS2saDnzxTnHc1eL Qod9mwsrbV0+UC2JjXgYyCFTLe/lkZ0c7Jt/ycSsWlhE4LYvFSUAHYqVDlEZIB0vcM6X2N41 F+U2d7lGGU34rGSTHuc8JaSrC+zYHZKdzVbP3RdEQZVscP+pIwTjw7USooxGqCCiIynED799 DmGsSwiiuhBlsUMzai6owzKjmv09JjERwI4/CvNWWeh4l8rbYKpfdP661jGq/tMMd/BHFWGu XEFnemY7fwPVM/SznbUGr5UQLzwvqSLKjzRh1JrDqINzTX19i7xZ51U7RF/OFxtbpQOdwjvM R3atg5m7ZNOOGenMP1saIWrBsV0kaXtGIi3Vv3QadYSMJF9eBXdrHNDXmG141/AoBFy1Ptmf 4iad4ClATAYCbkhwTarHr9P3bguzyE45GXSWZGikUv9i+PEPyfJROdXKkaKY8A48LiA/Fff/ eFZZpmDxBhoWeHjZjXarNwIJlcQIHllWZ37955NeuiYLlY0EW0tEaWBk54aVKlZoIllz7mNp Cj7RU5ejlPzw3/HNEOHZm06MOHjWpN2rHQaOy0wPA/2hCJ5ONz0tfsSJ8ktYL0q1O1/1vooH fMLTMPRUP1ARwPO9ykZcZSg/pdpcw6mhFzSMieoCNTlk0WMm+AUFgfYQzbS IronPort-HdrOrdr: A9a23:9YZATKnTsS3HjtbvHYWKhnuJ6lDpDfOpimdD5ihNYBxZY6Wkfp +V88jzhCWZtN9OYhwdcIi7SdG9qeu1z+8/3WBjB8bYYOCAghrjEGgC1/qr/9SEIUPDH4FmpM FdmsRFeb7N5DtB/IvHCWuDYq8dKbC8mcjC74a/854Ed3AsV0gK1XYdNu/vKDwQeOAwP+tcKH Pz3LskmxOQPVAsKuirDHgMWObO4/fRkoj9XBIADxk7rCGTkDKB8tfBYlSl9yZbdwkK7aYp8G DDnQC8zL6kqeuHxhjV0HKWx4hKmeHm1sBICKW3+4cow3TX+0iVjbZaKv2/VQMO0aKSAZER4Z vxSiIbToVOArXqDySISFXWqk3dOX0VmgXfIBej8AbeSIrCNXQH4oN69P1kmlGy0TtdgPhslK 1MxG6XrJxREFfJmzn8/cHBU1VwmlOzumdKq59ls5Vza/pqVFZql/1qwGpFVJMbWC7q4oEuF+ djSMna+fZNaFufK3TUpHNmztCgVmk6Wk7ueDlKhuWFlzxN2HxpxUoRw8IS2n8G6ZImUpFBo+ DJKL5hmr1CRtIfKah9GOACS82qDXGle2O7DEuCZVD8UK0XMXPErJD6pL0z+eGxYZQNiIA/nZ zQOWkox1Lau3ieevFm8Kc7giwlGl/NIwgF4vsulqREhg== X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="5.97,250,1669093200"; d="scan'208";a="8344585" X-Amp-Result: SKIPPED(no attachment in message) X-Amp-File-Uploaded: False X-MessageIPDirection: Outgoing Received: from esgmtwex16-21.win.ad.jhu.edu ([10.173.132.121]) by ironmtw1.johnshopkins.edu with ESMTP/TLS/AES256-GCM-SHA384; 27 Jan 2023 02:25:13 -0500 Received: from ESGMTWEX16-22.win.ad.jhu.edu (10.173.132.122) 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.2507.17; Fri, 27 Jan 2023 02:25:13 -0500 Received: from NAM11-DM6-obe.outbound.protection.outlook.com (128.220.36.243) by ESGMTWEX16-22.win.ad.jhu.edu (10.173.132.122) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_128_GCM_SHA256) id 15.1.2507.17 via Frontend Transport; Fri, 27 Jan 2023 02:25:13 -0500 ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=XHM6nCjsm1etdnMQVqa6ZFWEDWATOhEUOBfTtPR1Byos6nsKtklLWNsm/4A6Nqljx6Sl3cQkUfDD7L/mfjXqcdySXVw/Mxchizgomys497XKPHkZgpmE7/mnRJwIJYc8ReBy6uB3g8QsSRWZtGGblHelg8v+JcdHcX61qL8NKw3sjPddcdp79uPPqrjGq+a+rObFaEbYNw2k7XGYhfKAqb+kkpPN88vo2KoUPLmnkleiexmZXHTKe1v/n/bOSa0LGDkgftq1OgMa9vNWWbTbLUs5nSoNVOkLTEFJokQ/ZlQULCCx9/vYwDA/KtvBe/CdSe2qas7peE5VwcHPNB2dNA== 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=gzv7cTIwxLACQaNl3JeJvhm7SZ8N14c/xcS/O5B7bho=; b=Innu1u0cU2/KuUq957/aVPFJ1BlMmnyqiWI6rSwqQMWXuZxUIxhBdlCn39OjXzfEeDtKY8XxvmUovcO3dsEK+hzDWJeCrPrEwxzPAobEldumScngnTUXpYkDj+pmlfV63snZKw8xDqvqyduu+N7vw3PQFkoR5nWp8WUA1kayuJhyD8s4WESY92BFsyaVHd11ImxJiVKS7zWboj6JDiwcdn2xqOoD7YgFp9gjuXPTVOT3O96p7Q+sp+MnXme0P/XAr9nJhUt+hTrKCjTS8haZ7teTlD9w0dnz/ZX9mZGzgKxG4OpdG3CGkA3XppRsHawgUAjI5dpu7XSnYqsUGauK2Q== 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 PH0PR01MB6522.prod.exchangelabs.com (2603:10b6:510:74::13) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.6043.23; Fri, 27 Jan 2023 07:25:10 +0000 Received: from DS7PR01MB7758.prod.exchangelabs.com ([fe80::3647:6adc:90e:97c8]) by DS7PR01MB7758.prod.exchangelabs.com ([fe80::3647:6adc:90e:97c8%8]) with mapi id 15.20.6002.033; Fri, 27 Jan 2023 07:25:10 +0000 From: "'EMILY RIEHL' via Homotopy Type Theory" To: Homotopy Type Theory Subject: [HoTT] HoTT in Mathematical Logic Quarterly Thread-Topic: HoTT in Mathematical Logic Quarterly Thread-Index: AQHZMiB9PYIngVCHHEC9UGzGx66fww== Date: Fri, 27 Jan 2023 07:25:10 +0000 Message-ID: <7bd3627a-3d12-13ad-3f94-f62057be0648@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.4.2 x-ms-publictraffictype: Email x-ms-traffictypediagnostic: DS7PR01MB7758:EE_|PH0PR01MB6522:EE_ x-ms-office365-filtering-correlation-id: 5f6d1a0c-a0ce-4127-32e2-08db00379fc5 x-ms-exchange-senderadcheck: 1 x-ms-exchange-antispam-relay: 0 x-microsoft-antispam: BCL:0; x-microsoft-antispam-message-info: mi0Jrrht4y6FsTWJcDBG3CM+4GpUa4r6vhOKtLuS+FDpJxTkPLW043edBVV+PY7SEYAOiNeDb1krdH/LhNo4j0rzqSCRByAtyFcDXgvib6VySC9+5de3HnW4+UfQvCBzq/Q6Kb2njJXB5F548STNKsArbsgIhJECkBZ4Ijbf32lhbhCqTM7fi1DJlkknAQa/qGGkXNLzYFBou4UpA2zX0b611bylJzCVvE10/86oJgDVt4OGN5mclnOoIUQe/HLaeuK4viXyCvKzwKBjdAiYzCZIH5pADiThrygtTVfUZuKg6o+LRlLU6Mc98q5VxKmDpaVpt2kp+a4Lsaos9ayZhdnWlP4RsaOweeqRZ3ZhJqrBIekxT4KsCjs4jeF9n7/SLiX4FjcfZMZ/0dfSYrG3ri6HgAb5zYV95gBWqZoQzVUO1fWBc4TTn8irxpzTCDjoR8FElVKal/eVotqc6U5lokjYIbbfjtTCOGrZClFmXRjYxWX88x+A8fNNdyrQMShg9vR7KGggT1fPKuvKqcqLFfWExDVrOewbr9EQl76Sxc5zdCOgKCI94iMUAUt7XY7E5SNLminMXgPlZ5ZBYHprrRzapX1GOEzYdCM3wUhRjvHTeOgMG6eBnnGj7NrOFU8DtXEprxiRbYiGcVoPNHo3g/LBLVHHmMP5pv6wv20R1DG7Q/+gpl/fcXb5Coqcy+fcW5YaDd6vo/jWmU8YP5o7NEUMVeNSPdv5HgpSlxfBNNHmRDA9TOGDll7iYVaw9ftqzYRSl3dz+wDzf5kunqq1iw== 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:(13230025)(4636009)(136003)(376002)(366004)(396003)(346002)(39860400002)(451199018)(41300700001)(8936002)(5660300002)(4744005)(41320700001)(38100700002)(122000001)(38070700005)(86362001)(75432002)(31696002)(316002)(36756003)(786003)(66946007)(6916009)(71200400001)(64756008)(66556008)(66476007)(66446008)(186003)(76116006)(91956017)(26005)(6512007)(6506007)(9686003)(8676002)(6486002)(83380400001)(478600001)(966005)(31686004)(2906002)(43740500002);DIR:OUT;SFP:1102; x-ms-exchange-antispam-messagedata-chunkcount: 1 x-ms-exchange-antispam-messagedata-0: =?utf-8?B?MlJuMm9qT3R6RFN5MVBLWUVSMkRHMG1JRk9KR2xYekdBRDRDWmFUYklLUGdq?= =?utf-8?B?cTJrR3MxL0Z0R25ZQnpQcU5JTnlpYXlqMlhCVEtleWhqTGIyd0o5eVRkNldz?= =?utf-8?B?MUxtRlViVm5rb016Y1ZlNjFrUGRxVlFrV2ZQRFpDTkN6MG85NEhXQnlGc01B?= =?utf-8?B?WWsvMS9IUDFFMW9yWUg0Z3VyMjAvMU1Td1FNRFFiQ0p0NmRaa1lvMnJWR1hI?= =?utf-8?B?MXkyenhtbHNLcHhPaWdpNExjMW9XZUtmNlBBWnpSVml5YWNXbllKY3FENU8x?= =?utf-8?B?SWdQbENkem5DZVpoOW41emNaVlZXR1cxNEpMQ29JNGk1ZXZRWjJkbi9VeUox?= =?utf-8?B?QURUQWZ4bmhxc0p0aXlkc0Vhc1pQOTdEa1h1R3VRSlRTVmpuVEFiU1dWTEsv?= =?utf-8?B?MG1QdThnK0NqNGF1emU3emo3ZHQveW1PTzhhUEtDYkRxSXIrQ2Y4VmRYQmQw?= =?utf-8?B?YmFFVk1vR2dlQnZRM0FFZkUwWVBRczdNOFlNNFFRbHluZXh4S3hUN2NndVYz?= =?utf-8?B?Yk53alZzaHdNZlVvR0J1cUhwaW5lblVBZXAyVG9WbE9kSHhaMkxOb1pjS1lv?= =?utf-8?B?MmFtWGFLQzZjUEdNb0s2SVM0L1hMWlByM0VFUENzdmwwR3N1TWNjSEhmdHhz?= =?utf-8?B?SWtobFJxZ0hKN1cyRHpPTHlKOUtxVFZseGxkNnU3ajdiSVVUaTZDTmozUkY0?= =?utf-8?B?N3R2MWZlOW54dCtvU0RQNG11dmN2dnNqRlRwVnBraGtJQ2o0OWJuNGk1bjNu?= =?utf-8?B?SDJ2SUJNYThGRkpSWGNMa3JmbTdXQjlyWTNnUndtZ3I0R0xFb3FwT0lldWpi?= =?utf-8?B?M21Zb1YwV2hjUkVZMGcxQWluMnhHUDV5ZmEzUnExVFFjZEZ4N1U1Vm00c1pj?= =?utf-8?B?ZXFBMjJSYVk0eDFtSnhaM2hTS1lIdWlvdXU0Qk9iUm01RG9QT3VLcGl2amNS?= =?utf-8?B?MUwweCttSGR1UCtTeTZGTnpJMXI1MklOcFZnQjYrQ2VxTXJ6SW55NjBHRzRN?= =?utf-8?B?eStBbFYzL0IveWVOMGlSUHFNTUtoRGFZRnVGbll4UEJmWmN1N2hqb3ErUUZP?= =?utf-8?B?OVkvN3J4ZUNSWmxlS2lCZE02ODdBNG1Ob2M3MTMySXh2eDRGUkxVeG5IZkdL?= =?utf-8?B?N0o3QlBiRUFuOTRFa2RlUUNVT3A1cjZvT3dDbFR2OFd5eEZmYTFxa0U2Zkcx?= =?utf-8?B?V0IzVndNY2VRQm9ueThhYWwwYkpmZU9tZzY4aXpraUtRdVhkTjdSL2RSck5k?= =?utf-8?B?TVlUcHNoSzVDM3FieFBLR0RNb01qZVNFaktONzRmeFRCWkRxckFwZTV0RkVY?= =?utf-8?B?OVR0dEhLK2J3MGNkYkJkT0ltc3Y0OGhvbGZFUUl3WUNUSStvNEFyZE9ac1RL?= =?utf-8?B?VkZ4RDhiZ015ckE0cHRFZmllRnFqd0ZxOXZHRkFoYkREblk0MFViN05HOHA1?= =?utf-8?B?bGQ5L2VxS3J1cThzOXQ0MFl1bmhxdGZqem9kKzd6ZHNHWkF1My9PeGJoWC9N?= =?utf-8?B?SG16UHFhOVB4d1YzN1lLcnZjNHVWRTAveTFyNEJxSzU4SDhRb2praXU1QTJC?= =?utf-8?B?SE51VG44aG1VVmdZUWxKWUd5UUV5WFk5TnZRY3dVdHNGRHJsNktCaS93WFU0?= =?utf-8?B?a0M0d29XZ2xYUnlUSHpkQVIwQVIreXEyY1l0U2taOFhvMUFkOUlvc3R0MjRs?= =?utf-8?B?NkhtMlgzaUYxdzFmcmYycXUvVkNIUXBON21BYVpneXUzTXRjRmNPN0tITVlm?= =?utf-8?B?eG5rSkw1cHRaRDdUVXlNaHlwU2xCcGNUWHJlUSt4WDkzaXMrR0h0Q29Pb3Vt?= =?utf-8?B?YVZpS1k1QzlKWlpqVmhWNTBYY1lhT1NxY2c0VnUxcHlJRVp1NkptTzlMVnd6?= =?utf-8?B?ZEhYQjJONldRTjVVMGg1aHQvS25JTG8xbTFoN2FJdTBoVzR5Y3d0S0c5amVl?= =?utf-8?B?aGh2VkpTOEttaURxK0k5V3lFWmlTYVRSTEZyczljYS96aUIrS3RQcU1vVC9l?= =?utf-8?B?V2N2SUZBMUdCWmJLV1h5QnNqT2locGI4SngwQWV6UlkvMDFVQkFRazR2Nkpw?= =?utf-8?B?TXpzMWhuMUdRcUR1c3pCUTVRZGtFWmY0UXRyQjVjc2R0UjQrSkJkaTdVd1lN?= =?utf-8?Q?sbXcigeEzaoG53E37S9WTlW4J?= Content-Type: text/plain; charset="UTF-8" Content-ID: <7A84AB55A8FE384B9D9BE6E8D7DAAC22@prod.exchangelabs.com> 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: 5f6d1a0c-a0ce-4127-32e2-08db00379fc5 X-MS-Exchange-CrossTenant-originalarrivaltime: 27 Jan 2023 07:25:10.6290 (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: WPP+t+CyGhgIC0NDJ4tiMOfMNNTs8e8HH3rOr44l7Uwne5ZkGj9Kv7oX1PSqm6db X-MS-Exchange-Transport-CrossTenantHeadersStamped: PH0PR01MB6522 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=0f325Ur0; dkim=pass header.i=@livejohnshopkins.onmicrosoft.com header.s=selector2-livejohnshopkins-onmicrosoft-com header.b=UH02KZpt; 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=384917a7e=eriehl@jhu.edu designates 128.220.39.110 as permitted sender) smtp.mailfrom="prvs=384917a7e=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: , Hi everyone, I'm writing to let you all know that I've recently joined the editorial board of Mathematical Logic Quarterly: https://onlinelibrary.wiley.com/journal/15213870 With the support of the managing editors, I'd be happy to consider homotopy type theory papers for potential publication there. Manuscripts should be submitted via the editorial management system linked above. While I'm still learning my way around the journal, I'd be happy to try to answer any questions you might have. All best, Emily Riehl -- Professor of Mathematics (she/her) Johns Hopkins University emilyriehl.github.io -- 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/7bd3627a-3d12-13ad-3f94-f62057be0648%40jh.edu.