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 29153 invoked from network); 9 Jan 2022 20:24:34 -0000 Received: from mail-ed1-x540.google.com (2a00:1450:4864:20::540) by inbox.vuxu.org with ESMTPUTF8; 9 Jan 2022 20:24:34 -0000 Received: by mail-ed1-x540.google.com with SMTP id y10-20020a056402358a00b003f88b132849sf8623308edc.0 for ; Sun, 09 Jan 2022 12:24:34 -0800 (PST) ARC-Seal: i=3; a=rsa-sha256; t=1641759873; cv=pass; d=google.com; s=arc-20160816; b=y5D/DES4+Jn2P1LZRbJrzM9Y4L6Gs3bVxpZ/QDACZe9a0PAjE5i6USD1c0QzzJ6kRc MnKAnwzyYFlYOPwKzdoRx1V3Eh0FkX+7VmxJlhEsTnWtP1AuDiXqLtfgZf595xQxelqA kwrvYtwdC/o6Ga4Fq6cndrLHbu0zOE+DvxZRnkK201ZoA2DcgpAQM6kQo7FELGqxT5Ly wX2WPGUNiVfIfVSOCpI+G2fccXC2YRl8IcBMJv/4mFdUK13UeDmC7RF2QXxKTeGlaKlE Z0F+L3EaNNo9ERDstg3xsXIhEKelV77x2NYiEIPVeUIj5RrTCFjorESDOKQo8LDdYYBB Nzcw== 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=L3fSd51Ki8bt+tXTcl+WV+ApeT2JYALLvJko3cYFOHA=; b=k7WIjSVZtdd4GiLA8MfgXd07uB8SzXotmqp1axHFUP3HsJRtLLaQVpCq3pJxSFIb3U l10bT4Kcq087P21Nz/EPlXewQNt7GL9FUEHYsXI2gne+8cfKZZV/T+crhYZgX9SIw/4L 9EFCH6t66oU55IfGFU9ZIKEUN12Xfd3mfCUIlPtOjiynrBGIV2eI7IVUeVFAOd8Ew4tu XWPdk9OlcvlAsuGqugI8lvAEbDrzK5jRN3FH4qkLV7ysKuwJbIJdp6l69iDUnuP4XSdH ziCjXHDLiD5poXI3t7RK33+JSXXGBA/yR3A7EJ+yyrkS1oRGndoiuoXNQvWuin0C8JSU uTsw== ARC-Authentication-Results: i=3; gmr-mx.google.com; dkim=pass header.i=@uwoca.onmicrosoft.com header.s=selector2-uwoca-onmicrosoft-com header.b=FTCIzhX4; 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:fe5d::72e 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=L3fSd51Ki8bt+tXTcl+WV+ApeT2JYALLvJko3cYFOHA=; b=cxy9F7Uk5Zh2EdZfBFCrTPR7fNeZBks5OCbtuQ3t6QgVoYkqkfcKibhzqO1ydlYdbk aSGRUjhyxcyv+tfL30OTK61kEzNS2KaMC7CX/NBGJP7O7/dffgK8VEcA1AyjSJnNKmJr qZGbTNa7LZy4Xl8VI30t+oswu2LSY0zh72ld+jXbSJTH6H9lj6PWBRrR8Asj+x+0peJl nZEAn0Vv3HbwGBlDXTy/rNQrV+UMTE4VTsHMZemKi5WodYInb6K6DtUa7q7HdI3JFQJc TS+ItfPDJzrG7bswIwUpp9lcn1rMZgaBJzt2RVQIcAYVXK6+k+leg91NyKaxGxUZgW3J nIyA== 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=L3fSd51Ki8bt+tXTcl+WV+ApeT2JYALLvJko3cYFOHA=; b=5XgwAr+Jvl0fIcYtcwsJkYXLT3pJuMl4kO0yrUpYuqQZZTp/NpFFTCkVzeU+WlUoh9 u91qfOu4XE+zEUKiJXQ6z1FJDm6ZDkUCP/Cd+z6Zy4fP6r9Ln2P9a0NxtVr25rSpNelm 7Lv4fxV+wAhVm8W/YgxE+0mxi+rG51yT0Q55lk+4T4EEh+a5Eb3fHhgzZf+Yf+GQpRh3 QUcktHbq6+NbXlijBzsMf3XnbxU5LiYd9+05kY/RBgE5+F+JUjjlsGfSeGoB3QQFixs4 U3gaeH/+6qzBJI3u+PyNXgimyYOjQBIRtxXPclB/GTtTiFE4fw42KTwZAwn9/H6l9MW+ oFeA== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AOAM530vGNIPgfaKWt1qLpVMJQItwXryklE9LZBa4azsEa94NVxvm+na mAMcuy6xPP6TyOMny8dfqcw= X-Google-Smtp-Source: ABdhPJzTqc7p83UpOSOpzL+hCniM4xDJndnXCHa6kUrkkCQXM7oesDsS5XceSAX6/yjWJD99T4t3Eg== X-Received: by 2002:a05:6402:27ca:: with SMTP id c10mr25228869ede.67.1641759873086; Sun, 09 Jan 2022 12:24:33 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a17:907:1c10:: with SMTP id nc16ls543467ejc.1.gmail; Sun, 09 Jan 2022 12:24:32 -0800 (PST) X-Received: by 2002:a17:906:1ccc:: with SMTP id i12mr3619868ejh.154.1641759872027; Sun, 09 Jan 2022 12:24:32 -0800 (PST) ARC-Seal: i=2; a=rsa-sha256; t=1641759872; cv=pass; d=google.com; s=arc-20160816; b=Alcg9+fCQ7E8Hxee/Jc/VyqDDCyLY32YzWsjqFJ0FLHvHGdCGesuEr7kEGHD9RLO6o iXYgc2CBRHCws32SIupsGR4E589pECbNtcfgH5gBkNL++Z5l6TSWmEGvgr1sC+pn9Mf3 lMNuzlEZPBd88+yXLjhsEN1JTKUjIle1h3DGHLxd6SMobtwpLv5npdRTlQI2cOimDjuO AXRUP1vVunLoGHbwSm3CqDRBvZ8bqnKMr8vp3Wl51YGtd8s7Nts/I+DqNQoTDriJw5SJ tOSk7ZJkPqSZWjswiWI6wG8CrlaTw9mbRKSmeMolD6Mmki70B34Ox8Gsp+hx0WWtOU3B kMpg== 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=QMdj+EkRAXzoZ04sPY6qLuXg+yFLkIH45+fob8T226s=; b=fPt88xHJjEXSb1ng5SPDtUUYExMD7et+4abA2Y6JyWNdNRX5EGh6PuaoLkH9o2wbqg FnOg6XRnfJkJiPtNcHgfU9n6kvHopnJD31HaKTM55HUqmwZN8jD9yvLOIYFU+qDtuIAH USHq8VYzKtCKM0MWL3i0BtHTO1wtYsKfLLbVJtaAhPK+5LaytNThVoQoiR7FElJUQ8SQ HlY3b+d5ogNjPDYStlNAgVvuACgpV19+FoXUnm0i85OzhlbnsZ2IY68BuMGNpVKoyk55 0FEQs6mXG+koK5//0upj7NjfEGnBRLXHGo8S2CbhyUUTr+oCIb0R/EHKJ8P/j6yMw7eu E/dw== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@uwoca.onmicrosoft.com header.s=selector2-uwoca-onmicrosoft-com header.b=FTCIzhX4; 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:fe5d::72e as permitted sender) smtp.mailfrom=jdc@uwo.ca Received: from CAN01-TO1-obe.outbound.protection.outlook.com (mail-to1can01on072e.outbound.protection.outlook.com. [2a01:111:f400:fe5d::72e]) by gmr-mx.google.com with ESMTPS id n1si220249ejx.0.2022.01.09.12.24.31 (version=TLS1_2 cipher=ECDHE-ECDSA-AES128-GCM-SHA256 bits=128/128); Sun, 09 Jan 2022 12:24:32 -0800 (PST) Received-SPF: pass (google.com: domain of jdc@uwo.ca designates 2a01:111:f400:fe5d::72e as permitted sender) client-ip=2a01:111:f400:fe5d::72e; ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=KKZnsMfqhTFlJ7jGycVpMYNgu2yUuMbs/An5d5C54cVVAknrfBmZfV5VTr1bLNrP6rInR8xhtYsqmNmBy99DTCgJO7WNEglMpsdiVYd2Eino6XAmTbAuscy3npITb2EM8S45XYst7x7XomL0cAXva+buCu/6UVspRBBw0OepSOuDyT2F0YOk5+Pvb3euyHD1dtGMW0rAsGa9AX9MdajyCTcCgFo5H35WLRxrMQAAIbu7OzvykzNofnl/U83c5eGiROeliZCnWg14J9H4hQ94vVnVG6+AwXlsTzpUFV2DVnwfK3Sr0QWpQb0y+QxEmorZ6G3l5QOEYgKJlEAWvKT1Ag== 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=QMdj+EkRAXzoZ04sPY6qLuXg+yFLkIH45+fob8T226s=; b=gUKGqL3ltSZ6K12P1fkM/w9agX3OxH6vroAauEZRkK7YJnLBAHeznEX/aL64XJWaU0sMYnUQTJZK2HIJcKVaV5msRXdB6mXcSCPrRYHxiBnag5ZrODsqJi37Y9b5w6Ba12sQxFfqk8CR6NPoNVta5kTzrhvQpffDDOULCUkhujvZei66msQOQ7oOK13Z+4khydNVs++L5evPRA3PTEAdLdlDIu3f60LTN8wNkc84HgYqH8UnVmZV3fuKPqvKdI/SqLHRshFOe4JyYIa5rfe+n242K7PH6jUtCKD5rbgNuA1VG3uCfgcjLx2WAXpbqFoP9I++dgXIu1Sj7mn/VRNqGQ== 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 YQBPR0101MB2017.CANPRD01.PROD.OUTLOOK.COM (2603:10b6:c00:8::15) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.4867.7; Sun, 9 Jan 2022 20:24:29 +0000 Received: from QB1PR01MB2753.CANPRD01.PROD.OUTLOOK.COM ([fe80::bc49:4fea:54bb:3d91]) by QB1PR01MB2753.CANPRD01.PROD.OUTLOOK.COM ([fe80::bc49:4fea:54bb:3d91%5]) with mapi id 15.20.4867.011; Sun, 9 Jan 2022 20:24:29 +0000 From: Dan Christensen To: Homotopy Type Theory , HoTT Electronic Seminar Talks Subject: [HoTT] HoTTEST Event for Junior Researchers, January 13 and 20, 2022 Thread-Topic: HoTTEST Event for Junior Researchers, January 13 and 20, 2022 Thread-Index: AQHYBZbnemhet/0q9E+ObKrbxZQfUw== Date: Sun, 9 Jan 2022 20:24:29 +0000 Message-ID: <87bl0kpshu.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: 9f97db45-4c04-4ef4-3f7e-08d9d3ae0a40 x-ms-traffictypediagnostic: YQBPR0101MB2017: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: t+w1XSffVLFfzz5vMjWh/CEQqRI1CAknRM08xBbv8NtX5p2urAzdDxwpfCV24pHoAhKivCUn8P+rmdyxuNZc7Ce0NsSirinZiObRk/cJh3gOx9qjz62aOglLb2bzWF8aS2+Sf9BGFcDZfU751v9593ESn3zHwY1wp8ejiK6l5dRUMgXCeDKj7K1+XqzIAEzk1NzMRgB/J8tP2Wuq3TuC+m/FVAaQdtCgRtrjp0Vn1BKai3iWKt+JgN2HgIxIr5OtUy1OSojEfIDR8nZVXN5FcnQ7oqEqCB0z7GnocvpxF7yVBoQGILBNRnsQRHB53hHVTnBIeiH5EmgBsp16nTu1dL/Qy/aBF/RDRjuIMmsM+/p9pQKIX5WlnUuiiw9qF5GK6ZDv6xlhErcs7T5agITGEQPss9TDNqm1/rc3l5PhyL/36OnptTu0RGqO3jpDkUPqaO7SmUQ4LTtQtfRYiQiIYnGAfR6GMTi9oupVKpUWY1Ohwh6QIbuUU28kOTaRmWPezsd2I7tYp5g8vy/VsDJR/Rad1VmOzSTYGtGdoEdH5ZzBgiYIr8wvkhC3hegA+5l7cTNdAvXTh97vc4tGT3IKwMSQRT1jeTGvQj3c1eoSB15KENnH/k9PxP19BmHx+pope7t00tXZH4CDb4LcMNppy1mafrXD6SA2TbK4/NgC+BkoT2xfgV++mrMS9UD+uwobYYBcONjpP6REacTOkoLHLXDxKZp+JUkN23LwVMTBAIrQvNkDULxCgaqZOQPly5/WF2a8JRrVB0JPsJs3HIctfmNFvy2445/zld1pCpzMdNifDGyvbpyMD3VOMHcoXTGP 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)(110136005)(86362001)(76116006)(66476007)(966005)(64756008)(450100002)(5660300002)(8676002)(26005)(91956017)(38100700002)(83380400001)(6506007)(186003)(786003)(8936002)(4744005)(316002)(2906002)(6486002)(36756003)(122000001)(6512007)(66446008)(66556008)(66946007)(508600001)(2616005)(71200400001)(38070700005);DIR:OUT;SFP:1102; x-ms-exchange-antispam-messagedata-chunkcount: 1 x-ms-exchange-antispam-messagedata-0: =?iso-8859-1?Q?oZe7HrtSYRePXAzJzZ2Jdo6QzmIQOtjnYmeVM8ayhSl5CRWhx6JWnJcizT?= =?iso-8859-1?Q?2O9QHhOYYFaIh66tsrAClblRTZv+mJg+E2zoo4C9Y5KWYU/fL7VE2sRveo?= =?iso-8859-1?Q?ncJY5kCg0BqWEOY3rVT52Kci7r+nVSkMgviYoGjhPEDdgSAFXujL51oJ+1?= =?iso-8859-1?Q?IkCY7rB5J5aMAc4K7d7vzJveWCsLrQIpa8epamceY+Ox74s4Awv5NqE3tK?= =?iso-8859-1?Q?1+T+EDYxsbdpsTe/Gl/KqH6z8wJs/A8641xMXSHpt1ft6WRvZrBEgPGwLg?= =?iso-8859-1?Q?WUYpr9bIZhqATvUzQXt7Mgs6Pe2gSAJWtzPwIYkkPTm2yKn+Rohgkhh592?= =?iso-8859-1?Q?HQQo5ODG55QL2rqOkObucCS6uqHIJ2XY8ngkXCksxVS+Anr0lpXID/yXQd?= =?iso-8859-1?Q?5d+FyjliGm3cDfXh6z3y8AfEdbkwZJTg7NW0pRxGPyJB8fLH6L3hWR2/uF?= =?iso-8859-1?Q?iGslY+BkTHUdGSEOAUKdHpksg5hRgZAvMk45iJE28TJuUsKc5PdA5gDKUo?= =?iso-8859-1?Q?Ff7+BObOdjpg2MRel1S6XykX8Q2DUpy4ojv0tR9JsOKUjqmEyMIpYbCqE+?= =?iso-8859-1?Q?48Zffw2DiT/U6Z35tScfYBGMkJ6H4sVJ8aX2hZ3U3+jFrpGeJoNNRmIwSb?= =?iso-8859-1?Q?4chAHQFgw+F5jmYQ0AGUD3LOpUbtas/6MfQUJ0O8KKjxJJiGbsMhKULkof?= =?iso-8859-1?Q?3ZgZSq7DGwma/jxriRnPXsvPYY9cOo6Y2yHlaNQbaonQve2/WjA+62NC2m?= =?iso-8859-1?Q?iTj/sEhjRZmXvhjiWhonFe3pvfsNcSbSUQujtelT1NAQJ9cqsz53u3Gydz?= =?iso-8859-1?Q?EtVJVZwLWD4VoyceXr3TiRdjGGFhvX78AM0F2tsJ4NS2IYlK814gJDZoMT?= =?iso-8859-1?Q?BiDyWXSW9DvRBUvR0sFfYMDujB4PGoTpIGFSgvIgmXIZxW9DCV4qu0LAxL?= =?iso-8859-1?Q?KtJlsbg2rX+7xswdEHpj9CCoN1uUYwHB1lqRcMX1rjnD0u5Epmce+heffD?= =?iso-8859-1?Q?BpGcmMLSntoegV+SZyWpBs5DELvV9ENq0GfCcVfMdMv2ldzXUQV4Ba9qO8?= =?iso-8859-1?Q?BRj76LxrbC9ezvn7yTa4tCGk6CzXYo0hORpFdkQmewOF1Ku2Asw4ily3mX?= =?iso-8859-1?Q?glB+iyexvISh7ahE4i3zmK89mli92unJPGyL3l+rn9PjfrLTUY8POUiX+k?= =?iso-8859-1?Q?mH0BJnKVoFVufG3crBahpqjFsBycvRQhXPW8Ei0HxCQ5bMz0NK26Zr9NuC?= =?iso-8859-1?Q?T+KJ32LjcC4PFmfnNWV/LG8kv+5FHx1S3AhTNZGuDed7ner+cTICnVoTWZ?= =?iso-8859-1?Q?hW0q/UrVJbF3kaO43an+uwbAUJyhtaLBzvtItt2xytmAmiIZZ3u2XPS27d?= =?iso-8859-1?Q?Axk2FDkTYDN74x2VR8bBRdsOqzVIPhh04LIwhKehkLf74BYRjKKHGslsAl?= =?iso-8859-1?Q?rLRSMZQn08JYqyNdhYDM0vAQNrVfC1pLWJawjZIcSgQhwnbLQCk3NZx2uj?= =?iso-8859-1?Q?a1MQERuSGHQ53uFmAU5B21e3JFEFBFwJITqnARsyGUquFEZ2h6npc+zqQm?= =?iso-8859-1?Q?a3WCCI1MaCbkBQr5EKl8udx7gB2c2NNby7BLq8FLbn/O/HUtaB0Lq/cI1A?= =?iso-8859-1?Q?w5VbYspWr6cCg=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: 9f97db45-4c04-4ef4-3f7e-08d9d3ae0a40 X-MS-Exchange-CrossTenant-originalarrivaltime: 09 Jan 2022 20:24:29.8295 (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: yelIbWxUYQQSyOiNy6QgHUPXjFvY925GyshnnNwQGBkPjeumD4IuIpC974Dk3k7E X-MS-Exchange-Transport-CrossTenantHeadersStamped: YQBPR0101MB2017 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=FTCIzhX4; 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:fe5d::72e 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: , 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 V. Choudhury 12:30 T. de Jong 1:00 Informal discussion in Gathertown January 20 11:00 A. Swan 11:30 J. Weinberger 12:00 M. Riley 12:30 N. Rasekh 1:00 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/87bl0kpshu.fsf%40uwo.ca.