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.0 required=5.0 tests=DKIMWL_WL_MED,DKIM_SIGNED, DKIM_VALID,MAILING_LIST_MULTI,RCVD_IN_DNSWL_NONE autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 13466 invoked from network); 27 Jan 2023 12:42:26 -0000 Received: from mail-io1-xd3d.google.com (2607:f8b0:4864:20::d3d) by inbox.vuxu.org with ESMTPUTF8; 27 Jan 2023 12:42:26 -0000 Received: by mail-io1-xd3d.google.com with SMTP id k5-20020a6bf705000000b0070483a64c60sf2655773iog.18 for ; Fri, 27 Jan 2023 04:42:26 -0800 (PST) ARC-Seal: i=2; a=rsa-sha256; t=1674823345; cv=pass; d=google.com; s=arc-20160816; b=lqUxCwBXY7FJxKFgQhI4/zWa+yHjImj9pbdlNECQQHB0fTewf/6FUxq/0lQFdFGBpn 7Qe/D45lu2XfhLDertuyNnA6YN0QdDKIa9Yc8WvpjFVnJMSTrQn+IrvWRHhhq2e1fm5H rgvXxlY+ferjc2lFHBKc2hTxcgfCpg57vD5nrBEsnukxngfUfiOOiJtB/EcvzwCX56bt DiuvqXAXdfDcrH7NAnSc0d2BEn5rxKwSQMdlBRepM2gf3v9xo+gbem+A2ep3Wdj4uRNA OfMtGJv14mrCSVG1/zeeVsTG2gtoCWAXXbZ16jnS00hdeJISO7YA5EpB9PEDUWitr3o7 qhaQ== ARC-Message-Signature: i=2; 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:to:in-reply-to:cc:references :message-id:date:subject:mime-version:from:content-transfer-encoding :sender:dkim-signature; bh=epA3EOVbxgM7z/39qCAQ+h27xxGiDp+Ybx2W6k7zAbY=; b=fDyQx/fhmGd28Lpxe9P1DKSXAzl67kzFvkSWqF8fF3CzHWtZvYHQM52SNubtBrgRhW bz6Pa/jz5EMqoJLE0+/n/AefdO/FzUjh2eYqmDwg8ilKb57zfkxmwy+zA6RVhSEmm0CE p5I50HSER+eqivGa7nkL5RGNvtggFKjR5KQn7PqECdkeAG5nCEBRijLUL97mgJrmWWnI S+f8jvzQz2zwHEm4r0TJsiZB0Y2Vbgqm47tNLabBbkWTcA7jXAtd4dOwksBa2eSQacrs Hs9pmGZzWSqsTsRTTE8l2wQJPBAj4eOmzOVSgO93mcn2vKyGwI7PiOg/qHTT8pOLIAG9 vUKg== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@cmu.edu header.s=google-2021 header.b=KwAL7Rpm; spf=pass (google.com: domain of awodey@andrew.cmu.edu designates 2607:f8b0:4864:20::830 as permitted sender) smtp.mailfrom=awodey@andrew.cmu.edu; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=cmu.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:x-original-authentication-results :x-original-sender:to:in-reply-to:cc:references:message-id:date :subject:mime-version:from:content-transfer-encoding:sender:from:to :cc:subject:date:message-id:reply-to; bh=epA3EOVbxgM7z/39qCAQ+h27xxGiDp+Ybx2W6k7zAbY=; b=BED2RGwGqq2TCFN/7NdP5F8L+pVN7pa2V/Zj0XA5ZpBX18og3Py8EUy5Xg8vFDs0KT cmN1uyvuXHMzgHZhoJSkemXEUcRggaWmtXP1TZizZ+ueRhfP9DOn9a7Eg3m7YlrFNnJu t4+IeIzjckX23otnYGF8O7NvkGTUvJYcLCU7DzjUTxmXYbjPuLLqGUXqD8ANrhqZtSFo rwv1XBUZHxEzXcL0325vmJCLSYzDofo/P5UP4KcAZmOffhJsCmhRxvMOI18Bw7YjKq+4 mr23LJaofmSGdZqyDNIvHVwLPRI34KG+tYdVff3FezrMI3oo3zq9x+/fSix0ytCyUICG xJzg== 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 :x-original-authentication-results:x-original-sender:to:in-reply-to :cc:references:message-id:date:subject:mime-version:from :content-transfer-encoding:x-gm-message-state:sender:from:to:cc :subject:date:message-id:reply-to; bh=epA3EOVbxgM7z/39qCAQ+h27xxGiDp+Ybx2W6k7zAbY=; b=BM6IBm0FqiVy9/zbcbLRVSecc95yL1HaJfMBtIayYk9q258j2+eUvJgfBGV1aCqUnX uMNzJaIQ/VWPNnqCAxusPj3c9AIIUJztq0sMQAzFzpzM5jHxdxYdv7mkXnEPM29h/ogm 9by/RUyblZVLB0UX1+AcNtdvbM8zranOBN7SxmhBQKPfXc6m+4RWucz/Lfbp+cFL4qH6 IIPVr9/uUWCL1dmGBblHwmYU8dSdOLVmNeTvYwtx+eWS4e9L7cxe52/BjxgiRXQ0arKQ 4zYe4MNVrFglMZ+D4uBm0GIzXgHXFxjir3qRXO1ePSMu8SjFbzIBZ5rw6y0EDl8acKjg bhKg== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AO0yUKXJR3G0CgIP7R0l7y9VICLLcxPvJAIwR6mYG4L2pU0PxJTo5UMS 4AU/8UfviRuuTZB3mRuXozc= X-Google-Smtp-Source: AK7set+HoHh3jfVhy4CuuZhMg21DzqvpmAIReaPPhEioEtWPxuLuK21TN+bw1b5Dbl0UMTmOrFz+mg== X-Received: by 2002:a92:c981:0:b0:310:99f5:df36 with SMTP id y1-20020a92c981000000b0031099f5df36mr1766013iln.65.1674823344921; Fri, 27 Jan 2023 04:42:24 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a92:8702:0:b0:30c:3a08:da82 with SMTP id m2-20020a928702000000b0030c3a08da82ls445606ild.6.-pod-prod-gmail; Fri, 27 Jan 2023 04:42:23 -0800 (PST) X-Received: by 2002:a05:6e02:12ca:b0:310:96f0:a404 with SMTP id i10-20020a056e0212ca00b0031096f0a404mr13045527ilm.27.1674823343394; Fri, 27 Jan 2023 04:42:23 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1674823343; cv=none; d=google.com; s=arc-20160816; b=SVPo+w5HxDEgp37/4k8bLy7mcNch/D7+XyTU01NfBgVVoto8qpGQwo1RFhNcDZb+K0 6ZABuedPf33eSJwrJdEEq1SLOvyppqngqxIeyRgATTxnA1qK+XefluFwgrf+wx+ASB5K MG3u6SWq8bfsBp7jxdpw41UNfXpAZ0Cr5RQ3+ZBtV6K5QypgvC14MTlzJu5cnIBDdyWR NIqtVAETtR7WYtgDu+isRVJXYsHss99Y9/S8KE0sYCnc41ZivWTnnMBKM5WFu0OTre2E VbPaFyhZu8qwFpzRQ9pUqt8QtluImRs91UhDtLga2fdWQMcl2mnJ7r1jrpaQik6mObqP WVPw== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=to:in-reply-to:cc:references:message-id:date:subject:mime-version :from:content-transfer-encoding:dkim-signature; bh=V0HuP3yMgyKfkREiJnfGgpPsPpYEqOB1omK4sSzPhRk=; b=FwoXz8Xq3Ev0b9ZIAWx7P5vTqROlS83uYCgv60AsuSKjdAUnewjEax9G6dEGTSSOoS gz2JtFoZCtF0J7vfqf3dzOQ3sZDhzqnV/n1eUI8lBkigDH9vfBBPB834FVZ0qzfBGQC5 uyYwpa+2FMnnyeFsrkRMTal8GbVwZJvGJ6YfwWB3m+KZFEBnBbtdWPLVjhn/s8xpMaYM f1SSn0dnBjQ26ey/mx3wwEulWg0jMRtRvlta6+GBW+C/V41LMZFWwpr2a3EWre8wPC68 qrzu+9N5O8lELCA9l8kDhCxFzQITo0btIwydoQ4Va7PcsNmKpUSW8+XsnkYh906TLcV0 mS1Q== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@cmu.edu header.s=google-2021 header.b=KwAL7Rpm; spf=pass (google.com: domain of awodey@andrew.cmu.edu designates 2607:f8b0:4864:20::830 as permitted sender) smtp.mailfrom=awodey@andrew.cmu.edu; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=cmu.edu Received: from mail-qt1-x830.google.com (mail-qt1-x830.google.com. [2607:f8b0:4864:20::830]) by gmr-mx.google.com with ESMTPS id y21-20020a02a395000000b003a94cabb46fsi593837jak.4.2023.01.27.04.42.23 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Fri, 27 Jan 2023 04:42:23 -0800 (PST) Received-SPF: pass (google.com: domain of awodey@andrew.cmu.edu designates 2607:f8b0:4864:20::830 as permitted sender) client-ip=2607:f8b0:4864:20::830; Received: by mail-qt1-x830.google.com with SMTP id q15so3873371qtn.0 for ; Fri, 27 Jan 2023 04:42:23 -0800 (PST) X-Received: by 2002:ac8:5a56:0:b0:3b8:29f6:8ac6 with SMTP id o22-20020ac85a56000000b003b829f68ac6mr1345980qta.12.1674823342167; Fri, 27 Jan 2023 04:42:22 -0800 (PST) Received: from smtpclient.apple (pool-96-235-63-8.pitbpa.east.verizon.net. [96.235.63.8]) by smtp.gmail.com with ESMTPSA id l20-20020ac84594000000b0035d432f5ba3sm2620438qtn.17.2023.01.27.04.42.20 (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Fri, 27 Jan 2023 04:42:21 -0800 (PST) Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable From: Steve Awodey Mime-Version: 1.0 (1.0) Subject: Re: [HoTT] HoTT in Mathematical Logic Quarterly Date: Fri, 27 Jan 2023 07:42:20 -0500 Message-Id: References: <7bd3627a-3d12-13ad-3f94-f62057be0648@jh.edu> Cc: Homotopy Type Theory In-Reply-To: <7bd3627a-3d12-13ad-3f94-f62057be0648@jh.edu> To: EMILY RIEHL X-Mailer: iPhone Mail (20B101) X-Original-Sender: awodey@cmu.edu X-Original-Authentication-Results: gmr-mx.google.com; dkim=pass header.i=@cmu.edu header.s=google-2021 header.b=KwAL7Rpm; spf=pass (google.com: domain of awodey@andrew.cmu.edu designates 2607:f8b0:4864:20::830 as permitted sender) smtp.mailfrom=awodey@andrew.cmu.edu; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=cmu.edu 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: , Congratulations Emily! And thanks for making room for HoTT at MLQ.=20 Best wishes, Steve=20 > On Jan 27, 2023, at 02:25, 'EMILY RIEHL' via Homotopy Type Theory wrote: >=20 > =EF=BB=BFHi everyone, >=20 > I'm writing to let you all know that I've recently joined the editorial b= oard of Mathematical Logic Quarterly: >=20 > https://onlinelibrary.wiley.com/journal/15213870 >=20 > With the support of the managing editors, I'd be happy to consider homoto= py type theory papers for potential publication there. >=20 > Manuscripts should be submitted via the editorial management system linke= d above. While I'm still learning my way around the journal, I'd be happy t= o try to answer any questions you might have. >=20 > All best, > Emily Riehl >=20 > --=20 > Professor of Mathematics (she/her) > Johns Hopkins University > emilyriehl.github.io >=20 > --=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= email to HomotopyTypeTheory+unsubscribe@googlegroups.com. > To view this discussion on the web visit https://groups.google.com/d/msgi= d/HomotopyTypeTheory/7bd3627a-3d12-13ad-3f94-f62057be0648%40jh.edu. --=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/FBF3D240-27DF-4266-8D5C-A336AF089502%40cmu.edu.