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 28706 invoked from network); 2 Dec 2021 14:22:06 -0000 Received: from mail-ed1-x53b.google.com (2a00:1450:4864:20::53b) by inbox.vuxu.org with ESMTPUTF8; 2 Dec 2021 14:22:06 -0000 Received: by mail-ed1-x53b.google.com with SMTP id y9-20020aa7c249000000b003e7bf7a1579sf23638931edo.5 for ; Thu, 02 Dec 2021 06:22:06 -0800 (PST) ARC-Seal: i=3; a=rsa-sha256; t=1638454925; cv=pass; d=google.com; s=arc-20160816; b=JozMbx4v32ETqwvNUsNv9oNaCqrewkX2R409ZN3IOgo49b4952gcIbIO6DU6cdnmGO WHwRtt9R4t0h0mkmPQmZ/WOJ3aGAz5VgV99AREKhdDSRLKv/LE0+oLywon1E8B0S7X4V f2QsXzmsOcu9JP5M+1qxJODDN8p48hQThYf5zFwaYs6vp6l5hXjpmck87AeRs/jkO+9a REbzOgshS4nwSsFeFZPgufHY0IKWKkZ8ZFcf9x0fWGqR9GB/4EwcqgAs6JmdZ+JD2rkR wDJUvUCHCSxSPDz/f40tSGIWa0sywwm/LlafuZYNTGo0ZQCiRoNrQ48LlPITmiFibNA8 kkaA== ARC-Message-Signature: i=3; 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: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=8Ik2priPfi5bH6nSua/6N1BpbTd/QVwwHbaCJjG4Wjo=; b=aQQmTiCYQI2/AmPxxmU8OvD0/OqQIl4YqSky8YI4AOQaVzJ3Efs40a+T22szgplAYg RvltojBDNM9QJA5X+HMcd9noRT6byEx/hIHufz3gqHpG8dGoi0zoOOiPV3vKcUFGb/Ef yyPRp7eldkQ5fCE+lguWnMtMNuN4+LJJStHL507pirU7RIMrA7WFNL4e6DYu1ACHG3W5 6QMJkZuRekdGUShuCttLuroltxJGoCQvB6DddKt3W1uxG4ieqkAwtALvBm8mQRtMp7Bl TSgtxZ9T5L6WjrbUoouWTCnOmgu3GYZW3mHrE97nZtlyFBX0PVsA57NWu57XMkdSDQEZ t89Q== ARC-Authentication-Results: i=3; gmr-mx.google.com; dkim=pass header.i=@uwoca.onmicrosoft.com header.s=selector2-uwoca-onmicrosoft-com header.b=FBRhbeLM; 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 2a01:111:f400:fe5c::72c as permitted sender) smtp.mailfrom=jdc@uwo.ca DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20210112; h=sender:from:to:subject:thread-topic:thread-index:date:message-id :references:in-reply-to:accept-language:content-language:user-agent :mime-version:x-original-sender:x-original-authentication-results :precedence:mailing-list:list-id:list-post:list-help:list-archive :list-unsubscribe; bh=8Ik2priPfi5bH6nSua/6N1BpbTd/QVwwHbaCJjG4Wjo=; b=IXYpWTKA5HdvGIRiKbBEf5CGymdZ47ObjlEdcveYsVPKX8nS0KqpQYOEaP4CHsjqJy KnS9jRthw28QYAaO3qIN8RfoT6EotrrbrU2PnSz4u67WcosBEGSId4MHtSBMb/3jOmx+ cvwh4DiiWewFdXtoYsbtZ4oTQVobWQRvKS6g2+uKM0PoKf1olEphFCNAAdEuoB0BGIRY rKl298IRgdHs2wU6l30lyyCAH9t4D3rIuNFscEQfwoKGEklOQ26oeHlr32BMyh2V84Lm QJSCYABhxxRbbq6av3SPRAq6XXq+AmuyMLfwaXfeVHi9B11fK7sQlZ/mfVwocro+MRO0 5TUw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=sender:x-gm-message-state:from:to:subject:thread-topic:thread-index :date:message-id:references:in-reply-to:accept-language :content-language:user-agent:mime-version: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=8Ik2priPfi5bH6nSua/6N1BpbTd/QVwwHbaCJjG4Wjo=; b=w5Uxwy/U4XqqyXVPqhNGw/1L9HMihUsiOfIAhNYVL7LJUD2zkryaP2f2sEA+zZJW+H 9NM4c9hxXipLTBlyuMqef26AOfRTy2Xg0OJHpuaT/Yoi+VFwKqYs0xp07kbLhGB/Hvhl cHBOn//360vR1/0MAm1M84KkhcLDsEo6UA7S86Vdl1qOpFq2V/R4qIeVFXK+HjZ2fINh hhjRvlv6wQ8Vom44n50fve/XjZ38YcPi71ngQ+01g2Ittedb2vmSo/mF1XrRn0p7HYcT bd8JfWkE8jpk+R/O0khqakRnQ5XD7cN8dBOD7NM6Zc4Oi0Li9mLM9LNxisWrJF9sFzB+ H/rw== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AOAM533NIc6LPIEcZ3j0i+BHTWkWn9JbIq2p3VTIv3qB04reiaB1OHWY FTdR9CicKDC9BOZhiCJKh+8= X-Google-Smtp-Source: ABdhPJzzF5XXIscLImO9QKvgMU+jm3i3vff7rCqzWeSWhmDbaWRz3eITwn2Pe8GXazScLR3CcHP0wg== X-Received: by 2002:a17:907:6d8d:: with SMTP id sb13mr15946890ejc.345.1638454925146; Thu, 02 Dec 2021 06:22:05 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a50:fd09:: with SMTP id i9ls6489625eds.3.gmail; Thu, 02 Dec 2021 06:22:04 -0800 (PST) X-Received: by 2002:a05:6402:1e95:: with SMTP id f21mr18592854edf.139.1638454924307; Thu, 02 Dec 2021 06:22:04 -0800 (PST) ARC-Seal: i=2; a=rsa-sha256; t=1638454924; cv=pass; d=google.com; s=arc-20160816; b=FgpI/jFHBMqSh6Aco6+9Fi+pVNlS++O/V2Xwzfh1R6dGIFVqa5Bcc4jg4CK/3FXBey zFE/jTAjERsFoBe4HuuU+MiOJxn7FLMgiE0ioOiw9ZWUMzvbH1Ub9qzimyT7NpxRd6xj UYzNG9j5DsM7RE1N+E546wfGbz0wD4FhpaBs17acD6gPkqbRc325Yutt+yuIGqd44iZS bc37rZuwLUlYGSP2MRqiLx4iIobxZNUFh57bGmFUnbW03FVtuvNXRGt8wic8v/K6Uepj 1LQo3joBudBCdppqQESSxgFexbpkJHuakgcVkQD5aAN1SeOAjMrH1CGiZnIMpMUN0Bbo yMPQ== 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=PlyQXyJrlTwO8dIW4k+4Q2ZETahMhVf+qUro/a1XCdk=; b=ru7iqYww6rEN1JLnyXCyMpcPrejImoLghpUx1UtCWGND+71CQOelXwhtC98k5vmhc/ 72L2KVTQjYC9axMl4walpfKiFRlgThp6jvyrl4IuP/MzNg550nhm6pOTXapCX1FqWMkP qdwBD5u8NFPxolpMsesTsFpLvfclD4gmMHUWDdprKytbNH/550lGEMzyM96EzlNLy11w cdIWI8gknoZcYZAgQtNRBdway2MnByBB9SECPu6gApF+LECI2IXt7qi/wqDUGJT6aTyX fNP5tF5PpYVULkYCP2Qs2NtgQMdHPo5wGP2bg0Eb6ERhxPn6eEwzSisKw11l2serTEg3 ikIA== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@uwoca.onmicrosoft.com header.s=selector2-uwoca-onmicrosoft-com header.b=FBRhbeLM; 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 2a01:111:f400:fe5c::72c as permitted sender) smtp.mailfrom=jdc@uwo.ca Received: from CAN01-QB1-obe.outbound.protection.outlook.com (mail-qb1can01on072c.outbound.protection.outlook.com. [2a01:111:f400:fe5c::72c]) by gmr-mx.google.com with ESMTPS id s8si165246edx.4.2021.12.02.06.22.04 (version=TLS1_2 cipher=ECDHE-ECDSA-AES128-GCM-SHA256 bits=128/128); Thu, 02 Dec 2021 06:22:04 -0800 (PST) Received-SPF: pass (google.com: domain of jdc@uwo.ca designates 2a01:111:f400:fe5c::72c as permitted sender) client-ip=2a01:111:f400:fe5c::72c; ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=A6XOyS/2OVJYCztq48tEYqIMkCz+zbRKm/ZoqET0IJUNbCcq3ACdaHgJ+7FKqEwFaMTt1K6V9/yYaxsc3Y2AQKZQQ3eJtUDY/Tj+1KLCibdXM5ywQjABFY7MWeqzMOo0nud5Gce63ZCTGoKFS6rzrkbQyqA7xlq/H6zSvzDNZz2W8BPxVJV43lwPQdh7/AOCIQlU4GinJDsa6Pv+ao988bituW8lIwLqAA385ErTY1HhMKDCAjL9v9EDEETW6ca/IovlsOY3oHpbfABZH8gu1MhWjKEDWvA2uOUmNsEJ8gLJOKLCldvGmwpgZpfEhmOXNJmtZtq9TZJ+k1nEWjJ6hA== 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=PlyQXyJrlTwO8dIW4k+4Q2ZETahMhVf+qUro/a1XCdk=; b=ZA2O1FTMbY5BgGt3zu07bynpZnKUSyEH8/bMpxXvYLGcml0cWlCu/EPhCWv7NY48gXfMx2Loe42XyxhwuE+a3v3WMLT/8zsaoNei02J0Ce0ZCgC5uondorddj5GihKijyed7vJFHA+SEKV819PG9/U5LX/RWUZ/EUGBUAK/SxBWnFYIS372DCeIqAXlPiOZvZfGcXbYqOeW3nXf6OIb/Ta7+DGcNh/BKChhUhP7Imz8e5cDW4aYkEIPy1o6/nB/U4NSzB+GaADRrjeVLw3Cw/YmO3CtSAAOT2V+4P3TZ3FnPWs36iOaFRjV7m1vOU6XkDKJYSHUiDwPqv1QKoazqEw== 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 YQXPR0101MB2264.CANPRD01.PROD.OUTLOOK.COM (2603:10b6:c00:21::25) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.4734.22; Thu, 2 Dec 2021 14:22:02 +0000 Received: from QB1PR01MB2753.CANPRD01.PROD.OUTLOOK.COM ([fe80::104b:196c:3313:1af]) by QB1PR01MB2753.CANPRD01.PROD.OUTLOOK.COM ([fe80::104b:196c:3313:1af%7]) with mapi id 15.20.4755.017; Thu, 2 Dec 2021 14:22:02 +0000 From: Dan Christensen To: Homotopy Type Theory , HoTT Electronic Seminar Talks Subject: [HoTT] Last call: HoTTEST Event for Young Researchers, January 2022 Thread-Topic: Last call: HoTTEST Event for Young Researchers, January 2022 Thread-Index: AQHX54f55nLKgO4XrkuMg3FH/xb3nQ== Date: Thu, 2 Dec 2021 14:22:02 +0000 Message-ID: <87k0gnozna.fsf@uwo.ca> References: <875yso8bmu.fsf@uwo.ca> In-Reply-To: <875yso8bmu.fsf@uwo.ca> (Dan Christensen's message of "Fri, 19 Nov 2021 14:26:33 +0000") 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/26.3 (gnu/linux) x-ms-publictraffictype: Email x-ms-office365-filtering-correlation-id: 58b3f78a-f459-423f-2f50-08d9b59f1bfc x-ms-traffictypediagnostic: YQXPR0101MB2264: x-microsoft-antispam-prvs: x-ms-oob-tlc-oobclassifiers: OLM:9508; x-ms-exchange-senderadcheck: 1 x-ms-exchange-antispam-relay: 0 x-microsoft-antispam: BCL:0; x-microsoft-antispam-message-info: Mj/ANl8UO8q68IeslLRe6kSMwScevFdhXGDDDK1Vh68vg3L/yRgP3jrrFSSMcld6Jel1P/2H6kABF1ZQ2c9bWk5g20PckqXB+QTK7pdfcmKpAaBPvwg3hqZb3j4aAiVOdfG9zfcKrF9f9HhxAN2i5SzpZqco63nDVGcWJj4GqCgZGZq7Z7RIKve0wkfH/4jZJTn3nR5r520MVPO4LTmVG2lPY38MmpBMGRmTeeUhr8Klx1LI7z6uxR0JRD6B4CNDAE5wOiIec/5oYnV2n5AmYANh/d0n22IDfWQuUkrIfAknkEXZb6vfkF2tQ0M8YjIVqV4kuQDrFvGbUX1BttNYSeuV7FxSeRSBUZ4lD1k6R8J1iUSUNVDxBHzBeuknw6Ksr6cYX4NIJEcWJA3tbEYHZ7MyeFzaBNeU6Q7UHyGYcwqjFHlzbM2W/x4HoNyb9HWEDsKEFjf4oSIUrehKU1np9RI3R4ITuq2xDExXZsohnc0APCOxdDQPrbb5rtQtUoKJwpLih6Gyfvp8AJJBT6qZ+SzEbKaS/ucmDo7+BLwuF7FOaiWQxXlQTp3jwEKqzn2XQomvMf/fLpUDvhg4+JuPyJUwMUnt9eFuv0ue0ZTAGQgJFVQq7jE0WiKo1/jMOqDWhzND39kWpher/eusHiqwr5ruuehb2lVqEI2xwILKXsC/JmomoIgeIeMb+nGvGuch8Y6g9QAKbVjw1GFwAzsvFgzk7nfBhcoODWjJYmrYRxQlF4kal7jYvXzhbeBEFRgQU5KLmBfz6IHwufXHLzLXUIDTXkNimw2PGoIwizi36UzEcyqbBISwi8ReHvqxOpPYopWPxJjPs2VJZSv0PBOMtA== 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:(4636009)(366004)(2906002)(66946007)(316002)(76116006)(786003)(66446008)(5660300002)(26005)(4744005)(8936002)(66476007)(38070700005)(110136005)(64756008)(450100002)(508600001)(66556008)(966005)(122000001)(6506007)(86362001)(6486002)(186003)(71200400001)(83380400001)(6512007)(38100700002)(2616005)(8676002)(36756003);DIR:OUT;SFP:1102; x-ms-exchange-antispam-messagedata-chunkcount: 1 x-ms-exchange-antispam-messagedata-0: =?iso-8859-1?Q?JxlUTsqBzSs5aVebHfDoWrMvXd4YNYzEiEXBRhnyr4mSO+V2Tt67puU2Ns?= =?iso-8859-1?Q?MIGMOUigfsTJ/4TRQqCzo9UM0SKK/8eCX3Br8E5SfG1T4CjvCGj3R0NnoC?= =?iso-8859-1?Q?mzUF4YgTEYEB0vzrZ5PkQDn7rvABmOLV+6AEvoqYW91tmAxnjU1HkGCT0L?= =?iso-8859-1?Q?RDo4Qy+2FAg37PLxqo8FCGedcFI6OrNwogrzY4g38vExo9UHQmNACDPpwx?= =?iso-8859-1?Q?ak1+iU4q2YyFCebbNtHQvmDDayMWZTKL49rDwMS3udtcwSAA9TGAhXkyr4?= =?iso-8859-1?Q?Ozpv6Ow3sov0pBzVFSfgFDbMnJhro8nIYbyzsazyiUsvY6tjIu7GBz6eYU?= =?iso-8859-1?Q?wiU57VGsk+cgalDE3u5S/967bevmU35Sm+KpEk9bEhOd4zVAC+SnZxqb2e?= =?iso-8859-1?Q?/JdX4c1cKn5CgTOaJC7Kx/J/L/olgtXz/1ZQtC2D/LEWOgvrfAqwGJM+C9?= =?iso-8859-1?Q?qIAjeHxIaAcjPLli87rt67EdBOtUwKjPpkq8jKWUrmg/pAo84Qo7nuTK5B?= =?iso-8859-1?Q?Fv6brcI8SByc8/bGrmfFKzQUrkM3CEqBlVyKdqk1elk3Qk8oMjwITwMUYP?= =?iso-8859-1?Q?iektrlBy/vCJbwEVHUi3USTD3Evtrn7Fq7h79TplX7R0oWfUMN+9TUPWfH?= =?iso-8859-1?Q?i5CHIXOjLU6Z+uRnTT56dIWhbXjXd+6eL4Wj6b1dMY/XKjliMSfwTfl+fc?= =?iso-8859-1?Q?bK1Jctkw7/mYcKT9LgPUB5aWBjlgdlwCXMYWmXTYeLSgJ6b9QuC6B1MqFf?= =?iso-8859-1?Q?QuERBSxYBVLiLJs4nF9HauyAmquUsaTbLTaKXcFXyb+wJso5hXt+N9O2Ml?= =?iso-8859-1?Q?dkZ2rmIVRCVqEc1RZxejzfpmsKcfhZVGNijKOFz/ZOeFXbrx0xBevrajfW?= =?iso-8859-1?Q?0uZMMMv7Eria584K8nmi8ELcXUJP98C4tHA8YAEFe0ABU3UCQ9knZ2iX7N?= =?iso-8859-1?Q?lwbohLaai/vLjpVQ1grYs9XthDIR99UBYyReC0OyLskti+ekYcJ/vVJs5F?= =?iso-8859-1?Q?AU8sYdAGCXLZMK11FMMMY1WTSfIgqmNAQ9A5OKiGjChYzZAwUqW2Fr5/+S?= =?iso-8859-1?Q?ircXiGNQLdQCr8tsBA0I5Oauu/+/BmEX52QSGum46djr73eQRLSKJ+sh9k?= =?iso-8859-1?Q?9PpoPq8kbNNv526XjC85FZMAlMEKRvhr7Hp2tZXl7cMoIwIV26OQBmDp/3?= =?iso-8859-1?Q?yAEmyGCW26PMDAGLdGZgGrWLitCkZ3nPY7E9gwzAuufUo5+LVe7+A2jIru?= =?iso-8859-1?Q?igG6OcFewnpnnodKrTiX4TUKEsP0CHGojDcjb9l6dr/RFfd+g7W1GYunor?= =?iso-8859-1?Q?gyCBTWVpHDRWqbUTi66xjqT5mPsU2aFT3khIUyFEUDavna8QhFXi4H2NgV?= =?iso-8859-1?Q?z/zMXfohtPKwuJcdZYbJAyiSV3/ylcDVBFe1EunG+vzRsW+djXw2OdAXrZ?= =?iso-8859-1?Q?gnwfmWi2bIpH0gMZbKSeJyQ/lkhSYFEY5EIKyguLWWmysWzg6H2SH9tYQb?= =?iso-8859-1?Q?6QugqvhbeauqZVVV5V3YSsamderZnFe6dxS7RTsUYPrp/RxsWASk+0bNy7?= =?iso-8859-1?Q?itWJ4P834SfMae9lLExWChsGgwSUoUi3OwGPz9bkfg3H23MY1VfP6q1DDa?= =?iso-8859-1?Q?LSAwOzOy5qxy8=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: 58b3f78a-f459-423f-2f50-08d9b59f1bfc X-MS-Exchange-CrossTenant-originalarrivaltime: 02 Dec 2021 14:22:02.2236 (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: CUkLkPI1x9tAucw140K0ZGoRRM9Qs1fsp1WIQBTYcXhnu1kvVGGf7S9M7Vm/eZg4 X-MS-Exchange-Transport-CrossTenantHeadersStamped: YQXPR0101MB2264 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=FBRhbeLM; 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 2a01:111:f400:fe5c::72c 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: , The deadline for applying to this event is tomorrow, Friday, December 3, anywhere on earth. ----- Call for speakers: HoTTEST Event for Young Researchers January 13 and 20, 2022 11am to 1pm EST, followed by an informal gathering Deadline: December 3, 2021 Request to speak: https://forms.gle/ua3ap4hWMqbmqedt5 In January, 2022, the HoTTEST seminar will host two days of Zoom talks by junior researchers in homotopy type theory 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 our usual series of talks starting in February, with details to come. For more about the HoTTEST seminar, see: https://www.uwo.ca/math/faculty/kapulkin/seminars/hottest.html Organizers: Carlo Angiuli Dan Christensen Chris Kapulkin -- 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/87k0gnozna.fsf%40uwo.ca.