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,T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 17097 invoked from network); 19 Aug 2022 05:52:26 -0000 Received: from mail-qk1-x738.google.com (2607:f8b0:4864:20::738) by inbox.vuxu.org with ESMTPUTF8; 19 Aug 2022 05:52:26 -0000 Received: by mail-qk1-x738.google.com with SMTP id bs43-20020a05620a472b00b006bb56276c94sf3218371qkb.10 for ; Thu, 18 Aug 2022 22:52:26 -0700 (PDT) ARC-Seal: i=3; a=rsa-sha256; t=1660888345; cv=pass; d=google.com; s=arc-20160816; b=reOBNeJiYpaC1MRuO6wzafBAuLfkhSf6piZPu3fDTD8WJ1bDGtQUxjfJ4z/raggGYL kWT8NgDFjwTudQyOYhMB5c9EHDjoqN2voLph19srqsg9bvLcoB/jcEqMVU0X5R1Lz3g/ GZiPIkOKX9u8MoePJSZnekj9B1c8CeP1zWz44G/Rfhg8QtDjot0Hs0+Ux7rZ/wiEJ6MR Uz5qUMTOg3yWi5yE9IZWs9bP6YDVs2dtkwrnxl4NUOGwe2tpK9yJTPpGtCZ2c4JmUJC8 Vf8KrYt08u5gPvtYADO0C2ZF81LShv5pLqeVuk51yEjSXyL0hfY/+Ih9MzmjUuzrkTCm RYXA== 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:mime-version:user-agent :content-language:accept-language:in-reply-to:references:message-id :date:thread-index:thread-topic:subject:to:from:sender :dkim-signature; bh=olDJejFArm9o/YSjF1T5bm4a5eB4mIp+7/nL+ybFQyk=; b=eN6+eA/PKBe26YqK4K9zrxRCAYmDiVzTH1/WqM7Id74fjLq0O4/kIr7GfyMcsPd/Wp G/SEm/bNQKDhc0Ng+MycglNXzQBPJQZFVo+O3yXQ3n8Qfipw0Li3johj0Mp86WssQwJf u8uCjgLyEY4rBqmjzzT8ZEZKtDo8Y0nE7kTwKQLUpvsmxcg4h55ma6KOTSAUEryuCeHf AFHyc4Vc5GxoHmc0XLzpl6LR0BT+pGdAPSrh6FqFnhCEJn9UbyhT8ly2cnrr2uKkjV32 jcCja6nP2YFIRpjr43NQcTHtObMfSaLR65uwH/RwXUw3h6/b8LAm62x9Q5GX/RpUiNZO k7vg== ARC-Authentication-Results: i=3; gmr-mx.google.com; dkim=pass header.i=@uwoca.onmicrosoft.com header.s=selector2-uwoca-onmicrosoft-com header.b=rfeFhnvc; arc=pass (i=1 spf=pass spfdomain=uwo.ca dkim=pass dkdomain=uwo.ca dmarc=pass fromdomain=uwo.ca); spf=pass (google.com: domain of jdc@uwo.ca designates 40.107.115.119 as permitted sender) smtp.mailfrom=jdc@uwo.ca 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:mime-version:user-agent:content-language :accept-language:in-reply-to:references:message-id:date:thread-index :thread-topic:subject:to:from:sender:from:to:cc; bh=olDJejFArm9o/YSjF1T5bm4a5eB4mIp+7/nL+ybFQyk=; b=h2VP4V2IV82FqnhthuAaUjCuYtnSyf1qlcgo6WkCSkGNfoXRhGpLQR1AkdPghwEcfA XQHuidgyYkeCKa4Q9Oo4L32jiUb7uHPqOOC4ruCJN3zhGISzjJQCVlzYVMNLIn3ST9oi 0WwOr/72eVkhj4r/fG93VYkhiNBCDwe6cumR+sbuHF28EGrXEvPruD1x3Uza9VxIfTUE Sn3JfcP1Eko4OU8VWKReoddFfEaNkN7pvLJW/g/Cpl+XUxmttUK0WoCq4LBVNu+7ftr+ trN6wRWUiERX3IE6h9TO38i0fbovEP5oFKlXe+G3rr3bs75e2udO3uibXYcA+H7dvoyK C8MA== 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:mime-version :user-agent:content-language:accept-language:in-reply-to:references :message-id:date:thread-index:thread-topic:subject:to:from :x-gm-message-state:sender:from:to:cc; bh=olDJejFArm9o/YSjF1T5bm4a5eB4mIp+7/nL+ybFQyk=; b=dxi/HaQHgyH8ZjjaamdFyH3ndtflleeOB3QCWjata9FCjOe/bxwlwsfuhmSldaoADG 220OnowaCsYp4J9PGnPhNOYmPLjntspaTPaSH9t+/dSbLXu0/wsjbdMZV4QHUORWgfKT Y9FBQQLn7Db8IotlU1+xM1lwQ8ohfrrT0PgG52DdcjmGXq/0G3hli4bgwV3tyCixFhQw udW+BJTSa4OYfjpTuvIQzaj+adOiWQ3MuBi1QX5KKpywjZdv6ZZ1RrqylOdOPqaAMOC1 KYlXQSRtJiskLxp0CDt7r+Ue/ZFxrnkQxJNCMRFGE+hx3t3iKKn/wwpCwOuWwqm8suG1 nZtQ== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: ACgBeo1N9mLlSG0BGMiCi5Yqn4H7MSc0Pee4dePxIaKKPNfrPWz84Imh 2WD7ixCz+g4ROXYGjcaUJbQ= X-Google-Smtp-Source: AA6agR4ZAWnraJuoWNtVRlGASG5mQra30ugi3uc26I/I5sthl3WzAMmaYM9499DsxD8LHA6RV2UJfA== X-Received: by 2002:a05:620a:4503:b0:6b4:6ae5:d524 with SMTP id t3-20020a05620a450300b006b46ae5d524mr4189017qkp.445.1660888345351; Thu, 18 Aug 2022 22:52:25 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a0c:e1c5:0:b0:474:24cb:cdee with SMTP id v5-20020a0ce1c5000000b0047424cbcdeels1830339qvl.3.-pod-prod-gmail; Thu, 18 Aug 2022 22:52:24 -0700 (PDT) X-Received: by 2002:ad4:5cc6:0:b0:496:c410:7c99 with SMTP id iu6-20020ad45cc6000000b00496c4107c99mr1512178qvb.110.1660888344223; Thu, 18 Aug 2022 22:52:24 -0700 (PDT) ARC-Seal: i=2; a=rsa-sha256; t=1660888344; cv=pass; d=google.com; s=arc-20160816; b=bcmae8QDKSwveAiGAEjWHzPFwFeMRL/qKB2RnN39EAtkL22i3W/9djeKy66ZYAldNy Q/XtR3ki2DHqD0No+huHuoDhSW5G9IyT3AfOoEY47YLfJlgfVQYmaIWyfWnAYMvqNKZF sv0rUwe7KInTmUtuOuXeOmHO+O/Xq9woRT8j6iESQKtMiMXvTCZkcNMaViz7QYFtAzye yAWNBxVBWa9EoICec1jyWxkfYI0bMO6L+KVYulfoYm0ai1c2g/1xbiXkb4AFDh8i6ibl v74cEssKkLBt2bKSVChmJsoqlNJ2hauhLt5pcGQFv9JgC8XG4aTx8h++kozL0/3+SoEk c0aA== ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=mime-version:content-transfer-encoding:user-agent:content-language :accept-language:in-reply-to:references:message-id:date:thread-index :thread-topic:subject:to:from:dkim-signature; bh=uzymGthTPeRtHfZuIPcnd6EW3PjhhHnUBZJqvLhV510=; b=tR5zqgtM0sbE88cI0o7Dk3MXZqiFE48f9Nmo+hW1S5HMv+3fhBDT9DYbN8/12tzZY2 lM1NCOvzzaTArfYbYas12DsNCrN3FxLBhGawC7Eue/hCKjsRzmy2vqvFSPccqKop8QKt eKOrLzWeywO795Kpx52l2eOB38UNXYKCWdeKVp9ric/GAhXTb5B5kM5nQc74ZlGvy3nk x8uc6by1jo2SOM9jlwRCiq6lGCpOdJ2hv42BIwJzDph63AgAPCP36s9hjplU2CtNKkNX IjUh/okQSaKGuDQynxZcbET9nWqAEXq++A6kVnkuSmgzE5s2EjxPvRg9Wb6nuScHgzmD wJQw== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@uwoca.onmicrosoft.com header.s=selector2-uwoca-onmicrosoft-com header.b=rfeFhnvc; arc=pass (i=1 spf=pass spfdomain=uwo.ca dkim=pass dkdomain=uwo.ca dmarc=pass fromdomain=uwo.ca); spf=pass (google.com: domain of jdc@uwo.ca designates 40.107.115.119 as permitted sender) smtp.mailfrom=jdc@uwo.ca Received: from CAN01-YT3-obe.outbound.protection.outlook.com (mail-yt3can01on2119.outbound.protection.outlook.com. [40.107.115.119]) by gmr-mx.google.com with ESMTPS id t17-20020a05620a0b1100b006b95ad36b03si156513qkg.4.2022.08.18.22.52.24 (version=TLS1_2 cipher=ECDHE-ECDSA-AES128-GCM-SHA256 bits=128/128); Thu, 18 Aug 2022 22:52:24 -0700 (PDT) Received-SPF: pass (google.com: domain of jdc@uwo.ca designates 40.107.115.119 as permitted sender) client-ip=40.107.115.119; ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=Fo8fGRSFOej5QYcSHZiIlA7gfkUoRcZnEZfiPhBkw1HfMQRyAewYFb7MMDjXH2vqiurw3sIZCzdRku8p2xGR41VG5DbOownp0WcPlGDMqK/EixOe7w6i3TuU9h8F5lW6mWPw0cgPMzthxkFQkpFBidhaR52TxWD9KY3dnOiPsxPcgVFNms5u3/pW0negeNq5z2Y8Qcsp4v9jmvKwszJhGy2X0SHDMBjnHJ22dBRo8NEaj33hP08x9BS2V+Lj/Qwjj9NyFfpn5e5asesSg5b87VOotcGGsTyOODFGwO4B0dtMYmD6LHnlDulMiTPVGIjMP3T1p+7JXtg+5aglj+wltw== 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=uzymGthTPeRtHfZuIPcnd6EW3PjhhHnUBZJqvLhV510=; b=Oz7GqScoqmCeoeRPYs8tJBqUkTliDwlnKdGWCCJ4dXw3tjhsSGtk5qoVdj+ijB2+R8leHgjaPQERjSNrLPHRg4cYBuuuX+xwCCLSD/54B/Ek6ChMTDnJu6E06ThMb3Jk5JAKpYM8SRRd0n9YxUTIYX6Z6rdfOnMABOjbOBKIVXgQqUDX34G9WlTUry9QMN0Sv9YW/sEKGTEUmU7VWoKwVYuq1h3WlcSf8J2RuPqlCBPDUTIAwT7ELiYzPF7bRvn77sctFUXH60ErMSVOz/VDktsRo8LM5CzkYZF2vq3O6iHGlKNS4BFJwBTvLKcfJ9YhMXkt4v3vi7/rbkR2VZ2xcA== ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=uwo.ca; dmarc=pass action=none header.from=uwo.ca; dkim=pass header.d=uwo.ca; arc=none Received: from QB1PR01MB2753.CANPRD01.PROD.OUTLOOK.COM (2603:10b6:c00:30::22) by YT1PR01MB3116.CANPRD01.PROD.OUTLOOK.COM (2603:10b6:b01:12::10) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.5525.10; Fri, 19 Aug 2022 05:52:21 +0000 Received: from QB1PR01MB2753.CANPRD01.PROD.OUTLOOK.COM ([fe80::8197:e03b:1f02:bd6]) by QB1PR01MB2753.CANPRD01.PROD.OUTLOOK.COM ([fe80::8197:e03b:1f02:bd6%7]) with mapi id 15.20.5546.016; Fri, 19 Aug 2022 05:52:21 +0000 From: Dan Christensen To: Homotopy Type Theory , HoTT Electronic Seminar Talks Subject: [HoTT] Last call: HoTTEST Event for Junior Researchers, Fall 2022 Thread-Topic: Last call: HoTTEST Event for Junior Researchers, Fall 2022 Thread-Index: AQHYs4/Z3/d9E9FUIE23IRJjvIEk3w== Date: Fri, 19 Aug 2022 05:52:21 +0000 Message-ID: <87pmgwrd9o.fsf@uwo.ca> References: <87r12c0xdl.fsf@uwo.ca> In-Reply-To: <87r12c0xdl.fsf@uwo.ca> (Dan Christensen's message of "Sat, 23 Jul 2022 09:30:46 -0400") Accept-Language: en-CA, en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: user-agent: Gnus/5.13 (Gnus v5.13) Emacs/27.1 (gnu/linux) x-ms-publictraffictype: Email x-ms-office365-filtering-correlation-id: cc742815-e0ed-45aa-06c9-08da81a6fbca x-ms-traffictypediagnostic: YT1PR01MB3116:EE_ x-ms-exchange-senderadcheck: 1 x-ms-exchange-antispam-relay: 0 x-microsoft-antispam: BCL:0; x-microsoft-antispam-message-info: qx6V6Tu1aveO3KW2eF7Y8oKrCnOvQhosUiQFVbhggz7PUhu+WwfaWlqkXChub+eCFytq8CbA2h9xHtjhjE8UcNqm/XgNWbFa1cFG4rNsgFTpzgJztXeMS6sHWG1/W4yNbKqLZOY5qVBVSgWQbD6meeAq0e03puLll3LozdELfMgzd0XRJyjz/+HKnPBILBunbyp0YaK48h8yUAen17O0pMwzvX5q1wZ2Fie7CIAciKuT/rHBNaoPnOWzHnTOZ3ErRdJl+YQwOCDrvkCX0xC6MCn1+jzJlpAvukfGIAI2X108SnF39Ss9G4qcUjE7nFCR21PVNyhIcdOLHmBVlp9tePjyC9f/q8G7Dy7zD2t7P3hDplyAvuJ5GX0kxD8Ty23bteUBxbk1sDbRGalnRrbJ6MkA4wp0oPWc1vlp2dEr44+5sGFPfTeGh+aN5hEv/7AmWaUmBZdUJ4pWPRjEIRiyzcDayXSa9Fum4ldP2QLEQPAsNfBCHL4N8842UQUtQK9JpfhhXYvLCRIs0JkVCk//s56gGhzcK0ouYBapJT5PXKrRlZzdltRbKHuIqVdo6j0GQjmxx80rSr5jTGra4vngm3POiqk9tQd/2kNKIPtUNKDaDojZ3OibWMY1fQX3bG17TmF/QDQkGXRZDIfD+xOd8MpDjYCIb7SkYlL2u2FQwTDca1dOI1a9aG1cnsiy205YEQRXTGc5Xuz4kPTeqTnrC2qL9wKnAsShGQ4UMrfHcnloTTv203s0z8G0aXnrX5/NieM9Y5s0j7/q+C3i5uRrqSWTKT5HtaCIaW1txZulGFD0fkHFpKnJgF+69/rR/c8FDMydWRbHA2C2Ebp1zaYicA== x-forefront-antispam-report: CIP:255.255.255.255;CTRY:;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:QB1PR01MB2753.CANPRD01.PROD.OUTLOOK.COM;PTR:;CAT:NONE;SFS:(13230016)(4636009)(366004)(396003)(346002)(376002)(136003)(39860400002)(76116006)(83380400001)(186003)(2616005)(6486002)(71200400001)(41320700001)(966005)(450100002)(478600001)(38100700002)(6506007)(41300700001)(91956017)(66556008)(786003)(316002)(38070700005)(5660300002)(26005)(2906002)(66446008)(8936002)(122000001)(66946007)(110136005)(64756008)(8676002)(36756003)(86362001)(6512007)(66476007);DIR:OUT;SFP:1102; x-ms-exchange-antispam-messagedata-chunkcount: 1 x-ms-exchange-antispam-messagedata-0: =?iso-8859-1?Q?3ZEvy/4bLQBUZk0CRXDzL7kF3D+uqAm/Gmmnx+VkMw+496ajw0D9mbpWVB?= =?iso-8859-1?Q?yt6ehsRx4NadrVykfbxsYYQ5SPn2cZ0mpLgt+Zh4eh/nZ8a23pspri9vRD?= =?iso-8859-1?Q?BQb5G2uNIDDsa2h5ShzUZF9JQXQU+W8kq7z67REyDty3XA9K+fNkAfnMVX?= =?iso-8859-1?Q?7vN6WVpnFiTATMRWTBa+hdvB9E9JSMOv0aTi7dMtmnOVRgcoafJhRsemRL?= =?iso-8859-1?Q?OoagZvOfCxwlXxOahnmrk/oLRQo34XZVWqRpVfw5y+ygR4W3gCrBbT5PEf?= =?iso-8859-1?Q?0km6oO9OspiGXwUWbmaawGrbfJXjaJBSOMZbCQe46uei2R5rfWrDGKIiT4?= =?iso-8859-1?Q?cv+4DQi/rCE8dCTPX/+VOSGNil1TD9G0+zgXAZvnklsWzXMV4ct1QCgc1M?= =?iso-8859-1?Q?HPhnnO/MG45k01L0kdCrUCosCssO9s4IpJ4pR0yyvMgvuEO3sheaY0swMS?= =?iso-8859-1?Q?wFs/9kzyrJ1f8vmRs2xIAOjLcSI2e3DKguBAeAl9h0kovlRqvFnmsoJkD3?= =?iso-8859-1?Q?OmECMpvjWeiul/Zjy7dajw6lcNTRtjZ7r7Wv4O6htv1V2z30prG32mmGMg?= =?iso-8859-1?Q?c7K8VTbuQtIT8GbM51D/RSlsbopiONWbq+sWMLZcL9/2JdFLSKOGZyDz57?= =?iso-8859-1?Q?jWc4ezzb7D0ITQxZIH/wLS1EUV6nydEC8SIZe2Wn3u44Qk6odyM+hkcptG?= =?iso-8859-1?Q?nXu8W5OhqwVNi0WLIFziTMxteI6olEGEUAUA652sMiFKtxRFbz2vfPmTY3?= =?iso-8859-1?Q?x5hNOqK1U11pCn8a9Bk07ArKSpt15OWrzJMI6hwsutC7Q9AcqHDRmqdNVC?= =?iso-8859-1?Q?Ra9BcaB1onD03e1GuJ0XJ+4kCmXnBjbhhM1/bGz/6YxBQQbfmcErbtTEpz?= =?iso-8859-1?Q?AOL9Cp+IFCAIMWWFDR3rOX5i1G/W9fK4g6K53idjdBZ0RFAZc9Fo2V7xv/?= =?iso-8859-1?Q?CYncUYL58LghwlbK+mHF53/iDmM7Um+E38RHG/+zcmnaFBsPyjb3nTqaaI?= =?iso-8859-1?Q?QrGq1B+hPHhYouEySFIFebBbMbZVte2Rnyq0SxxDJzWoNxGxba0HkxUdBc?= =?iso-8859-1?Q?bcRCptySgnQuIWsbXY1Td1aWIkPiGO0Y300cOACGFVvqNnq+dhEyoNXI5G?= =?iso-8859-1?Q?1A7Bos8w1WKSY8iepxeH6u64UWGYDM0oc+dy8HHl2oFbA/BOeguYxbqd1P?= =?iso-8859-1?Q?rYYnYuB1uAvR1K0CNjnPKMjk/yx/oVAWf6kmFHH3yt789Q7lBo2g4YWriF?= =?iso-8859-1?Q?XAlKDpoCPc2cHRyz4qnvvUjB0MGHHV31NoV0L9m1d5d8YxRdTf/11gLaVI?= =?iso-8859-1?Q?hoqfBOPKY8zkVpT93luOHRGUR5Bct1GssrchNMksZmECqX7eUvwQKjUmC2?= =?iso-8859-1?Q?j4zzniqLuHmGSvB7/N8hZaL15s0go7A5XSFYNDYLrYLmMU2euV9XcHDkH7?= =?iso-8859-1?Q?fdmIWa89hF6KGrGy67ijKQ0Fm0ZVqSiZnJkt05EyaKYY0qDfuD/0pQwOTQ?= =?iso-8859-1?Q?odu3HZKcUgm1awSD/sdX9blzPWLUKkdxaLi1FdFhc/DUvbPFL3FUIJ8RNC?= =?iso-8859-1?Q?abVf2sBwdkGFbARu7pEKy2MyZhttU6QLcZJBN2q1NqdA85Kc8JiWNqBQL/?= =?iso-8859-1?Q?w5OjWPeFJSsss=3D?= Content-Type: text/plain; charset="UTF-8" MIME-Version: 1.0 X-OriginatorOrg: uwo.ca X-MS-Exchange-CrossTenant-AuthAs: Internal X-MS-Exchange-CrossTenant-AuthSource: QB1PR01MB2753.CANPRD01.PROD.OUTLOOK.COM X-MS-Exchange-CrossTenant-Network-Message-Id: cc742815-e0ed-45aa-06c9-08da81a6fbca X-MS-Exchange-CrossTenant-originalarrivaltime: 19 Aug 2022 05:52:21.4909 (UTC) X-MS-Exchange-CrossTenant-fromentityheader: Hosted X-MS-Exchange-CrossTenant-id: ad93a64d-ad0d-4ecd-b2fd-e53ce15965be X-MS-Exchange-CrossTenant-mailboxtype: HOSTED X-MS-Exchange-CrossTenant-userprincipalname: 7dZ2yGducG7Cw/txHn2IHjFt4i015z1eqDq2MNeYQuiI2WvIvgaHNAihj2hcVtF1 X-MS-Exchange-Transport-CrossTenantHeadersStamped: YT1PR01MB3116 X-Original-Sender: jdc@uwo.ca X-Original-Authentication-Results: gmr-mx.google.com; dkim=pass header.i=@uwoca.onmicrosoft.com header.s=selector2-uwoca-onmicrosoft-com header.b=rfeFhnvc; arc=pass (i=1 spf=pass spfdomain=uwo.ca dkim=pass dkdomain=uwo.ca dmarc=pass fromdomain=uwo.ca); spf=pass (google.com: domain of jdc@uwo.ca designates 40.107.115.119 as permitted sender) smtp.mailfrom=jdc@uwo.ca 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: , Reminder: the deadline for applications is one week from today. Please fill out the form at the link below if you wish to speak. ----- Call for speakers: HoTTEST Event for Young Researchers October to December, 2022 (precise dates will be announced later) 11am to 1pm Eastern, followed by an informal gathering Deadline: August 26, 2022 (anywhere on earth) Request to speak: https://forms.gle/oKDj3SPDWmeSe9ut6 In Fall 2022, the HoTTEST seminar will host Zoom talks by junior researchers in homotopy type theory, with priority given to those who are on the academic job market. The talks will most likely be 30 minutes long, and we plan to also hold an informal discussion session after each day's talks. If you are interested in giving a talk, please use the link above to submit your request. We will also have other talks during the fall and winter, with speakers to be announced. For more about the HoTTEST seminar, see: https://www.uwo.ca/math/faculty/kapulkin/seminars/hottest.html Organizers: Carlo Angiuli Dan Christensen Chris Kapulkin 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/87pmgwrd9o.fsf%40uwo.ca.