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 25634 invoked from network); 19 Nov 2021 14:26:38 -0000 Received: from mail-lf1-x13f.google.com (2a00:1450:4864:20::13f) by inbox.vuxu.org with ESMTPUTF8; 19 Nov 2021 14:26:38 -0000 Received: by mail-lf1-x13f.google.com with SMTP id w2-20020a0565120b0200b004036bc9597esf6716063lfu.14 for ; Fri, 19 Nov 2021 06:26:38 -0800 (PST) ARC-Seal: i=3; a=rsa-sha256; t=1637331997; cv=pass; d=google.com; s=arc-20160816; b=UUNdG9sucIsbGK5zgCSJnSOLl/Y9x8xAf++piJ5QABR3sHZ7CFzJpsBic2bWWaU6Eg uEydVMa5gJBoXARi0V3YRddDy5w8iFjmv5RDjFRXvjN0YXu36b2e9Q+avMQGPl4cPhZW Fg42y5PBx9oD4FGdqubsU5RVrBBiAzqknEvPWDMHfiXb7iiSNhTgZURbOrFgrCM841U+ nfuZh5GrV3RGvrGVHldvGPKc07/6VDcW1ezK+m/bqW+DA0eOKHc7jqU5OFb4c4QignMn nXxvm41B3urFtl67mcVU2I38NcXvmQ6E3ncqiA0WnH4OL1FXALEciY2E2O2Y8NdJckfz kJyg== 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:message-id:date:thread-index:thread-topic:subject :to:from:sender:dkim-signature; bh=vJSA/JJP4n813LSfhDRFVMZ/5X078nJ4wx5Z/sJpl9Y=; b=alAn1Bic88WplZddSkCYRL9Br16ZIKgCeRJcfa55WeKObOQHF3lm83QLfqKTDi0Xkv 9kyO5c8OMLN+gctf8vxuYS8tG2d54CZ857hutzyczg866eypGoP0eP/w8Yg1UHvfzH9O x5XIRYeCt9WAr8bvkFV2dzrwyWT/3ofGgIAJ6IdDcWrNmB7LK/8540pWhPxoHJO8sISP ElaeljaMQAa/aiVjSwizUzBPCf6FfMmqsYVO1QbArK+fEooppnrCzfDJ2D8NexOjPQfd qxqEG264bIN1QE9V4YXu1veZdi9Vv932oB1g6kM7+b1vQrhRKI0tccTQG8Q5BTNs2p6a NWTg== ARC-Authentication-Results: i=3; gmr-mx.google.com; dkim=pass header.i=@uwoca.onmicrosoft.com header.s=selector2-uwoca-onmicrosoft-com header.b=dAbUR3Px; 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::707 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-unsubscribe; bh=vJSA/JJP4n813LSfhDRFVMZ/5X078nJ4wx5Z/sJpl9Y=; b=Imvr4+HYzneqswAIacUqBbN/GyyHZKlyp45KSLe+AkBdMkjuUI+p7zwCP2baRCbbwG 1YXrNuCpvPjx0Z+O2gGqty7/4HUaTpRLYhUUpk+0k1L1hTqafkgsqJAZVWQD1S/zupmW MPnejGfNCaVpQJmNXsxBHa6rWDT2Bkg2O+LUcTOHCCuci7jRNGAtCynftm/9O5asRaf5 h/buCtIDcOSY4Hsv2LNgvVKw3ya8qBbhJUK9+vj/R2FPtMgw26M8V3VJVbzyqWdmDD2a 9ssgyBNBdpDXFQ+N43sUiCV4m+DlN1JO6GeW8I/a0kAouxAunUuuP0OhLbZxRdIyYUMo 2UlA== 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-unsubscribe; bh=vJSA/JJP4n813LSfhDRFVMZ/5X078nJ4wx5Z/sJpl9Y=; b=yMXg03bSUwubG6GtGtREVNQllTb8cOEpZjF794rN4zmMbL36kJ0EQF9FJanlnkyt/z J5O7WeDH7H4YWwKzSA2kUdTGYFY04F7gZfs4T98hEAzuzfS+OilxM/pLoOp9A32VRdcS Wulh/ZbaPx4W8pAcARzjK6Z+sTtc61BBjj6Z5CuCFfGEYNb0XjLzbVCV1yTGHY/Wi9zG s9sXDk1D7ZLbjJP04UJJ8y6Y5cS59rEU0zsPS4wyvsYgFBdYmOyfq04aInz3kbPi+f6d mahQ8wh+kFFJnm1ND20EiEa2CcbsJ3ibRtCviFYBVgy1nI39tqnW7nlGfY9slvfbTIvQ z0zg== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AOAM5327gB5+jgCb3NKSVRvRPYtH+ghBqkfn+80x6NKNHr5EveNTsghW 1XU2S2y3CZj7zpwPkdU0Jng= X-Google-Smtp-Source: ABdhPJyfFbfgNd3coKE6nbAFgwhEqfwhOghocg9p8O7J9SmJOelVrJ0Q0+6oThfwYYgA0TUC2VK5nw== X-Received: by 2002:a05:6512:4017:: with SMTP id br23mr33252726lfb.270.1637331997056; Fri, 19 Nov 2021 06:26:37 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a05:6512:3e10:: with SMTP id i16ls538248lfv.3.gmail; Fri, 19 Nov 2021 06:26:36 -0800 (PST) X-Received: by 2002:ac2:4292:: with SMTP id m18mr33293611lfh.539.1637331996065; Fri, 19 Nov 2021 06:26:36 -0800 (PST) ARC-Seal: i=2; a=rsa-sha256; t=1637331996; cv=pass; d=google.com; s=arc-20160816; b=UcbBytej9xmVujUaVFNoTptiXFsT7QNEo4WZqigheDi/TnDRCq61o4glEeonKprQx6 nwi77l3eSgwFFtdr3RU3V3M/xmoSGOYUXc+fEHEZvACwOKRxICGp5PJyCSqs8OB7uJWf xU1wcgMGum3/Cw9/xyTg0+KksrTviQKeSFb9WWL77f5iZinCHm3bVKaw9Evt4GPyXL3p bzJZDeG6Nv8uXm1yRyhmE5G7UlksGpwv+CDT0z0n+LX2wMEFdcU3xLWXdoKyzcD9dLpt pWS3aX49/VaJsM/yOq0YVVT9NczA87F2GiiQhNKOTXF+gkRBRTwFemzSiryPspXMNKmK 0TtQ== 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=o2liVaVeTgUgSw8ZWa6FTIWZwcCrMf+CbwbRx15IlC4=; b=GS4OQTusUsH5E8wkKmaAJofUFA3OgrcSWKPDTL6HwDQbJgV26v4EL7HclzZ2F+oRoZ lE1BtDqI/pJjcMplPRZhkqeN2pFNNrIAX6v++swkdNC3st/FbngBYQeRjrcaQyXTrbtz 2ziAAvSB+HHF15nDZRume4HBsYhGCSK8vEGu/ltBY++Hm8ejm0lNo2qvy+2gE3QvZiKF Qr9h9tGWp/BGvLW1rCQzS/r97tFYWfne4s9haJJcDQPuwgWiVbRR7ZoZOiF1X6jvZMpC Fo5Ui7TPYtzPOAJ0ZN5e3bL4PWirpH1OpRfJZ0Nx1fruE6ZtqSBidhLrujKxx2DId/Zz 31/w== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@uwoca.onmicrosoft.com header.s=selector2-uwoca-onmicrosoft-com header.b=dAbUR3Px; 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::707 as permitted sender) smtp.mailfrom=jdc@uwo.ca Received: from CAN01-TO1-obe.outbound.protection.outlook.com (mail-to1can01on0707.outbound.protection.outlook.com. [2a01:111:f400:fe5d::707]) by gmr-mx.google.com with ESMTPS id d18si2034lfg.3.2021.11.19.06.26.35 (version=TLS1_2 cipher=ECDHE-ECDSA-AES128-GCM-SHA256 bits=128/128); Fri, 19 Nov 2021 06:26:36 -0800 (PST) Received-SPF: pass (google.com: domain of jdc@uwo.ca designates 2a01:111:f400:fe5d::707 as permitted sender) client-ip=2a01:111:f400:fe5d::707; ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=lj2cMxoufbmUt8DITR08WZ40TEJjowHf81kDl3Ji4hpJVf9XGI5jRxrOY1gABkWuCizRlMgxuOHlTzF59l0MszWvY49oHQUb3ki+r+4gMbeuAJVO5UsOtsKs33VcJhpGTS3HXjdMTzLSWHcdw/rmKVCkb8ONFFSvIlyP4ZTktQ0Ha3DBgFHGO0ac8lTmmKN7qv3myY/NtF1vmtw3YvpJXlC/U0Jps1Z3h+alT+8sbKx2j8KwiMXkCkrZLsxGaxLB6/FP+yK4a0xtqjQJban2RP3mrK9rzKNmiQkMeQURp6K8px4yM9ladfMYB2A3axAUwhrESp8iwyp6E4zEfBKhfA== 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=o2liVaVeTgUgSw8ZWa6FTIWZwcCrMf+CbwbRx15IlC4=; b=gCiViNPEgBdpuAR3JIh+ODbcowCuNWCZt50ZmLiK4CHogsuZ07p3T2dZ6IHl0QOn8dmowX047aolstyx0ioauTk54I6t9AI7B1GgvhtIEAhBAd8bzJuK7GpJf4fjoQwQ6Qo0hdt4kkf1AS61upabIgiJaUOo+MMiYTtdJcxSdoYmZGDHkPusA44exHVKsNpNHi7sYYjXW4LmUoVEQ6NQwUT+4lP7fpc+QVURZvnpIF/2tCVmGOtwkKLmk6aEKBr697rFqAHDYcBjEHBSNFAddspQRfUqRF/Pbwliw1mEyb1nqHRTPQtPI19Q+JL1IMGToxZluPdlvCT/oo8IsKuZKg== 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 YQXPR0101MB1079.CANPRD01.PROD.OUTLOOK.COM (2603:10b6:c00:25::17) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.4713.22; Fri, 19 Nov 2021 14:26:33 +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.4713.022; Fri, 19 Nov 2021 14:26:33 +0000 From: Dan Christensen To: Homotopy Type Theory , HoTT Electronic Seminar Talks Subject: [HoTT] HoTTEST Event for Young Researchers, January 2022 Thread-Topic: HoTTEST Event for Young Researchers, January 2022 Thread-Index: AQHX3VFzTt255wvGq06YcZiJxSX4HA== Date: Fri, 19 Nov 2021 14:26:33 +0000 Message-ID: <875yso8bmu.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/26.3 (gnu/linux) x-ms-publictraffictype: Email x-ms-office365-filtering-correlation-id: ad4d973c-db69-46a8-27f8-08d9ab68964d x-ms-traffictypediagnostic: YQXPR0101MB1079: x-microsoft-antispam-prvs: x-ms-oob-tlc-oobclassifiers: OLM:8882; x-ms-exchange-senderadcheck: 1 x-ms-exchange-antispam-relay: 0 x-microsoft-antispam: BCL:0; x-microsoft-antispam-message-info: Pmux3ELryWAXaapHfxvY1mba260KmmYznGVjqn3kBo/dF2JdG+zJoUh68r/JeUrq/HPzzHEQaLZc8CdWo8cv10QWE3OUVUd/zPk70NenlTAaQyh1qPQeREY+CzTGyA2F6iEBubJ0KvG3GRIZVOlRbAI1pfbh4rgM4tmuF28UByM4emrvrI1GUGYZEH+b4IgcEPCsGu3nAt73VtCzWlJGMAeV4uEBnpX3mX7xnirLMc78NlPLkZCjx9T9VS8wVqEJ15PBPyJruRwcZ8ZIeJ7y5WR2X5+vpLaC/o1HkwC7hy1jNOQK7vw+sOZER/UJ2ONKrd6aTvEijELCoyrNeVLbyOBscuFFG2GrPhyFnzZpqM0nUxVpTI7zHN1UO8r7lKYyb1QkvEurKbyH0O3DY8QwPVKhN+b7mTKfoMR/wKRZCD+H8mzP948lJ8nWPsiJSZRUlMeDDqP/DisyetzGRErQP2W+/wEKrJ2HoOLf1VjiX8pDuqY7+Y4JH/s1mX57DLE0SfPRx/2jMc1wOQfkI+MgsoOBSyI+/23/g7BEnEKn5uAS62ZOscUwCXCrClqC4mxvxg6ynNaryCWlZPpspmKzR+Yx9a0ozPO3PmglXE9czql9XPWR8EBOch0r+clE3S3jdT/ZOZs8BICGx6gllkzGFL/uvm8Q2gGcyFsumuA9qb48RJpoeW/huYLBSJjRZPvemh67MNLduWeV49SBUBuNc5jw8Lqi3fMa39mzRvwxEm6OCIhsUizvprMI8EdAdjfvZv7T0/Ri45NKZxNkIX237fadOddDDUciDT10ZmXmirqRQm3wN8uGsmfjH6HInlMoW6aPwQjU1hevaqZXpj7SPA== 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)(122000001)(2906002)(508600001)(4744005)(5660300002)(86362001)(38070700005)(26005)(966005)(36756003)(66556008)(450100002)(66476007)(66446008)(6506007)(186003)(64756008)(38100700002)(8936002)(6512007)(76116006)(786003)(316002)(6486002)(91956017)(8676002)(110136005)(2616005)(71200400001)(83380400001)(66946007);DIR:OUT;SFP:1102; x-ms-exchange-antispam-messagedata-chunkcount: 1 x-ms-exchange-antispam-messagedata-0: =?iso-8859-1?Q?bdxu/iJCnQR4dHbINYc2knXYeC6eUEaH75oIWiPqBblOQ0JNvpN+Lh9APN?= =?iso-8859-1?Q?9r4sScWoFGJ2d9wN0ncPwqDpdommwRl5btZQvXLa4+EWh7OWASxPCKL99b?= =?iso-8859-1?Q?6waclQ/IwZ4IH+iM5CbRrMkFCGWW+gUrUAiLzW7Vp+AUQfL8rGXJ5DJxND?= =?iso-8859-1?Q?y4C1/2wUPD4e4MQDr4rHKSTivQy1XqZTGoBrzzlZ0FeRwnX8qD8LiQQ0Zc?= =?iso-8859-1?Q?Nf4XP94Q+VWKr8aopovXzrIhSJSMu6NPRPQ6JnS4SNEE3Mlx/idZSG0hl2?= =?iso-8859-1?Q?TYe9DIl2moeEPr2Zbok15nGbYkss9BDS2AWVsg4s9O7UMMGdXG0peNMxV9?= =?iso-8859-1?Q?fZaQaaCEPwbmF3xpaf1Ar0afcnycFF8IC3xPzF8sX22601vEMdHljnaVPH?= =?iso-8859-1?Q?0N26vwFLg2RvtYHEKhajKxC96l8v7beQz2jfSTCoX+6gBqbzFOPzzsgqP9?= =?iso-8859-1?Q?7gSOFPMfcmSqyL80O0BmFsUUqjSwGPJf384snp/VxKj7yc05XMmsYQFv5j?= =?iso-8859-1?Q?mIAxGfkeKC2nU3Ii0HP0pJH91SxlkHb7mz/2Y3M4uP2ZVX3TW8ZEeHy0/l?= =?iso-8859-1?Q?1b748qi/ZvAQu++LaC2VDpsyuVQz6m7ED/KMPrWOs3ov4TjDYCqZSufc0I?= =?iso-8859-1?Q?9rZNVxPSm7/GiaQRjQgkW05mrWxkgddOqdEjxhz/kSLbLUvmLVD6q1wCu0?= =?iso-8859-1?Q?pnOHunrEK4rcA0aFIN4ORYAyf4AaURD7RMmg3CyhakJRVFTRB8CiH91/Mr?= =?iso-8859-1?Q?sV8qQZw0+GkRFyc3eymC6zce7tRsT4uztirmf1ADjD3Dv6bZxoRWN0o8Ck?= =?iso-8859-1?Q?iL8WSKGDE5ENZJCYaDJCS6/3mb/vwSxZHmv/ezamQC1ffVniWXcdR2xBb4?= =?iso-8859-1?Q?37MH2jpo7I91ad1Y9tG8xW16KmtEB2M/qclBDoTPcPzIsWC/6krXBtdtw2?= =?iso-8859-1?Q?ANCiPUI9BQC0zZrSDMKCsl8lLqSuakzk8RuBIYd/nC+MxTtC3qOi3PoOat?= =?iso-8859-1?Q?+ByqR7q/7GryjLhB04TzmnxhSQek/YPZF48BIWlCrOCEp1aBBImpjF9BM9?= =?iso-8859-1?Q?yaoTimcAlBaQi7MB6W0LoYWIjL7Nupe+PuXXAWUu/maUrHo1K3wfuqY1Jd?= =?iso-8859-1?Q?bnsynKiOiRu+3kLBq+Mfn40/na4c0g2Wo/cU4ocDnnq6tUcXKaRlJ7yeuU?= =?iso-8859-1?Q?aL2AuGa9AwK+fokPt1BH2gE0Amd/2vx6ao9L+/cZPJKkJ+RmFzcxk4s7Ts?= =?iso-8859-1?Q?zTiS5HeRBVZTYj9xbetcH7Dutb1NgtvVlWncUSKnjXxB32VH6g6gCwdny1?= =?iso-8859-1?Q?c/ulWjNXT38+/cswf5pIfSjJOBG+Ovm0ZM1jbw2b0D5aLR8sqLm3FnRQO9?= =?iso-8859-1?Q?hgNiWXba23Rxy/iUQKSwkjTrvQcBGJnq+dbbfHBncdOoRiEZmqMEHh07D8?= =?iso-8859-1?Q?1Lf0OIfhLvjq4OtmZZU1QIQpUhMZuRpgnoVXTsE7+ssJunRd4alD9qu/7E?= =?iso-8859-1?Q?SoUYvTKMPvGtxcJn4SgdA95jWgxOoDRoEwRDrKUZ76ra10Kq5xUSFr73Ue?= =?iso-8859-1?Q?X6pEHh1fM5kaRqvAdn3rNQmDM/9XNfhFD9g5f6GHxYtR01W90udrXJwrQZ?= =?iso-8859-1?Q?tVyj5V3QIie5Q=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: ad4d973c-db69-46a8-27f8-08d9ab68964d X-MS-Exchange-CrossTenant-originalarrivaltime: 19 Nov 2021 14:26:33.5243 (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: GS0A2JdJ6UUdBzCYfsO0Jyi3PGIbGYtHrayXvHu3wvS5J7Zggzf0G3XjIODkDuRy X-MS-Exchange-Transport-CrossTenantHeadersStamped: YQXPR0101MB1079 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=dAbUR3Px; 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::707 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: , 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/875yso8bmu.fsf%40uwo.ca.