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 27518 invoked from network); 23 Jul 2022 13:30:57 -0000 Received: from mail-pf1-x439.google.com (2607:f8b0:4864:20::439) by inbox.vuxu.org with ESMTPUTF8; 23 Jul 2022 13:30:57 -0000 Received: by mail-pf1-x439.google.com with SMTP id c21-20020a624e15000000b0052abf43401fsf2547264pfb.14 for ; Sat, 23 Jul 2022 06:30:56 -0700 (PDT) ARC-Seal: i=3; a=rsa-sha256; t=1658583054; cv=pass; d=google.com; s=arc-20160816; b=sAQCyOtqePdfdBV+QbzVquNBMTjhWyna7uSlDSw1Be/grVWtuZqZ5eC+QNZksn75ip ykBH6mH1ww0uPWIyYlC6Eb8p4xHDdAcy3+4eRZAaKU7eb1DRhe730WbMBTvPsPa8vajK LsmpVuAyGK73hclJdZwpi3Q1ioHiPtZvD6whUYMwyNORw4cBczMhvCt9VaXUfRhZ44pj O1CPBHRIc8TYqVdQ21wT3QVn59lnI0jch6qDuUrbE2RtFntFS3le4KLItRuJateNNgJk +NQ9AL61ng301xgejixvmL/IuPxD8qG0+xqTFhjwxlVDPWhbAY1VWRvf7RmtTPJ94SXG 4n4g== 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:message-id:date:thread-index :thread-topic:subject:to:from:sender:dkim-signature; bh=0ODRcIRw9bRiNA0WzOBQ5ks31nBM8hpUqfdfsx45oqw=; b=Cr2HdYvdc3JHeMgDdf6rWRGJjYjHH5alXHe5oRffmIdYXoFOORgmF4yp8VHugpvsZL JBShXe0UhFOpv/7VJ5wpWvlofmaM0AF/dGzP6EOYR5l+JZ7C7ySY3IloAxqfY3YHsWRp MbuicxjbCM/eOioX2GQ1RmMg0t70mqJ2MZ06PWG9XQxT6caf8G5Rj8dMXp7AUqFnTDTj n0XtDfMS5Yl8eQIJaSLnSv03Jk6sxcOZlXB+ZF7+yq3RY+8GFYOHjX+n4/Rp8wkcOEA1 M4OHyXAHY8vTz/pXZh9bYpq7rzHThhmD8GgwbWREy5y8wT+tbBCBBGJstoudeb02x3Cx duCg== ARC-Authentication-Results: i=3; gmr-mx.google.com; dkim=pass header.i=@uwoca.onmicrosoft.com header.s=selector2-uwoca-onmicrosoft-com header.b=UGQUd1Xd; 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.92 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 :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-subscribe:list-unsubscribe; bh=0ODRcIRw9bRiNA0WzOBQ5ks31nBM8hpUqfdfsx45oqw=; b=IIRLGuyWZ6eb3rV0VH66mFWFlFJPGN9KCAEt9V7jrAcDO1cDEdtEhgcbDTlOoFy/2m yuPjeT2iUTHpEqA9ai/D795M6DdqBtHLDcJiU8CM66I8E3a0TKp1t97abH9MAud044d7 a04nAocXNmKdIOvp7oLCe8teEPCpvK6FpQUC7kN9x+95k/kIEdqHo6aMCRy49weA+x/H X3U8xUj6kgYVU7hWWTAnKsNE5e3uIG1GfvJBnPt6IqgPQrjGu87ScEZtLmym1BLSBlQc lSHgBEjdR5Dm5AqZUvT6tx6QCCiPGsfcpqcefDQC50UPJ6lQrA7zJ8SwpcwsoN77GJ/h DhMw== 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: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-subscribe:list-unsubscribe; bh=0ODRcIRw9bRiNA0WzOBQ5ks31nBM8hpUqfdfsx45oqw=; b=k0Hx8llieq6WqI/WW8bnARQYi53grnelza9ZszluSj3EMzrOZeiUft5F9U0R3UFcN4 Fw4amVedLy6Ho5J7pqUMOeYfZmJ+a2wpziYvvXLT549PXQO8a0pK4/YEnlaMgs/LMJJ4 fZE2wzdqhYrbYMfIdzMqZt0AakUspNPLO+1I1sCtUqV19Lq4xC2TmYAl2eB/dpFIJC2i GyDCokxxv7XZA1u7cyPWn5CRGbqMu+YRLNmvU+awjc2kve3KbQ4wW8MCqiJpIAYaUryv XDX387UdCulaXg0qvFR9xYHOEfJEIFjVqcZRhx4QjwkXJZ5HJmUvdBfLjU3qwsrUkl2X 2NnA== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AJIora+rynWMRfZz8KFwyBh9nVWws7jFGw6vRXzRTDghIOqcT9cnGvkh 5b1j2TaQFcI8JHv+FMM94rc= X-Google-Smtp-Source: AGRyM1vvt6w1owNIAp6sGNuWfgB2LRDzCdYDLcNi+m1B8QHH6oZ2MLWpSZKuy0TxNVESaQ9OBR4woQ== X-Received: by 2002:a17:902:f68f:b0:16c:2ab9:9bdb with SMTP id l15-20020a170902f68f00b0016c2ab99bdbmr4254463plg.23.1658583054524; Sat, 23 Jul 2022 06:30:54 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a63:5304:0:b0:412:9ace:9fdf with SMTP id h4-20020a635304000000b004129ace9fdfls719510pgb.8.-pod-prod-gmail; Sat, 23 Jul 2022 06:30:53 -0700 (PDT) X-Received: by 2002:a63:2cd5:0:b0:411:3eca:da41 with SMTP id s204-20020a632cd5000000b004113ecada41mr3733612pgs.502.1658583053028; Sat, 23 Jul 2022 06:30:53 -0700 (PDT) ARC-Seal: i=2; a=rsa-sha256; t=1658583053; cv=pass; d=google.com; s=arc-20160816; b=oAGfVGbqcqe74xjwjz9NL/j6DOVvNOvCvF37t4jX+0UKqAh1oMnvJ1CmYNjCxUUbZF AB+mTz3xkpIUsRTRqxqPsZmj5F4BELfymTpkOxUqCdlWjDhtfnzimwmB+HRKD2MVJzOl WON22NGj/BBw/THOYpMtCesG1uw/8e/v7I4Gg+dhRrYuJNzFORTyenAFB85HBRS6d0C6 iMGvrFpog8j+1qvL7XGhm/s1vI+/CZlEYOgKmS7VRi44hyouM8OQ59oe6j35xFkpUgLc paxX8BDhWEwmKhprS5Mgvrin372hB9t/tTdC0PGj6985khEZ0sdyfG9GT50QKaLh71m3 eRKw== 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:message-id:date:thread-index:thread-topic:subject :to:from:dkim-signature; bh=voHBr6xB+g9RLoUkRczpzO8hnkt5cjOt8GYnnyyemqc=; b=skJ6OqAggYm1DU+wOC1x9Lh94rcGoJZoD9dSo5FTOWJXEUpV3IW+SseJhhCLTqejSi iKtd5R2GWB9ey7FCFeKpZfB3ajrgqowJ2g2Va65CIiE+QMbuCh7ExOg4fYchpgfwGNGZ AAltGG0Iu+lpGIvj5PSeekgHK7o2VlIJZqOHV0pKFSWuK0Ode9ciysarpDfRwvjdUBr5 nUzS1u78Ec2AgHe0CmEK6jvUGBAmP39QW3K+Op4wJUi4B9DWzko9ltj4pBKXFCdnGNIC aqXHP2H4uIzP9jwNQvGcCfHxGA4G/xmKm6AxM9n9xZh2GzJ2L3865gWLqppywTWwyB+V C4ew== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@uwoca.onmicrosoft.com header.s=selector2-uwoca-onmicrosoft-com header.b=UGQUd1Xd; 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.92 as permitted sender) smtp.mailfrom=jdc@uwo.ca Received: from CAN01-YT3-obe.outbound.protection.outlook.com (mail-yt3can01on2092.outbound.protection.outlook.com. [40.107.115.92]) by gmr-mx.google.com with ESMTPS id p15-20020a170902e74f00b0016bfafffa26si159061plf.10.2022.07.23.06.30.52 (version=TLS1_2 cipher=ECDHE-ECDSA-AES128-GCM-SHA256 bits=128/128); Sat, 23 Jul 2022 06:30:53 -0700 (PDT) Received-SPF: pass (google.com: domain of jdc@uwo.ca designates 40.107.115.92 as permitted sender) client-ip=40.107.115.92; ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=SJbVrjfpyBiX72jnrrpoI4Nx+mI9si1HBvZ+fTjfm/mOw0vSScGBtnvPzUPqEa6v4Eq3f9XPREUcl1uvTKI566pnGKjAWhi3S7pPGVktx0bVpiAcDmuJn0wIJm2HozuNBpkWLdVsj/xrZZgSZPAsnx1bqwgtV4B2yM9+NDhEh9N3hSBlpOrPjA0PilxVa051Ngg2rtwslNEne6tK/ZYqkXCaHXqJ4y0iaytCfClMtfklzbF2JdO5MLevn/zu+EoewtQ0KbBxSiYnmT/IcpIFjiKRwRuGIxrEkCvDysaoW8TO/gHA06agaMRUifjb92J1I13VIEYCWjou8200jVLD3g== 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=voHBr6xB+g9RLoUkRczpzO8hnkt5cjOt8GYnnyyemqc=; b=jaJwVA9fmtwjXGY3D6i0FsyICalwnoWhDB2sRl6TsKr9EZ1lZmtOcNz7RxjXETPKS9SyzxsYrE2eav+L3acQDOZSyei5rnUq8F2L/J3QpYFaQTM5p5NNxIxco28R8ac32KIkTupM6pMMJwmfuwiDX6kTcuK6aecSaEpm8LkFrt4T/MHtrxVuW267WV2yJAiFsKoK18P3ybzYTIY0//AfBEsrB8AIudW3mRcojKNdRnmYGIm7dhTnDiBjsSHXezYHeGSUf8BFWHLoQU+z24rOJVgQpRUfn5Yhk2295453O8QBNukZtyiJYZRPN5JoBvjhqLkyCKgtTWdiFGrSGD6aqw== 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 YT1PR01MB2489.CANPRD01.PROD.OUTLOOK.COM (2603:10b6:b01:6::16) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.5458.18; Sat, 23 Jul 2022 13:30:48 +0000 Received: from QB1PR01MB2753.CANPRD01.PROD.OUTLOOK.COM ([fe80::2c5f:fcda:2d9d:4d90]) by QB1PR01MB2753.CANPRD01.PROD.OUTLOOK.COM ([fe80::2c5f:fcda:2d9d:4d90%3]) with mapi id 15.20.5458.021; Sat, 23 Jul 2022 13:30:48 +0000 From: Dan Christensen To: Homotopy Type Theory , HoTT Electronic Seminar Talks Subject: [HoTT] HoTTEST Event for Junior Researchers, Fall 2022 Thread-Topic: HoTTEST Event for Junior Researchers, Fall 2022 Thread-Index: AQHYnphrUeB1Du85EkuDcs1XbvyIgg== Date: Sat, 23 Jul 2022 13:30:48 +0000 Message-ID: <87r12c0xdl.fsf@uwo.ca> 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: 4605e812-1933-49ca-94d7-08da6caf8dd0 x-ms-traffictypediagnostic: YT1PR01MB2489:EE_ x-ms-exchange-senderadcheck: 1 x-ms-exchange-antispam-relay: 0 x-microsoft-antispam: BCL:0; x-microsoft-antispam-message-info: RHmwemWc1kNVo5dHAuFjVgYrzd5bmz3w0R0d3gN6noDmvhR/Gk64Dwyrg7VQ8vBWz1Etc03qwYXbq+gtvn3yAQGcqTHATY2rJnBHnD5udu3cL0h2DXPnH9rXCOy2AXIPPtfO7YO4I9koPTWIs6+hEa/7f7BXEa9cD20yFfyDeFhuE0vf1Eldkna1sS5F3/ViX9wPxgYLm8NA4U8yne7sduDLt0b1/7pFjwPm993amKlMG4zbh11yolaxBy8ka/KhX9ZGc51uaKLqC4jvk0fGQClE7QEN+SzNEpUfHFwtnNEePIMgwD4+avjrQ6GIgjQHhP/N2oOI+uNKI5tghIPcW/H8mVtP8PJ7PpQViJpKP5W+FHC3vVK/TXQAEOySoMd4rkRyRpgyMtgXSbly6QuYrayFVIsYLH4p4dtvWS3SK6UGXiNeLd2WwreopdxaGcn+knB+H6mN5bIPKfNLiNmPCx0sMCkAwzEWguNuCG2ELnagE4UDKmVuKHXDhk52M21fZMKSOO4nnXuuKP3vZEGRpFLc2k99cGo746NRhctyyVJEZP9BA7xJkeDO9GZQFWFN1l5OOkpJSlQRJ3d8UlLKwItlbnCOBtdoSD410bfm3F4bWAuPDC1/3WlZVjNoYVv4Ve1AOy0joMJ6CkqmCjN86TP6cirSIYthnoTpDybug2QxwTALnVtmLGtFHg5YC4LQphcXMTBmAXunCx/kW3ci18XOMN1KyM58WAd67vWjSKz59bRP1yH+AXKWWnHGKiMVZECDDpoN0MHkrlzjy1MQen7UiO71HIEnun7bCKH5vpnPEfX6HvjZT5/KXnePAPw5G2gd4vy8/zq0eYydau/lww73iklNdfXt3+AQrZYRA7lmZrW8yxaLay8G7GEaHtp0 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)(5660300002)(2616005)(38070700005)(83380400001)(450100002)(186003)(41300700001)(41320700001)(86362001)(38100700002)(66476007)(66446008)(66556008)(76116006)(8676002)(66946007)(122000001)(64756008)(2906002)(786003)(8936002)(71200400001)(316002)(4744005)(110136005)(6512007)(6506007)(91956017)(36756003)(26005)(966005)(478600001)(6486002);DIR:OUT;SFP:1102; x-ms-exchange-antispam-messagedata-chunkcount: 1 x-ms-exchange-antispam-messagedata-0: =?iso-8859-1?Q?YHg7UN5DtRWfYacNWh2mRLYBXNGUsRTxTurJ07LLrDfaEuV70JBFCFgDqE?= =?iso-8859-1?Q?euGu6YFabuJ+itaIOyF7P3ZOqFFoG4vTae7y41hlP9xFUeqXD/54KYw4gW?= =?iso-8859-1?Q?bEvVtGKQmw+9ar3gMXPVxWeUY/IT05rcmxAGR44dspAb/cHtLF0o8lqLeM?= =?iso-8859-1?Q?uym/iBmatqYXQKH55DN4U9d34raUYBsEZ2m5Gl54UgsgduxW0kYCkX2zDm?= =?iso-8859-1?Q?fTCAahbXWVadsHIpfI6WS4EL6f/Yc1d1cNcNm/+dscgDf6lX9tWA37Z6VI?= =?iso-8859-1?Q?cyr5KZF13n3a6fSGR+/nNkonSPGYGlpgffwSTQO4GqB0LG1cjoImhYoDiY?= =?iso-8859-1?Q?LF42R7UfrgWGF0PbFliD7IyJdKaOr/PM+hE0bKQqOQv5ZiD+fjUQTjM1yQ?= =?iso-8859-1?Q?Z/BHoITUsvyHgWGhMceKpRBFzIyxE2UH7Ku1A4bNUtir2ahBlxQcsP47pi?= =?iso-8859-1?Q?hC68q0Co8ZTT61REvshJK/+rdTF4pOn0th0GRAX7ytWpuoC3aOgu53ik5T?= =?iso-8859-1?Q?yq0Ukg4QRP1K7cmO9h3ATQGXl88f9FpnZTaoNSCzWK+/hNmJK3LAFhBBjZ?= =?iso-8859-1?Q?SNKHZwMJoP5hGye3kq6P0VSJ5i/cLE6TIWdATBYbw/+QyEjr9iJVNmBj/T?= =?iso-8859-1?Q?I2J1FzazPFwmUmNiyGp2EnzUKIs+yUsV2G0uw/ysdF+1Iii1ZK/9/N9cSf?= =?iso-8859-1?Q?Fet/0Rd2L5IaDoqKIll9CjtfD8lvEZQW/GeY/1UN/OhZ2Y+6kHfjYYH1S4?= =?iso-8859-1?Q?MQVDUA/3rUILBMYla/ErS+mVyzSp+3zuHwAKGPZFag+RNdxAqXxWWDEi5F?= =?iso-8859-1?Q?EOCWnCAS3RHW7wYnMRLe95oOIzaSnF/ibLGN9ZN/ejaeqpbTvTmlIRIF1J?= =?iso-8859-1?Q?aynpZe7eedzyKyCFdgsiBMpdfHBfkOgeMd1ndTr5JGeC7T60C8AlL/qTqD?= =?iso-8859-1?Q?3y+ENC4IllSGJQCZfE/vPngeXkxmVQSC8k+0MaI83VGBIsq+IMrO31YVEn?= =?iso-8859-1?Q?mS+Y/NY5LaxoLDYJ3tDCHHXqZdRoYLqYGeXnwacv+0X+byRkihWSCJWjCW?= =?iso-8859-1?Q?1mnAXolh/zaKtThDGO+K+d1J/XiGE0rpD4unicPl0+FCIJLsE3UFPpa66x?= =?iso-8859-1?Q?+sGYXavGNrvJRkXnuN/WsziHg8Kur/CAZW6WZcousFqgKZnppl0fdVCi5m?= =?iso-8859-1?Q?KYcAgBVnwd7rIAraVcYryT6Dn0z5yvLFjwuUvP2enTa7x9nxd4LN29lcyY?= =?iso-8859-1?Q?mTEMKtty8iC/+f4fJfRtOu9lba4264qcSH1LTCJyc/l4x9RkvqxVw6AB+D?= =?iso-8859-1?Q?Z6YxJKiQb7fl2m2oSQCSMSOHlQsXFFVYVKmYTrzmubDENfY6WupGFydMS0?= =?iso-8859-1?Q?BKUuzpwwlPSiYCEU/TQ7TaHEoVIEoihdQeN3NeJPIdbeFyE6J5Dd/KNit/?= =?iso-8859-1?Q?JrU7srp/k7DxBwv7vy4OUczGJgmuk2TdwPKorTGZnG2x9X+hVGVOTpeJs4?= =?iso-8859-1?Q?8G4q+O0kkhd4LtyCWROEVXQxblp+pw12KVnKbMOG2F5dOrHn4ptkYGdcUf?= =?iso-8859-1?Q?hONf8sti51lOveAbldbKPAf8JJTktR29A3J9OE9HMnt+Bmyj/VbJRwaXcK?= =?iso-8859-1?Q?qo6mlGCQc4DrQ=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: 4605e812-1933-49ca-94d7-08da6caf8dd0 X-MS-Exchange-CrossTenant-originalarrivaltime: 23 Jul 2022 13:30:48.0367 (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: MgLPMuGuvJRzEHARNLkn0zlfOiYEnOJ4b5oWu0nqeHnvoO1Tr/IyMH32gMaH3lWQ X-MS-Exchange-Transport-CrossTenantHeadersStamped: YT1PR01MB2489 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=UGQUd1Xd; 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.92 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: , 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/87r12c0xdl.fsf%40uwo.ca.