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=DKIM_SIGNED,DKIM_VALID, DKIM_VALID_AU,FREEMAIL_FROM,HTML_MESSAGE,MAILING_LIST_MULTI, RCVD_IN_DNSWL_NONE autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 8776 invoked from network); 29 Nov 2021 15:41:32 -0000 Received: from mail-yb1-xb37.google.com (2607:f8b0:4864:20::b37) by inbox.vuxu.org with ESMTPUTF8; 29 Nov 2021 15:41:32 -0000 Received: by mail-yb1-xb37.google.com with SMTP id l145-20020a25cc97000000b005c5d04a1d52sf23341789ybf.23 for ; Mon, 29 Nov 2021 07:41:32 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20210112; h=sender:date:from:to:message-id:subject:mime-version :x-original-sender:precedence:mailing-list:list-id:list-post :list-help:list-archive:list-unsubscribe; bh=p9lPmeMbjPEa78MAzh5qgJ6t5en07qfGoUS74wm6jHk=; b=UeS4FkhiGyGkWC1y7LOinJAwAphyJalweMTDUhbf//N4dUjeZOhqE8Tx3EzvP0vVF2 mhqsa4Qo19vEUKgRn9yHPL99yUabN/6YJMQFQGo4yB1MQIsF+n5F0k/9CWJ2ejjoDSW0 T0kTB2Ld8ZWetE3nODUxADOCWO5zLZlVtsh7UMwPTLVQ7EyULJkkUaPkB7TlXFuq6uDH 6XGurAufODJhjoIPhGaejAL36Zxcc0f5HF+aI7rZ1XWnGVSJxUf/1Gw0W/+aXKMw8MnQ at0r/Q57FBVzAUT+2nUTWbB7kceRzJUHX8+1IHojXEz8HqPl6vGqCujYjiB5uT3X6gJD fiFw== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=date:from:to:message-id:subject:mime-version:x-original-sender :precedence:mailing-list:list-id:list-post:list-help:list-archive :list-unsubscribe; bh=p9lPmeMbjPEa78MAzh5qgJ6t5en07qfGoUS74wm6jHk=; b=ZBcsBXkbt5vZjJu/S4fapjpKk3YP3rsmwcpv6lreaUoIOM/gd7lmDrHsFOzAqsCTaa h/w/+1DAYW5MwFLtZLhe5JjYx5g7F7LPtUG2uQH/xgcyLLeZ/iAGZBdn4Q+RHNcsd4eF P0pYu0YAK944kR5rvcB264GepI5VaEAPcnRTDBGrlQII+0zmGiZjLGqkpRR4hYyFvPoZ YrqUgrXqetCGbq1YgnbqwoFkcRzRSdNTnvLNhDvQJyMf6RoD6lSBJ4SyM/4DhW410Eu7 7t6H37PRPoTxQiWzRRZ9ztQtHRullN3l2uh5YSQWBmfpGXP1rezzraN7P+1qJrDpfE23 SAEQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=sender:x-gm-message-state:date:from:to:message-id:subject :mime-version:x-original-sender:precedence:mailing-list:list-id :x-spam-checked-in-group:list-post:list-help:list-archive :list-unsubscribe; bh=p9lPmeMbjPEa78MAzh5qgJ6t5en07qfGoUS74wm6jHk=; b=Tagj+OL6tiujR7gkMVZ89tMZ+wgJxSgIvLGRtrhW8z9/niky/No/wScS1VUG+gWske tVO9pMvRE6fSPm9q1UxX+H+go6/zEvbTM4ebGbmBzVpXwLVNvoOtlv6tcIZDisS66Huu jsRwlOkv6ZYCG4WwPixhd8M7uHSRGGKI0pRLfUZv7063la1SObM7Ef9LZ5d0ipUTRLaE Aw5u4YMpwQPJ2AJBimXAr5g/tm9tHd3GuRbWvygiomECL5F7K3UvL76I2YvalADURX7e T3HCPGThPNBSpMv15UnTPsIgeLY2YEF2pvfcyipp1NEN8r5ZWLqhdpXlXvehMY0VfdkW m1cA== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AOAM532ZYQ0/H+o6UKj3whchaMkCE3v2Ivy+JTPm76ITQrz6/O3P05Va d0yssh29aspILTc0oURAGGI= X-Google-Smtp-Source: ABdhPJz8WCHbkOaBvq9FoXm796PA8D2epoSxrvv3LI55P8WwtvqAdoHB1rNHkfRl9t/PPW7kbYfZhg== X-Received: by 2002:a25:6944:: with SMTP id e65mr34716409ybc.503.1638200488177; Mon, 29 Nov 2021 07:41:28 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a25:ca0e:: with SMTP id a14ls807669ybg.0.gmail; Mon, 29 Nov 2021 07:41:27 -0800 (PST) X-Received: by 2002:a25:b74b:: with SMTP id e11mr7454241ybm.735.1638200482555; Mon, 29 Nov 2021 07:41:22 -0800 (PST) Date: Mon, 29 Nov 2021 07:41:21 -0800 (PST) From: "weinberge...@gmail.com" To: Homotopy Type Theory Message-Id: <05332804-9ec5-4b4f-aed1-30be42aecb0dn@googlegroups.com> Subject: [HoTT] HoTT at the ASL in April: save the date & student travel funding (Dec 1 deadline) MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="----=_Part_6814_1261115818.1638200481844" X-Original-Sender: weinbergerjonathan@gmail.com 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: , ------=_Part_6814_1261115818.1638200481844 Content-Type: multipart/alternative; boundary="----=_Part_6815_1842531073.1638200481844" ------=_Part_6815_1842531073.1638200481844 Content-Type: text/plain; charset="UTF-8" ** Sent on behalf of Emily Riehl. Please observe the deadline ahead ** The 2022 North American Annual Meeting of the Association of Symbolic Logic will be held at Cornell University, from April 7th-10th. During the conference, there will be a special session on homotopy type theory, tentatively scheduled for Saturday (all day) and Sunday (morning), with the following six speakers: Steve Awodey Jonas Frey Sina Hazratpour Simon Henry Chris Kapulkin Paige North More details, including a full schedule, titles, and abstracts will be coming 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 who apply by Wednesday December 1st, 2021. Instructions for the application can be found here: http://aslonline.org/student-travel-awards/ The application requires just one page, plus a short letter from the thesis advisor. Please let me know if you have any questions. >From the organizer, Emily Riehl -- 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/05332804-9ec5-4b4f-aed1-30be42aecb0dn%40googlegroups.com. ------=_Part_6815_1842531073.1638200481844 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
** Sent on behalf of Emily Riehl. Please observe the deadline ahead **=

The 2022 North American Annual Meeting of the Ass= ociation of Symbolic Logic will be held at Cornell University, from April 7= th-10th. During the conference, there will be a special session on homotopy= type theory, tentatively scheduled for Saturday (all day) and Sunday (morn= ing), with the following six speakers:

Steve Awode= y

Jonas Frey

Sina Hazratp= our

Simon Henry

Chris Kap= ulkin

Paige North

More de= tails, including a full schedule, titles, and abstracts will be coming 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 who apply = by Wednesday December 1st, 2021.

Instructions for = the application can be found here:

http://aslonlin= e.org/student-travel-awards/

The application requi= res just one page, plus a short letter from the thesis advisor.
<= br>
Please let me know if you have any questions.

<= /div>
From the organizer,

Emily Riehl

--
You received this message because you are subscribed to the Google Groups &= quot;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.c= om/d/msgid/HomotopyTypeTheory/05332804-9ec5-4b4f-aed1-30be42aecb0dn%40googl= egroups.com.
------=_Part_6815_1842531073.1638200481844-- ------=_Part_6814_1261115818.1638200481844--