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 32636 invoked from network); 20 Jan 2022 13:18:15 -0000 Received: from mail-lf1-x138.google.com (2a00:1450:4864:20::138) by inbox.vuxu.org with ESMTPUTF8; 20 Jan 2022 13:18:15 -0000 Received: by mail-lf1-x138.google.com with SMTP id s16-20020a056512215000b0042bd76cb189sf3732947lfr.6 for ; Thu, 20 Jan 2022 05:18:15 -0800 (PST) ARC-Seal: i=3; a=rsa-sha256; t=1642684695; cv=pass; d=google.com; s=arc-20160816; b=KOI/klq8rPlOGBn7kpQFiRF8nchdWx5hcijvTL/uPwkbY3lFLGbV5JgQ9dYPtSN2FQ ykTlerUFFzhgd56rFlVH55YIs2KBK0f/X0pzI6AdF5UoRltmZcKi0dIbhY29Zw47ZrOq 4p2Zkwws9zovmkLB8C+FA3JcjwV+mmzn/WG0sJWZtyyqP/L4J3OMbAateF+Ik8O2s1NJ 1sACkbaOzFI0VLt8zsb9LqCOYEa+rzSjitkaBoilv8oLBzzfsh1L0+Q04tbJcCAUV4NM udgWUah//Zqj67Z0dE0RdRmfyA5yMiO52k/u7IoKbLQIisID6+APIFd/s1jlPGvwlbn4 6jXA== 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=LJuDejX488hnIgaFpyZxxXG2M/qnQ0J533wDGQUXC7w=; b=iS8lMjqmMPjKE7tjq7UIQA/Q/EKjWadsbkP8i2VKUQQHKLs8ShMPsq7YKdPAM6fc7r QKcGDLkAWEncycKAbTdkmUkF6ytElXgl6z5DPCxyWGN7iktZzO8M9Xk6ZXKMVjPlD0Mg 5kQSr1p64cLh3xjA2fAMaD62RLtjnI5yU/5SDBEvxx74JYbN3ReI6lMtUPviWEvpueKY 9yJZ4UJykileIDN4r5uiT4gDrfSf0ZYf0ut+1Kia6evyrhXm+e6B/Tf2p9khmiMev5oo eBHfdeHfz2uzH+GaKYKd2yn5a2cPQSc16U6w9o7i/eMvbLSK4Hk5Kuozu1kFYLpj6Vlo F54A== ARC-Authentication-Results: i=3; gmr-mx.google.com; dkim=pass header.i=@uwoca.onmicrosoft.com header.s=selector2-uwoca-onmicrosoft-com header.b=aI4zI1+s; arc=pass (i=1); spf=pass (google.com: domain of jdc@uwo.ca designates 2a01:111:f400:fe5d::71f 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=LJuDejX488hnIgaFpyZxxXG2M/qnQ0J533wDGQUXC7w=; b=mdqbwkrhQsyKGEPQotdb3dkRbSAHxd7pruK+t5vzn6DxonzPmKKB+NvQbIwXDGHyRH IvLR8n5UEwlGio5yO2RnIsCPB97aP/fbzLfOob2+VkhkW6X53cHqM6iW+MBNf+KKsfs5 5kOM8wqXCs+C/Hw458unNhC3xcOjzYEFy4tHFYiPxZaUWxbenP/qA5K1+ER5BI/+B94c 6R6qLE8cjr/KUjHl7rNSRY+vUSB2judbLpzCTNhiIAh3t94visdpd4tAwjKWEKioq2WI OW9ick2AHodawt444Y66JwLQ+bpsENyZbqwUD9wmoC1eoWN2josCIeFDQxPb4ijvHWi5 p3AQ== 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=LJuDejX488hnIgaFpyZxxXG2M/qnQ0J533wDGQUXC7w=; b=rYOI1EBiw/Iu/J5eovpwlqoiXY1JWFKglW6Zh5OiaeMosmQgoaPY5ax56w7HHR994B QMwheFOX9aBWzylMo+EfrSatxHqZ9B7NM3cPp/XFLMoTuLYnlYj/4OvFpZAD2tzgGAuC vUwPur6beR6IVBhFPFfTaP2zPSPpAIbzAnqH8I51kmcD1VZatD7n4++Q0yeDLqZCONto 1wN3EepsZwVnwIudSQ9PU2b7GvN2xXqMoqR18e2Qe+GwLPZjch6lSBLw0P3ofZHUq/8U u5yxBp+iNe6uCQ/QoxAxoTIdP2XOniOYAxMSYSVWWzI++3vrKVgrB5Xot8nWfyIXkW/b borg== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AOAM533wNAHJGidKAKaJAvaa9rGyTRmDS5Mn13u7IJO4iYEn8uCpiWm4 4+EmoS0eb4odEH9gGuYYr3I= X-Google-Smtp-Source: ABdhPJyTDunZapHYhETUUTK5jeLh5b2Nc7yu5UpSModYCzlLvOqd+Flah2LUGNEEQO+Neu7Rddxt6Q== X-Received: by 2002:ac2:46ed:: with SMTP id q13mr17935905lfo.337.1642684695006; Thu, 20 Jan 2022 05:18:15 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a05:651c:39b:: with SMTP id e27ls877952ljp.6.gmail; Thu, 20 Jan 2022 05:18:13 -0800 (PST) X-Received: by 2002:a05:651c:1068:: with SMTP id y8mr21958744ljm.135.1642684692937; Thu, 20 Jan 2022 05:18:12 -0800 (PST) ARC-Seal: i=2; a=rsa-sha256; t=1642684692; cv=pass; d=google.com; s=arc-20160816; b=ZBsANjRkkomEe/izHFuy51TzYZPyj7/4R1MvVcV/EEN5AXlcVwKu8ySglUYPcyHDWf uD4WPxPrS2eN8BCdrgZV/kuAvZ/BSQA6TrG5brgyVA4Sjc7L9H9DNBjPf/b6iCypL+9j 4pDjBYVf33w1OomQimpYnFF0L/RvgSa3VGgVy0Eccj9EqZ5lzlk+4/BS7AsBOvPao1m2 BmKpailZM8IlZU4zfVov4vJSpXpdrWYAs/GhuOx7IBXj0csGdaPLh1btcvOD2noah/V3 Jbja4KHYlE4B1NYe6pzV+lxvF2m4mFCY7Oh8LmHyKnL0+4mfaE5dSEeAmRCAeCc1tqS1 SlAw== 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=Q29TrZGSzsvQAcR2evPWuO7YxAgtIiD9RUueMCnYF2U=; b=qFeMhtP/Ox8F8ywPKaQZcVo+A79GNP9NMUEUkfAZ2GPR+Hz4IhEIe7qR/8i1jnF5pU EMamTB2pPkH9X4sC1d8a9u35b2LCS/k3xcX2rSlnvoP3UwfO+VTosyRAElw2/LQtzptG FghQszDMiK34kiPsJRB+bTU8kUsVyaQFYE98PcXErCWTFBej0C++Y76n32HtCMTyTUPV 5m5ZF3J7ySpK+TR96T5a6tCRA/nvZex4v9qwWmdgEZX8SsbCiwQkE9vPVwSB6elZ6Hvr lAXAwq/60qXnoGffaE3QY49ok72pqDq1XeoxYY/AVEUV9h1TsgbfA2OzVuwbDLxr9dm7 kiYg== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@uwoca.onmicrosoft.com header.s=selector2-uwoca-onmicrosoft-com header.b=aI4zI1+s; arc=pass (i=1); spf=pass (google.com: domain of jdc@uwo.ca designates 2a01:111:f400:fe5d::71f as permitted sender) smtp.mailfrom=jdc@uwo.ca Received: from CAN01-TO1-obe.outbound.protection.outlook.com (mail-to1can01on071f.outbound.protection.outlook.com. [2a01:111:f400:fe5d::71f]) by gmr-mx.google.com with ESMTPS id z19si149981ljo.2.2022.01.20.05.18.12 (version=TLS1_2 cipher=ECDHE-ECDSA-AES128-GCM-SHA256 bits=128/128); Thu, 20 Jan 2022 05:18:12 -0800 (PST) Received-SPF: pass (google.com: domain of jdc@uwo.ca designates 2a01:111:f400:fe5d::71f as permitted sender) client-ip=2a01:111:f400:fe5d::71f; ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=JmH0q9bKNt/biiNtaOkVTNvdKlYqQ5Wm4/M54k/AbohQu+lL9KfCm5Hfwt3PJpF2s9hSFz2BJPhNGDFfBAFq/HO8mKPjMCjF/p8AbtaPklrf0cD3WmUf0eZvfKTM8pe8LaqlhGu6Z0daRoGk54I9Ez4Kbre508zXx8tva3HK67FczhXa5iciKyQBi4tK+Lv3o0Sp4Ggq395mzbc34BFUnMuQXfe4XFpGbpdkenQs7IHha9DEpPCUy3YmpJupmwabv471tuvnekdfYrLYiKIujsz+sGo8TU335SeUIb5z4hPdjf6wEZXnzSMUT/rCH/FjVvsMs/UwvdPYGYrP09sXcQ== 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=Q29TrZGSzsvQAcR2evPWuO7YxAgtIiD9RUueMCnYF2U=; b=XvOrzi39iu+R/eNE7++NsFVxPGe4YX033WKER92akUpbUF8rPM8xQdp6EvJLod/JNZd2VbtLyhP32kxOrnFUdWGJlBdXQDrCaGzb2hymgNpdv+YzK8zDYFg7tgJyITDNJhjnOhbTziggFPCCgbtQSDvwxWeQWZc3/7jWplN5Ct7Ic2hQgKvZs+4kfSU0vX4zpAv6fSP7JdPpDwWOpD1CXyMUVysuKHWv8MPA8GMI8NJTpg2m080F8YnNlOUiCISnVTsFD+fl27bSSI2yM+0dEcO2ws0IOOUL3bFq0KniWs2n7Vb+UBC7XK5ML5bpLOMQhPQKQaTRxOt7Djt78mRp5g== ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=none; dmarc=none; dkim=none; arc=none Received: from QB1PR01MB2753.CANPRD01.PROD.OUTLOOK.COM (2603:10b6:c00:30::22) by YTXPR0101MB1070.CANPRD01.PROD.OUTLOOK.COM (2603:10b6:b00:7::20) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.4909.10; Thu, 20 Jan 2022 13:18:10 +0000 Received: from QB1PR01MB2753.CANPRD01.PROD.OUTLOOK.COM ([fe80::bc49:4fea:54bb:3d91]) by QB1PR01MB2753.CANPRD01.PROD.OUTLOOK.COM ([fe80::bc49:4fea:54bb:3d91%6]) with mapi id 15.20.4909.008; Thu, 20 Jan 2022 13:18:10 +0000 From: Dan Christensen To: Homotopy Type Theory , HoTT Electronic Seminar Talks Subject: [HoTT] Re: HoTTEST Event for Junior Researchers, January 13 and 20, 2022 Thread-Topic: HoTTEST Event for Junior Researchers, January 13 and 20, 2022 Thread-Index: AQHYDgArDY+WWvmR70eyWowkKPq40A== Date: Thu, 20 Jan 2022 13:18:10 +0000 Message-ID: <878rvar1f3.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: 738a1f84-7190-47fe-9f8d-08d9dc174e20 x-ms-traffictypediagnostic: YTXPR0101MB1070:EE_ x-microsoft-antispam-prvs: x-ms-oob-tlc-oobclassifiers: OLM:6430; x-ms-exchange-senderadcheck: 1 x-ms-exchange-antispam-relay: 0 x-microsoft-antispam: BCL:0; x-microsoft-antispam-message-info: LUIP53nV0z1hp2BCfKC4BfymVsrSoJyKJYW6LdM6HU2no8hI7SuZ+f9HagnAyhG5oDc74VIJKyDFUQbc6QD8BRDOfEAxnwLDBXog07BLiek5ga7YpK6QZR36KxtIz7NRIDhix9cQBuKXwtqOC7RI5NKa0x6jbAGTTV5YG/nV9R3Z+C/jclfdz9p+Dg2aBn0WmtEOTMd/gqbRYTjAxBX7jMnn9LgXDmNnZlAtiRmXcVUJSo+t6F3Ammk9b7UmAUHkMDspqpIAKD3Od0DfAvdPg3CXOrWpIFOoeGxNgPHx1O0v1ej8l2AOID3mdp2xLCn4b9Jmx3D8n0aoSdZzaXFtn0MTzA62Px+jJDJoTOvPpy8yfA7HgXGqLON2Jd21jHZ4nATRFC0u2oPmSb8tDfhyqDAdZmCDfKiP+C0SP06mCcByWgOdO0SUZvcpXe6+dkuC+1aafLRWmGeP9ejD5psiEFKmE6cE6fmqutA1ynzAqcYvPq4l4vuDiI58SlhLkWGDpmgd5LT3zZSx/a7Wn9quaRmtHwc93ci+nfnP7VTydnrAZ2Xz/QzVmQsKFfC6gUDdbiO9o+vx7qXA5c+PKaNL76Q464hUsxFKi3SSlXbAqaxPJTSVRezxHBbzHVaYnyqJd+51gfqQ8zawCX3MMUxI22AZPK24WOP2OC86pRb8g/nAex+JEyadFRsRo2xDqyMCnftXQ4BLXf9ZQXovP0V6RtUM+7Q0I2ZqBv1Es8A5wx20P0azVBWk/B0Vrn5fFA6m3yjJr/B6Juci3DTNr1Gr964DqJFLDidNVAePuE564ve6my0LLVoQuh/CPNfbtawH 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)(26005)(76116006)(91956017)(6506007)(110136005)(316002)(786003)(6512007)(8676002)(508600001)(71200400001)(4744005)(86362001)(6486002)(450100002)(8936002)(38070700005)(83380400001)(186003)(66476007)(66556008)(64756008)(66446008)(2616005)(122000001)(38100700002)(5660300002)(2906002)(66946007)(966005)(36756003);DIR:OUT;SFP:1102; x-ms-exchange-antispam-messagedata-chunkcount: 1 x-ms-exchange-antispam-messagedata-0: =?iso-8859-1?Q?xahnnR+ne1pBo2kqdIazohYYgDOUeyjwS8pvYgZidG5beZHxWUbTftsf1k?= =?iso-8859-1?Q?L2X4J4Hk9QkOCy3fyFv6Nz/63Iaupx+s2p+eE7tG2tMKuqTxal80UvCINb?= =?iso-8859-1?Q?nZZalmTjWkO5FvwMJlKUIRMK+nyHH7nEc7NQJP6ylkQ3HPvjB374kj6cR+?= =?iso-8859-1?Q?9OqFrQX3o9llh5iM3KWda7SpREtir1YXtJDO1X9VRoxECToa/LDRktJHVg?= =?iso-8859-1?Q?ntZ2Sb4ESunN1FRYpj2fOvSbH+w2Z75xULHzn8mJz/agg16wDaaTuWsGYY?= =?iso-8859-1?Q?UbRPZNlJDHTNc8JDwxf8x1XseBppW3psmtvo/od9y2nDbR1z2XkCGFSsTY?= =?iso-8859-1?Q?EPCuhP66tENuQchhFDhKqtSrvueNVls3JIDbNxYM/EPvDOxKZrne102bHV?= =?iso-8859-1?Q?1XX7Ggb2esku1wgtvW0WvPD9EATWmLO85fQqTw1Vpy0IJOpsD+oamNH7p1?= =?iso-8859-1?Q?9vVULAtjAmv/Te8uIr8P5GDZbePSeremveN2GkvtNntTJzJ63wwaC37zPq?= =?iso-8859-1?Q?EksaSSPMCe6QTjI9lJNy25bUoNRsh/DjBKxJ3Phk6PhVnYbO1xpi20gBuG?= =?iso-8859-1?Q?xPMeHjgpzaGabDJ25l4xKKXtOI/Hce3IO+AlR1B4i6Q7f7RslLDO0dCf2e?= =?iso-8859-1?Q?5Vx2onOBdNyCxTguD+eAEIGjgi/XLrsw2jUWjuhvkeDclf0ELxSg3AneBR?= =?iso-8859-1?Q?JMsmKLyCducWpbETVwBk9UrKuhnthdJOy6OYCZpgj8aQIPjVPuE2joGdVD?= =?iso-8859-1?Q?GZm1V+JN/vU4mUN0c1yUrk+EMMw+mecVzjsKlCMXsyyA7zPt5MCKTYnr6h?= =?iso-8859-1?Q?bOCeVamMmi3COXseW17xIM0yHalUOngxys4DDNqvuH8dvn5zhQsvHtKR/x?= =?iso-8859-1?Q?F0z05pk6hh6BO8ggzSEnw9dxYHVgDt5237x1hrwC3SZ+ebLQzAETKoR/at?= =?iso-8859-1?Q?424zsdzCgwO6RzdpAlxCFtHxpYJYVOdNf2YiBRVxkZGCnKsimCegg8cPxT?= =?iso-8859-1?Q?Y6fsB2kfMdlLIedDJsexo2PsQEvjT8lfnNy0Fg8ZX1TVJ7yETEGoXPZv2q?= =?iso-8859-1?Q?akplteEzCkhgUG9Lcunfq3DLESw/wRe6eKfvx9DLzInbn5rRibLioyjdtu?= =?iso-8859-1?Q?cvYO8jCIZbnUpSayZ513JVHzO8bvrkKwrP1CpMtNPSPVvvLIGicRPADxeK?= =?iso-8859-1?Q?9QGKjP0uc/rI3bztSQj6/Qu+3T7hc1+v5h3SKqn+6UcN8txTvxn9AysAoE?= =?iso-8859-1?Q?DkW9vZuxb6palABnkwQXMAnjv8k9MSAL7VPZWgWSq1EGna6AlgcHqs8kTS?= =?iso-8859-1?Q?Uh6ChQ2PI5N5L4V6izEV46VYJSWfeeU1+8XSGGFLhs33u0Q4PYVinkgzsm?= =?iso-8859-1?Q?+G/+QBAJzQlXghMX23eOMRAAFwAEvEMYd3Jkf0HqIx9sdQ9/6GAvivW6Kq?= =?iso-8859-1?Q?cJYrUHQxxr9VD1KL5J6BYvqy0uWU1DDVL3aqYtW+MyC7ElZP/Ix1dCJDT6?= =?iso-8859-1?Q?4yP7gXVWJ0X3Pwh3NtBLOkzGh6s74aut1gXwVu1cQOvmMTdnVxyoEGI4Xa?= =?iso-8859-1?Q?7tFtkIDdbIgl4jTpxmJcP0UcPUyZrvpp7/z7dZv1fBLXhngVomQ382AjNc?= =?iso-8859-1?Q?X0w6ZPIhmD8dw=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: 738a1f84-7190-47fe-9f8d-08d9dc174e20 X-MS-Exchange-CrossTenant-originalarrivaltime: 20 Jan 2022 13:18:10.1817 (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: XYllH+m/75C9JQ6/7/rGm834Kj29ZVzsjYdOLND7h9dBRosxo3eBFJOpsQUD8Ygi X-MS-Exchange-Transport-CrossTenantHeadersStamped: YTXPR0101MB1070 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=aI4zI1+s; arc=pass (i=1); spf=pass (google.com: domain of jdc@uwo.ca designates 2a01:111:f400:fe5d::71f 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: , Just a reminder that day 2 starts in just under 3 hours! Note that the schedule for today has changed. --- HoTTEST Event for Junior Researchers January 13 and 20, 2022 11am to 1pm EST, followed by an informal gathering The HoTTEST seminar is hosting two days of Zoom talks by junior researchers in homotopy type theory focused on people who are on the academic job market. Speakers: January 13 11:00 T. Benjamin 11:30 M. Bidlingmaier 12:00 T. de Jong 12:30 Informal discussion in Gathertown January 20 11:00 A. Swan 11:30 J. Weinberger 12:00 M. Riley 12:30 short break 12:45 N. Rasekh 1:15 V. Choudhury 1:45 Informal discussion in Gathertown All times are EST. The talks will last 25 minutes. We will use the usual HoTTEST Zoom room: https://zoom.us/j/994874377 The Zoom and Gather Town links are available at https://www.uwo.ca/math/faculty/kapulkin/seminars/hottest_junior_2022.html where you will also find abstracts. 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/878rvar1f3.fsf%40uwo.ca.