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 29487 invoked from network); 29 Nov 2021 18:30:04 -0000 Received: from mail-io1-xd38.google.com (2607:f8b0:4864:20::d38) by inbox.vuxu.org with ESMTPUTF8; 29 Nov 2021 18:30:04 -0000 Received: by mail-io1-xd38.google.com with SMTP id z21-20020a5e8615000000b005e22e531c8asf22081345ioj.13 for ; Mon, 29 Nov 2021 10:30:04 -0800 (PST) ARC-Seal: i=2; a=rsa-sha256; t=1638210601; cv=pass; d=google.com; s=arc-20160816; b=deeNqKRGoM1YsSQKrv7zKffnZUwcuaFcudINaWXd7z3pPcJfaYzWjtaAndo8iF0hIi uE8O8dTwwzkyZjgnjQNyBudFAiT4ydAkABSc+c0BMEhlbzdWeqf4LMSVmIhyr3YsP3RB 4hlMRKuOKP+9LUGxBllETMUZ4D29gPv+tiSHJGDFvf5s8wRnZK4W7TyJFTnm3qjUwu87 MF+OhtSB4V9zqdof6kTJFu2T8d/tusgflIgqaTrpImhAOQs7gAleAPBv7eXFZpCU9x+j fJLyZzhii9MzBZzSJFKM+htktAxNWK0VhvYUs/bx+Ia1l/AtmUVfYISG7ovgwI0eBEQt Komg== ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-unsubscribe:list-archive:list-help:list-post:list-id :mailing-list:precedence:to:references:message-id :content-transfer-encoding:cc:date:in-reply-to:from:subject :mime-version:sender:dkim-signature; bh=67uwtFk6ZPWXPykh6rbvoRAUNADg08fnfUnPNidBXXU=; b=jtkDDBd9bVw+KNII3/FuVx7uXAiAxMmtgw2J0t+XFU1ExnSffq0NMNYml+XysiUjMl R61Q3kVlUXDlNsyIqd+ZxdlRuOQoqW1poSP6F92l93DvCW72dYnt9dsc+RlTuR/d/eNF a+GSKMKcsFfPXCHrgIXGvsBR6VwSV0wv1fvEW6teiNMNNY6qEDF6aAa5MxMbPo9/EmKC uOHF6OIWNael0hqEG4DnadOlQkDiIoZsUpKMkuRVTtx10P1IXjU1s9G40Ra40QPNE49x iDc9zThyTzHcNz4zH+Nuyiu85qG8RE4tP+AWYDhUAtxDWW4rI+WM1+pSZqPOzCZP1nFm 2d+A== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@cmu.edu header.s=google-2021 header.b=HOz1MAMK; spf=pass (google.com: domain of awodey@andrew.cmu.edu designates 2607:f8b0:4864:20::836 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=sender:mime-version:subject:from:in-reply-to:date:cc :content-transfer-encoding:message-id:references:to :x-original-sender:x-original-authentication-results:precedence :mailing-list:list-id:list-post:list-help:list-archive :list-unsubscribe; bh=67uwtFk6ZPWXPykh6rbvoRAUNADg08fnfUnPNidBXXU=; b=HghcNQ2LeglvqTyMQxrLm87fdoQgM1cY0O2G3DZJHdGXIhcSLbrVHfy5OTOAprDD+P gNaLONXPRS1VchIyCOCnvT5g3XZvnBNwhYRyGyz+mluoepGf6qbDISOI4P5UelnM4ax4 rbzggx/v/4XfnYTt046c/M0Ramz49Os1324LXYVKXozAfi8J5bwQyFhx5r8xVSXBzMSH Cka7U7N/RS1zrQLulYvWGv1iz00KqG45qWI95gIO8qjGULo5PPc/y/lx9Y7BQnaPSGJL 1er60pUY+S7IJBld9uew91nVKYuTNO1Y1UNYlml7a1itHli1DXN8In8WRfyg4VBFVIFX IFSQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=sender:x-gm-message-state:mime-version:subject:from:in-reply-to :date:cc:content-transfer-encoding:message-id:references:to :x-original-sender:x-original-authentication-results:precedence :mailing-list:list-id:x-spam-checked-in-group:list-post:list-help :list-archive:list-unsubscribe; bh=67uwtFk6ZPWXPykh6rbvoRAUNADg08fnfUnPNidBXXU=; b=W90dEr1vGjrbcPmOlY9i8z2L5UdAFWWVrDEkCl7pEyhnSm0NTD44xnVH6Zddhp0KPZ MMnJekUHb9IzOpn9JtTWcUz6BNaEcFeuoAnIJn4yB5tfE9maMRyPvfRRMJlCMZjDY9HZ 3RlDW7Y5Ff+sw6UuJlSWS+gSdUAkNOCkHrHz+cZqXIzF/w8ZRJMwaUyJJkhlm/sd1lXY sCsMiBHTYZLAUnanl/hKSLr5crUXb/FjWDwt/8ytdczjN7nAlB+7Ca7m3cZWm0muYbFu rS3HSsCMhb74a/s5jpNXBMtFgrq3DQePLnTFuvCqz7UXKw9J/H6Ohr5nPTXV2F8KN9Y9 oWfg== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AOAM530g0cqrCEECV2NhUgCLkGz/2zOM4N0BbNb08uKy1JmghkhPjZTn EZB510q5dA2Bw8vmncxetVE= X-Google-Smtp-Source: ABdhPJzUHZ5t2atgalm1DLAm0mr8RJhmcKEXaPAqGAwZEYFpqyicWEIadri1c+hsXC48+/wxDzcKIQ== X-Received: by 2002:a05:6e02:1b01:: with SMTP id i1mr47142741ilv.94.1638210601559; Mon, 29 Nov 2021 10:30:01 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a05:6e02:2188:: with SMTP id j8ls2294450ila.2.gmail; Mon, 29 Nov 2021 10:30:00 -0800 (PST) X-Received: by 2002:a92:b0f:: with SMTP id b15mr41894622ilf.135.1638210600886; Mon, 29 Nov 2021 10:30:00 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1638210600; cv=none; d=google.com; s=arc-20160816; b=mfiB1yawkVc6vW1zcy/SUxrpFZR/9yLy2FhVORH1ex5IsHu7uQPR/UETKQ9fx5/CEW 5awwM5eTL0XUGb3+zfwziC87/XuCKWJ774DScgldEPxhzvVSNQwE3gZEBHW09cKGKKlz dJQkZyQC+KVBoC70kid0c1UKb8Ff2Io9cWeJaPIF8KUdn23D3aZi0wN770pyaTqxY6cV /WB6MwbCuaWOybA+DYumUNoW2rIRNUMM2AXh6XB62hm1A+fLyRBBNxkQLFtGVvOHwCoP e1XHLAhTUsJ00oNsD0Jfrqozlj8YHnyZL8fTaAA/qCRrhLDt9jnLPVH2noz5TOG+/bk/ TBxw== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=to:references:message-id:content-transfer-encoding:cc:date :in-reply-to:from:subject:mime-version:dkim-signature; bh=9cbkBdhEtRZ/lKkMeAJ8Mkjgofy8l/NDpf1fXBMshXc=; b=V/S2JCFtRtcbql35XuzqfJICGOoVWEENAbu+Nasgxtez9SWqliUAglOnkeb/EQzDFC +0C5W1M58eOyV8jVLo8wAvRsZLd1ycd95IBKsK7AdrwthSHztPn6rdkGuouKQ1smgyCW 3Q7GsJDs9PTpa2BsqXGoGw/ansXJxGT4Vav4bq8jgcpO48lCTlKoBJYbmxSmgunXCSDH clJ/tZUEjmnAyMJOjTb9Zu5ZNznSYeevGg8q/34b/q6H/Bf+xV0jta8zxudDBZJ0QUsJ 87sf9J2/pJ5f7CZ6GByH/MAvGlAZW8jgl00Ly9f6TuXDI9B4qd5BHpKiwLUslor+WNYh 9G+g== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@cmu.edu header.s=google-2021 header.b=HOz1MAMK; spf=pass (google.com: domain of awodey@andrew.cmu.edu designates 2607:f8b0:4864:20::836 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-x836.google.com (mail-qt1-x836.google.com. [2607:f8b0:4864:20::836]) by gmr-mx.google.com with ESMTPS id a15si1383715ilv.2.2021.11.29.10.30.00 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Mon, 29 Nov 2021 10:30:00 -0800 (PST) Received-SPF: pass (google.com: domain of awodey@andrew.cmu.edu designates 2607:f8b0:4864:20::836 as permitted sender) client-ip=2607:f8b0:4864:20::836; Received: by mail-qt1-x836.google.com with SMTP id 8so17552324qtx.5 for ; Mon, 29 Nov 2021 10:30:00 -0800 (PST) X-Received: by 2002:ac8:7f51:: with SMTP id g17mr37373449qtk.425.1638210599947; Mon, 29 Nov 2021 10:29:59 -0800 (PST) Received: from smtpclient.apple (pool-100-6-43-241.pitbpa.fios.verizon.net. [100.6.43.241]) by smtp.gmail.com with ESMTPSA id de40sm8385918qkb.99.2021.11.29.10.29.58 (version=TLS1_2 cipher=ECDHE-ECDSA-AES128-GCM-SHA256 bits=128/128); Mon, 29 Nov 2021 10:29:59 -0800 (PST) Content-Type: text/plain; charset="UTF-8" Mime-Version: 1.0 (Mac OS X Mail 14.0 \(3654.120.0.1.13\)) Subject: Re: [HoTT] HoTT at the ASL in April: save the date & student travel funding (Dec 1 deadline) From: Steve Awodey In-Reply-To: <05332804-9ec5-4b4f-aed1-30be42aecb0dn@googlegroups.com> Date: Mon, 29 Nov 2021 13:29:58 -0500 Cc: EMILY RIEHL , Jonathan Weinberger Content-Transfer-Encoding: quoted-printable Message-Id: References: <05332804-9ec5-4b4f-aed1-30be42aecb0dn@googlegroups.com> To: Homotopy Type Theory X-Mailer: Apple Mail (2.3654.120.0.1.13) 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=HOz1MAMK; spf=pass (google.com: domain of awodey@andrew.cmu.edu designates 2607:f8b0:4864:20::836 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: , Note that there is still time to contribute a talk - also until December 1. Contributed talks are always accepted, and if there are enough of them rela= ted to HoTT,=20 they will probably all be grouped together into a session. Contributed talks should be submitted to asl@uconn.edu =20 Here are the details: https://aslonline.org/rules-for-abstracts/ Steve > On Nov 29, 2021, at 10:41 AM, weinberge...@gmail.com wrote: >=20 > ** Sent on behalf of Emily Riehl. Please observe the deadline ahead ** >=20 > The 2022 North American Annual Meeting of the Association of Symbolic Log= ic will be held at Cornell University, from April 7th-10th. During the conf= erence, there will be a special session on homotopy type theory, tentativel= y scheduled for Saturday (all day) and Sunday (morning), with the following= six speakers: >=20 > Steve Awodey >=20 > Jonas Frey >=20 > Sina Hazratpour >=20 > Simon Henry >=20 > Chris Kapulkin >=20 > Paige North >=20 > More details, including a full schedule, titles, and abstracts will be co= ming soon but the reason I am writing to announce this workshop now is that= there is some funding available for graduate students available to those w= ho apply by Wednesday December 1st, 2021. >=20 > Instructions for the application can be found here: >=20 > http://aslonline.org/student-travel-awards/ >=20 > The application requires just one page, plus a short letter from the thes= is advisor. >=20 > Please let me know if you have any questions. >=20 > From the organizer, >=20 > Emily Riehl >=20 >=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/05332804-9ec5-4b4f-aed1-30be42aecb0dn%40googlegroups.c= om. --=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/B685DA1F-60A4-42F6-8784-D0F183BE172C%40cmu.edu.