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,T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 24589 invoked from network); 11 Jan 2024 18:52:23 -0000 Received: from mail-qv1-xf3b.google.com (2607:f8b0:4864:20::f3b) by inbox.vuxu.org with ESMTPUTF8; 11 Jan 2024 18:52:23 -0000 Received: by mail-qv1-xf3b.google.com with SMTP id 6a1803df08f44-680c8d21542sf115675186d6.0 for ; Thu, 11 Jan 2024 10:52:23 -0800 (PST) ARC-Seal: i=3; a=rsa-sha256; t=1704999141; cv=pass; d=google.com; s=arc-20160816; b=Um9bap2+hx5jc0O2lMTc0MQsaMIfiPQpfXhGVg6tJN3uC1yIZsK5dbZKPzxragyaEA ttRGJY9IuaBsM+iKWmO33l/6rh1xpmlrUNiOUlPDEBeIzD+nK/sPb+QRVR1ROxTwy70Q LIK/hEd8eBAF9fkYVJBbnXOMj2u09t/9oK9cEtX0d4uo6KJLGnDz38b2gXBz7kYaBFmQ 1W4WDzYHi/gbcAwekhY7xl8qjq/LAboBUQ5UbMwfzJndg3dazJFthPaR5Q4SnyqjijwB gIqE002BB4/jU6YJd83TaUi1TqzoKV6O4+eYwl7cDI5SGNcWqFyJCsfc12svvBkMNSij vZ3g== 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=ccsNPGH5PVsmUW+46u8FOPxIriBds3bN4N31c/1EePc=; fh=uP5bnnAKtD6/mbcBVX56Xsh6TPVNKVhZ3G6TEfCAp8g=; b=wBtpr92+gGkf72WJ2nhJqfwFoocnmElseshcYiI45vBaPT1Sj7jiTRozgzaSiVP+/z Lepm5t7VoZbqF6QoDDijI5jYAWSEoyXSqCYQVvVyaduG9TPGNYRtPM/v1Bacgddhkf1y W35V2fn9R3FM+gq3QZX3PF40qU4dnpYciaFyBSdHhe+254vFLbiz2Svt3apSvQ8UQS3o MJf78+Bm8b1JibzcsK/LuoBErctcYTFO6Rwq9Y4FtquwF9241ZvCJ5cqiwiv1swKiJMv ddlFglEws2x2AL5hmsQSXiZOPdw1pJFxpMMsl3QxL0S/mmsG9Hf9cWqg72VpHQc5oezk FZrw== ARC-Authentication-Results: i=3; gmr-mx.google.com; dkim=pass header.i=@uwoca.onmicrosoft.com header.s=selector2-uwoca-onmicrosoft-com header.b=GyiR6wUj; 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:f403:241d::701 as permitted sender) smtp.mailfrom=jdc@uwo.ca DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20230601; t=1704999141; x=1705603941; darn=inbox.vuxu.org; h=list-unsubscribe:list-archive:list-help:list-post:list-id :mailing-list:precedence:x-original-authentication-results :x-original-sender:mime-version:user-agent:content-language :accept-language:message-id:date:thread-index:thread-topic:subject :to:from:sender:from:to:cc:subject:date:message-id:reply-to; bh=ccsNPGH5PVsmUW+46u8FOPxIriBds3bN4N31c/1EePc=; b=eieal3i0mCsU7QUvEtF4URDqA7J9cL1srofg80dw/5Oa3jks18eNBET2SWv0utaQlC +yD1UOWbDQgLDz/XOKiT//Zybz9N/8YgqLUhJuSqTgVhq2XS9s+s+DBbcArwQOwYa5Dy IhkSLdpUij+bzj4uWDnXsUGOQ3GC02xd/s2d+bq5fvyAW5fFq+LLnKWQnz789+3+q9K0 wYobrSfKYAk5jL4Pe+8P23KeE5FwVkn839+tiQoSSiqHNER0vdcvYgjxLxfJWIp+X5wl mL5bbWBiJ43+hMXtl/x7Ui5z9A3foxxuDOmTkNPdlf+STxQCOgoV1ovIjSV1W6wegUru U6PA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1704999141; x=1705603941; h=list-unsubscribe:list-archive:list-help:list-post :x-spam-checked-in-group:list-id:mailing-list:precedence :x-original-authentication-results:x-original-sender:mime-version :user-agent:content-language:accept-language:message-id:date :thread-index:thread-topic:subject:to:from:x-beenthere :x-gm-message-state:sender:from:to:cc:subject:date:message-id :reply-to; bh=ccsNPGH5PVsmUW+46u8FOPxIriBds3bN4N31c/1EePc=; b=oNLarahyfY9IiSbOSX9ax97vr9BEM9Yehns4oESgxDgYooocxRhie6vH9DV8I84uTt YRLkawb/rqoHFmlgnU6ZumOqwQ+sqpYrub1Cz/J5+4gO3diOatp/wC7nRn1D0qmdrgts Wltyd7Qfh1HclYt07SpuX/tfYRY/ddWR+q1gqkMZBaFexWyxcLVcXSynFBG0mdrQ7p+O RtQZb+2EeqBfRVDYabII53xfCByl1bmIH4sWLMxG9oGuQL4sOHrPFWtvpvj84W443bBV ChUOsg9L2Z8N/IwvkjPDwv2vUvKhKy2FLXYWpNTgFd1VYf/PMnI/1XoY4MpLbntw5077 IBEw== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AOJu0Yy1iC4LGO6djxyd6lgi/hNlx8PQs9F7IhXQGwJi6sqF/5IvP2FM DtMmftrKSVGMyBJmpWf+BJ0= X-Google-Smtp-Source: AGHT+IE4wb3dq+jW68ZLryAKw4lCP7LR+AgyL+q0ESSi/AwXSmnX1ZqTBGySx1qlbtkAIoBG0EALKg== X-Received: by 2002:a05:6214:1c41:b0:67a:a72d:fba6 with SMTP id if1-20020a0562141c4100b0067aa72dfba6mr1995437qvb.36.1704999141230; Thu, 11 Jan 2024 10:52:21 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a0c:b559:0:b0:67a:9173:54f9 with SMTP id w25-20020a0cb559000000b0067a917354f9ls637702qvd.1.-pod-prod-00-us; Thu, 11 Jan 2024 10:52:19 -0800 (PST) X-Received: by 2002:a05:6214:d82:b0:680:ce23:cb45 with SMTP id e2-20020a0562140d8200b00680ce23cb45mr460603qve.15.1704999139554; Thu, 11 Jan 2024 10:52:19 -0800 (PST) ARC-Seal: i=2; a=rsa-sha256; t=1704999139; cv=pass; d=google.com; s=arc-20160816; b=bY1ZEWgcpEX6614dyzCYdP1U+U9BExNAg40LH1NQktYrz5gECm/PF9s5CQT9wNmXdM hYVRbub+tki72+QQ+b462gCDO3CBMLQnmOkP+DEtYLfCSa8PZPBYfpJU9mp1mPzrUjXt sV1+MOH2w5Ly4x6cZmPofivLkmvkFkhf7sNwiMbI0FE2wzQYkOsiE82blRjaompuU5Gn MgaHLBCTF4irrvl5/Xi478DxrotnPJ+51rwhwOq2qZcxKuEbg5ytSjmr3+S0Tvxrq6kQ UA6gmgyCUbhwPQqqbfTyncIO8fUC0e2CJL/f41UnE6RMyCuLZST/Y4dr0X5w2e6Ksj5N sUNA== 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=/k9em4l0ytZQZNFfvVCBecfJg+m4AjaDf2Xt81HL3zA=; fh=uP5bnnAKtD6/mbcBVX56Xsh6TPVNKVhZ3G6TEfCAp8g=; b=aJ9KMVfwEbmqkVHDllYqR3vlLfcs5UhgfxoE7agb6JGQ8uReAp8mFUkLesq73CHk6Z j/1DB3g8LWGN+FZpMMLAZxWX4LevAbhmL1x8H7xinRbPXg2O3LKn4ZbEjJo/SEvVVa9z M8F6dzGt8wEr0+79WjbzXvUWatdofn4+aPOMHp7Qy8MXEnvpvAyaLEbZGiLAwbkb9mJk YUJqiRc2n+2H/ssomeMbDo+t6DVzhhl5JkXdi7TD4qaLbbjtmJM0IvQjr9Xt6poqHfwA R6Vuqjjpe4HeZ0Hho5cJXQ6lcfXaqf/f7FAt4TSpjlDPUzc8QjZ6LGzJ4BFC4Hw8ay5b gXzA== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@uwoca.onmicrosoft.com header.s=selector2-uwoca-onmicrosoft-com header.b=GyiR6wUj; 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:f403:241d::701 as permitted sender) smtp.mailfrom=jdc@uwo.ca Received: from CAN01-YQB-obe.outbound.protection.outlook.com (mail-yqbcan01on20701.outbound.protection.outlook.com. [2a01:111:f403:241d::701]) by gmr-mx.google.com with ESMTPS id cn12-20020ad44a6c000000b0067f6fe749bdsi145095qvb.2.2024.01.11.10.52.19 for (version=TLS1_2 cipher=ECDHE-ECDSA-AES128-GCM-SHA256 bits=128/128); Thu, 11 Jan 2024 10:52:19 -0800 (PST) Received-SPF: pass (google.com: domain of jdc@uwo.ca designates 2a01:111:f403:241d::701 as permitted sender) client-ip=2a01:111:f403:241d::701; ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=CGDe/wduveKDXO/jhNbYqax1Kxcf9nTHFijI7rP/y3czrWJHk2mrqnFJK7hAaDsIDubQ4PKEEkc2OX1H1OLFczjQ11d76+JjE3xIOUfYmGa+2XalWzXmk9p2sTZ27bwXf3bbRVAJKfkeD2NYuMrGm9O/4dj2tLXB8P19vKHnBqKUXwpjJNlAVaKIUbo/KWERKivHf5U8Z7X8WbcL4dZJiFj0OpIbh3xNotPxXKy/54ABdNPEE4VdtEugzH+ZOTxtbFG/EjzsU7l7LjtrGNICCTafusvDUAsuTxYIJiandgBGWQ8zKFFmMjUVvPPJkUWb4VRha/gg1oQyuHxXLp0inw== 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=/k9em4l0ytZQZNFfvVCBecfJg+m4AjaDf2Xt81HL3zA=; b=JvHCqSkuokl2oK1G6ndBN/l2QvlQxH6SX0gJVWDTA3JO4SklX000kekrVnzAiACHaKdpWTcOTY6hX5FH8VB7n33MaODr6nCuqWLDd7u3+MBaz/NPqsv8RLo0JGVsxrPm8jCEXBu64ZKoxKmcu2do6R47ia96nVuBKCYB9cd5OFDX5BEhVNcRq4DWl3GP79p2tBh1A6+7UiRtkTJj/PuBNgUDDdzblsHrh697qczRdsaq4HH+bJxxgDo5JPvzC+Ul5RD3LOsoEp/n3vsU89Htpy1OfvDH4nc77DHcdb0kVO9mm0dE+VIiiy4hb5Rm4nMcthzvTlIt50sf7gOQJ0Z8zg== 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 YT2P288MB0089.CANP288.PROD.OUTLOOK.COM (2603:10b6:b01:f6::13) by YT2P288MB0090.CANP288.PROD.OUTLOOK.COM (2603:10b6:b01:f1::9) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7181.21; Thu, 11 Jan 2024 18:52:15 +0000 Received: from YT2P288MB0089.CANP288.PROD.OUTLOOK.COM ([fe80::4192:c72c:296d:7a93]) by YT2P288MB0089.CANP288.PROD.OUTLOOK.COM ([fe80::4192:c72c:296d:7a93%4]) with mapi id 15.20.7181.020; Thu, 11 Jan 2024 18:52:15 +0000 From: Dan Christensen To: Homotopy Type Theory Subject: [HoTT] fully funded graduate positions in Math at UWO Thread-Topic: fully funded graduate positions in Math at UWO Thread-Index: AQHaRL9L3WV/yJb/G0m/Q8j1eIRpDA== Date: Thu, 11 Jan 2024 18:52:15 +0000 Message-ID: <87bk9rd7og.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) x-ms-publictraffictype: Email x-ms-traffictypediagnostic: YT2P288MB0089:EE_|YT2P288MB0090:EE_ x-ms-office365-filtering-correlation-id: ddde9409-85a7-42a3-306f-08dc12d66dd6 x-ms-exchange-senderadcheck: 1 x-ms-exchange-antispam-relay: 0 x-microsoft-antispam: BCL:0; x-microsoft-antispam-message-info: GD699LhCJZLiFUm9iE8KCAx9T5oXMkAnNQ6wHFyPawfr9qZRNqT8ZX2bGIQdeiw+v3GYaCaWBv7wmnI0rlVQ/S/zCdN2kP/1CJ1B9S7L/8ROZZXDsObXrWtO+WcRErFGd8tt7qvxN+mjF1wwxA4isuiAUmuy6LzPK4h8mxJ2gaPs23ehaRV4ShowqGtvpoV8UgXw5t8Hk+46sxkSTSdg2PKOh8AAYn+4UGZqiwNTheSkyNai+oRTDqcuSihIB/vQuaL62oqplUwu3c/EgTahnO/6U8JpBIL4tKLMgBx92CXYEzHlvUgfwITrPByVSlgqoZsjyPzgcoyRviQZ3lWRpJ8mULo4joyAX9JThXwrlptDPlT1I1Ih3ZeORlKvMERKErifs1xhpFmETzjUSYakEKcE4ghe4+/irbN6oYFiLUuDOaWd+N5DyK8KQ7WvorltkVrlcNsv/AwIwf+wmTReShUTyQeIDsKxAN3UG8oEqBBL6NlSI5Ley75j5w9iY95IgYljBECubIFMvZ5EoZERNKvH8HxQNtL7rmYPPpkw0n1Dtnb1epGFk62v78jgzBU9OATOsP52fv6cda1gRzeucnuaWTl7Z36tsKjK6D33sjYxE7j5HlfTVOt/OiEQ/7WG1W9IF56AEdxKlROd1VAdPQ== x-forefront-antispam-report: CIP:255.255.255.255;CTRY:;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:YT2P288MB0089.CANP288.PROD.OUTLOOK.COM;PTR:;CAT:NONE;SFS:(13230031)(376002)(396003)(366004)(136003)(39860400002)(346002)(230173577357003)(230273577357003)(230922051799003)(64100799003)(451199024)(1800799012)(186009)(83380400001)(66899024)(36756003)(86362001)(38070700009)(41300700001)(122000001)(38100700002)(6506007)(6512007)(2906002)(71200400001)(5660300002)(8936002)(8676002)(478600001)(6486002)(966005)(316002)(26005)(6916009)(2616005)(786003)(66476007)(64756008)(66556008)(66946007)(66446008)(91956017)(76116006);DIR:OUT;SFP:1102; x-ms-exchange-antispam-messagedata-chunkcount: 1 x-ms-exchange-antispam-messagedata-0: =?iso-8859-1?Q?Z+30Y8xxx731WvSt/op4EC+5dx37o8OScxKRisO5CJxw20n5bdTH38wpu/?= =?iso-8859-1?Q?IkdUojaOtUn9rHGb1KKajTFs9+8PeUVQNOyG0fRNR3BoCDfJGvBRVNqooj?= =?iso-8859-1?Q?i+jkyRmdMPEsCfiZJNqW9ruz1V41BmiAWAagleUHi5jdGzJMyMSHmuW53b?= =?iso-8859-1?Q?oFU2UPJ7L1t7MHllkl0pq4pJ1xyK5fWsYmuVmM87sPsAX4tTb7ajmlQ9Bu?= =?iso-8859-1?Q?15AM8sAt5Ve5srvStq1OG1C+5S2EkuvnxdyUJDmuWc/atLSloatfEydhwb?= =?iso-8859-1?Q?UvbuvUzlng9blmvCIYdfTW07bu8X8bMWVZVPKYCKvKElNAvN4vu2ZJ+aWz?= =?iso-8859-1?Q?UcY5axb9/1qn63pcVenFBsOdbRV9gJbn1bD1oqnoDMOJG6yl6o3OryHIAk?= =?iso-8859-1?Q?PHbBotCTjBCkvQjR7I+utXwUAI7VF8ykGOurr4DVVQdY1CPdaKKt3rNqde?= =?iso-8859-1?Q?cam49ckWKLpjt1Llp/lqhfHWHLGv2nIGZ/US/y9k2/P5ryNx37IJ6H9VCc?= =?iso-8859-1?Q?ljvofSMLb1bNcEeM8dJHvDDmMKWmdBUQ78GZwtwI/fGWtBan1eoGNYOUpp?= =?iso-8859-1?Q?rTTtl6ANWV3XPX6uiR48mfJyTvcJK5KJpQzR7ac+00rqqxaUbEUPxJCWmb?= =?iso-8859-1?Q?m2cyr5p4oZjOmFuF0/wLhf+VlTlkbRT/6g2xiz18hBflWhWegWP/ZPCYgQ?= =?iso-8859-1?Q?MGve4Z4GtY/l3eOGd+FwuhnkX+mgcti/H4EfGLmPIqatb6AKDpRVDKGctI?= =?iso-8859-1?Q?qhsnYmMWKfHQsksn7fEFl6pgss60Aq39qNbIvWiCc0SCZXxC35PLfJB8Up?= =?iso-8859-1?Q?lzBBTe0JgIbEcv1se5N2x2j0imIJnD8MXUz61oi5Vj3UzcG97wWS9uq7Zq?= =?iso-8859-1?Q?Khj0kGP6+yuh1dm9Cb5lzBJTHFm2ZmRFqbJotqywvBL/kB8lz78EW6FRhi?= =?iso-8859-1?Q?/Vjdscn1NhEIz9ts1sCxgS0wAjdJuoxzamOzWn5SgTTofSoI0806KyEdJ8?= =?iso-8859-1?Q?uOh46tSRJFHm/bSGhN7uJzXyPEZ+8QIVW6xHMCwHF/RorA2sChX1NI5YSx?= =?iso-8859-1?Q?5KKK7RkWrKHCUsxPWNDqF9+Iz7LAIRJTZttNh9hLrFIUDj0v459aCe8M1k?= =?iso-8859-1?Q?Gupbke7j4voK/U7L0yvYdlJ6WrdFG3R/CM1Jjr+mhoKV1OatB30DCAjL5i?= =?iso-8859-1?Q?fgrq0+PmNiuVMZ+R5F+q+3Rodp4Nyc/NEnu8x8FcSSbY6i38n7Awx+ORUW?= =?iso-8859-1?Q?9z4/pSmzBuAbzRbIQiOy5GX3wIasuatMGggxoZLtO4g3CMqKFBRuIScQtc?= =?iso-8859-1?Q?KwUsGqwYUHhHV112dUCL68kpd5tWGTLRD8+5o0mZT57e4sX6xx8yqUa8MK?= =?iso-8859-1?Q?yyq7qEDKhCOoWN7j6O5I2UKq+AwJWrXjpT50pye4wMO2aELuOhvNhny8CR?= =?iso-8859-1?Q?0DVDu4dSw6jzAFTtBTCnExnXMCoy5vMYUSDXCqVKxmZY4mPUC52U+/rhz+?= =?iso-8859-1?Q?1ug/9dc0vDFhABOVfGZiyUjhAaFC9mt663XzZYawt6Oul3rBbekIPvZr94?= =?iso-8859-1?Q?CCG5DbrC+GxInW/IHBHyHjSr4jOC/qoCPfSq0FD3uNlj4Pp1XZbjG0BAWa?= =?iso-8859-1?Q?IV0XNiCyfdMuw=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: YT2P288MB0089.CANP288.PROD.OUTLOOK.COM X-MS-Exchange-CrossTenant-Network-Message-Id: ddde9409-85a7-42a3-306f-08dc12d66dd6 X-MS-Exchange-CrossTenant-originalarrivaltime: 11 Jan 2024 18:52:15.4702 (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: +kUlvPCLxo8dWIzkizasd09S6wwhJXdcMq+Cp4qowD52vEw8rU5nXdpzL/ugl6k/ X-MS-Exchange-Transport-CrossTenantHeadersStamped: YT2P288MB0090 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=GyiR6wUj; 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:f403:241d::701 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: , As usual, we have openings for strong graduate applicants in all areas, and I in particular welcome applicants interested in homotopy type theory, homotopy theory and higher categories. Our department has lots of people working on these topics and many visitors and seminars. Note that the deadline of February 1 is coming soon, but that applications will continue to be reviewed after that. Our standard ad is below. Best, Dan ----- Please distribute to undergraduate and master's students and appropriate counsellors and supervisors. Graduate Student Positions Department of Mathematics University of Western Ontario London, Ontario, Canada The Department of Mathematics at the University of Western Ontario solicits applications for its MSc and PhD programs. We have a large number of fully funded positions available, and applicants from any country are welcome. Our faculty members supervise research in a variety of areas: https://www.math.uwo.ca/graduate/supervisors.html https://www.math.uwo.ca/research/ The Department of Mathematics is part of the School of Mathematical Sciences: https://uwo.ca/smss/ More information about our program, including the application procedure, is available at https://www.math.uwo.ca/graduate/ Students normally start in September, in which case applications should be complete (including letters of reference and supplementary material) by February 1. Applications received after this deadline will be reviewed as space permits. Early applications are welcome, and we encourage applicants to apply for external scholarships they are eligible for. Please contact math-grad-program@uwo.ca with any questions you may have. -- 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/87bk9rd7og.fsf%40uwo.ca.