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 autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 24478 invoked from network); 12 Jan 2022 20:10:09 -0000 Received: from mail-lf1-x13c.google.com (2a00:1450:4864:20::13c) by inbox.vuxu.org with ESMTPUTF8; 12 Jan 2022 20:10:09 -0000 Received: by mail-lf1-x13c.google.com with SMTP id d8-20020ac241c8000000b0042aa94a6454sf2413869lfi.8 for ; Wed, 12 Jan 2022 12:10:09 -0800 (PST) ARC-Seal: i=3; a=rsa-sha256; t=1642018208; cv=pass; d=google.com; s=arc-20160816; b=HechaDPCgxDd3eqIGPNSxto6vEbb5ZxqpYGl8bIXT0S/1Bxd5AYXpjtNl2MILmtCCl wTMDyFGolhNl/epVYK7zXp5JvbsuNFze7xLwN/Ujf5bpoZNPa3wHG7XjbY6ra6Sqj4nG fO6u0/rcxpMy+hn6tnREAPaflEqpRsTYBKu+ENPEco6Z1Ih5/+uYlGYxnpWyu15kiTBz KrYfs/y2qWlU0Et96L+hq15uqUIr13KZS0zwBuKE+paBcDLutmkrDqaauGrDateQfQ/5 3s2iSo5eyN+F0DJOhhXpy6z16BTS+LDcfG0TrdbLdCQVljXGGK6FTV7b9x8x1YG2/xce Htuw== 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=GJQpjoFFZ+z1oKbcONzkEqLtw9O/fkqNIxZ+hkm5tkc=; b=Bmn9FnorunaUDA/r3IenYOzU1WIjJlaR91bNkNXCIEP9dVKxQ/Gs75W7qbzwkSJP0l /q7zgHuc1RyeQggMBgW70TTKUSReE8m/BxX8Cj/kIVO2AbFHC81YaAg2lV7bKZEwQjsf quLzKKdiGcTGntM+1VqVcuwJFFh39LEJZbsgKW81wumyuCO+PrwOah3iQEnmFnAEPKfw 8LqTI1nV5H0t3siwB2go8+LObJ2Ai64F4IT4V+Sd/addNR9YvoSg217MipsZhdD/rPG4 W0IMoY9HaYM7eWcNkn1vngeP+NXgo1JXZCL3Tb/2Mb/5XgXJqj6mVEq7Q/3Iscz84PHK IZyA== ARC-Authentication-Results: i=3; gmr-mx.google.com; dkim=pass header.i=@uwoca.onmicrosoft.com header.s=selector2-uwoca-onmicrosoft-com header.b=hZtwk5KD; 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:fe5c::70a 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=GJQpjoFFZ+z1oKbcONzkEqLtw9O/fkqNIxZ+hkm5tkc=; b=G7B3oH4ZNCS4Nsgdw0g4AyFumVkG/9nsa66jFADUaQIIEXEvYg7myUW5UVeuEf7c0k p2xw7BR/35bqy05wGxfqN90wRPfGcWhXZAdn4weEymT5iUldEPlzXWv5L07Jpz6qLlj2 RAa7dmSLBtf2w8M/CVJM2pujyWuJ3hyNOgMtyO3CTYttTeKHHOyVwy1g3CkVblmBDzgY IM5IeuaW8XxLlg1h+4ufrbFIFLgxwnNe+yoNLgsQ30ypckOT2YmI6K3S0cYV/qg77RqH tf3zGVLiaGsRb3UnDujBWVm41ZF4OJVRtUAIj4qAWIhriEFr12wDWhb1HQz6uoAlaSf5 Py5Q== 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=GJQpjoFFZ+z1oKbcONzkEqLtw9O/fkqNIxZ+hkm5tkc=; b=Hq3+ZOFL1xtb/WsBAdtKIokswjoAmbjPG+8ujyJ/zUjW17Wnb3LKtmkAbLhVMT5A3w shzP+whmrAhOOP++6xXUu+RhMwBHTxGluUz0I7M2Tr+z3mSmIM6CZk25/lSf00XXMDU+ 239SCMduZZCeYrF5PIoyB4UqPU2SGW/6oODdxRfdNY9lT5xPORDCFdH0D6Cz7f/QV9ix gDtTBvBhe402ep6FVOYZUMVKmZFQEZH7Ax2j5uPhVfNpbeNPwWCFA8a43DmNx03uEKk/ rzZvwt0q83oKtBRmrJoWuwoLXPwZwEnwdwTdc32NKtj5SSEM43zOfYetdGSPaxZiaeV3 Tvmg== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AOAM532qhtp4yfNyTsBrw1gCdi3uNx3s6zOCE7/ZHnOve2xqfGI5+RYy fmB6BjYAEdggBnFCf+aMpQs= X-Google-Smtp-Source: ABdhPJw1dhVxmR/nMVucqG6TKpvo6po5mZaq+dYbJUcY4M9b561bN4Qt164YqwIY5z3r4EchMD0gVg== X-Received: by 2002:a05:6512:2250:: with SMTP id i16mr994482lfu.688.1642018208446; Wed, 12 Jan 2022 12:10:08 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a05:6512:3b90:: with SMTP id g16ls566266lfv.0.gmail; Wed, 12 Jan 2022 12:10:07 -0800 (PST) X-Received: by 2002:ac2:58da:: with SMTP id u26mr937076lfo.91.1642018207487; Wed, 12 Jan 2022 12:10:07 -0800 (PST) ARC-Seal: i=2; a=rsa-sha256; t=1642018207; cv=pass; d=google.com; s=arc-20160816; b=Vq2wtGlmwE4wVU1IIyh244A1nIbE8iFZfSKzfivPFJYYv/zQsI6tWAVHLYZaND1783 pP+WoIPNhumbaF4IBWprBntBlFDzxY1LaWCna9v+e5SQXRFthXX+LqqjrgBcJF3vZ3x4 mXXl271qobl6TLSUxRGB+twBWsVz95K9y/b6rkRSYfmj9QkEEKsMcVcTjAGV3TMvGbR4 aBgj1QZNmHBpygM2ERtZ7gTHTTjlKsQSUsBROtxZCZxSON3unLkApLQPTyVbmmT6AtIk SnJXp8d4BXClxNjn+FhTYShMhLBcXbhUItSEbj1oeDvGw/GUKDhePFwyZ/OlJA2bEoeb 8a+g== 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=Jg6DWYviYLOAsnyIsrZiWeGfqfZ/DAChwnB2u3Hd9fw=; b=KUw7sYCs93HByuAeviB1NEAu7Jokx6Q34sk/Af5su5k7FP+mnmpr/lhba4Nk5meJ+M voSdoXLHMpD1e6CT41qwn1wCiK1fZHnDRQ0hdrXYamSmMI6O+5IMX+RchDSpZjNePL0a Q4L7SwHtICrDtgcKRCXsSPvPacM4MPeVs7cQ10KNlfgLmqqiXT1Cjz9IFV6giM1IM53d cpqgZKILbeWA4n019nfESCSvZhLqKB0AXB5y14SsaXmEeDtrs1V7ANiA/nsg0nKbQcro GdPBpWYR1F1E3TfHb1bM+i0kf6F+oTjiUFFQVUU85AprCTUk+jMXYp9WjQcBIVX7eHBF Dk2w== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@uwoca.onmicrosoft.com header.s=selector2-uwoca-onmicrosoft-com header.b=hZtwk5KD; 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:fe5c::70a as permitted sender) smtp.mailfrom=jdc@uwo.ca Received: from CAN01-QB1-obe.outbound.protection.outlook.com (mail-qb1can01on070a.outbound.protection.outlook.com. [2a01:111:f400:fe5c::70a]) by gmr-mx.google.com with ESMTPS id i2si39062lfr.4.2022.01.12.12.10.07 for (version=TLS1_2 cipher=ECDHE-ECDSA-AES128-GCM-SHA256 bits=128/128); Wed, 12 Jan 2022 12:10:07 -0800 (PST) Received-SPF: pass (google.com: domain of jdc@uwo.ca designates 2a01:111:f400:fe5c::70a as permitted sender) client-ip=2a01:111:f400:fe5c::70a; ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=LK/rYwSBlhYLwmPJtmUuQapct8o2WxQP50KWU+w+UqeAP7qYKveyrr5TCFj+SyrXvK0uGZaOQ+KmW05e1Hl4Ug0DBvpa/etnlo6i7aRL+rcf7Atwii6Aq1tFNJzqJc4s0n1S1gk/iwSmsUnhprulUH1IQN06+Ly9MIYOCTm58UXBeFPbq1kp/cEnlSsmqnLrC7mkL3UGaxhnx0ThAspOOsIzu38jawn5T4U/xVkXFbCfNpa/e9j6LAFaGE/1M9JkuR5nevGvUX11rQhONd/ENw1mxvwj7w0hAEBkz/MrgpH0VptRud+vKe1aMGniynvrWtKct2VKInS32qhZfGYc3g== 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=Jg6DWYviYLOAsnyIsrZiWeGfqfZ/DAChwnB2u3Hd9fw=; b=NujAqtTZeJ3gr3A/CUBPshOzCHN0acsgTgwABi712elBTA0PONfJ9Bx9DRKtSc/8norcf1SIYXYfD7Pgt9rWBEfnOollGZBgT1YcZhlIAVka3u2o5rQZsy3eTkIdAZQ0nl7UnQ/wXI7Exlp8neo7ttIttmWxLNQYnBHF1bEfWEDYsIojjzUzWe4HoQoHo+3esP1WImrZBQWwTiYWemSs6xUeRpYtgSG6qj+VkGrISvqrTbIyxOfzEdBlCuvq/z9kes5R7Qa++TKELy4GTXnMpq8F6ZWOwBAuDiVLPPOfeBbUTUU6b3fxsWKDC+5/QZTIEagPISK2s5/3bSAjA2W4wA== 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 YQBPR0101MB4683.CANPRD01.PROD.OUTLOOK.COM (2603:10b6:c01:16::15) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.4888.9; Wed, 12 Jan 2022 20:10:05 +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.012; Wed, 12 Jan 2022 20:10:05 +0000 From: Dan Christensen To: "homotopytypetheory@googlegroups.com" Subject: [HoTT] fully funded graduate positions in Math at UWO Thread-Topic: fully funded graduate positions in Math at UWO Thread-Index: AQHYB/Bj4V7Jin9t2UuGSKoj1cv/BQ== Date: Wed, 12 Jan 2022 20:10:05 +0000 Message-ID: <87wnj4k95v.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: b0a237fa-5fb3-4d7d-b6ec-08d9d6078664 x-ms-traffictypediagnostic: YQBPR0101MB4683:EE_ x-microsoft-antispam-prvs: x-ms-oob-tlc-oobclassifiers: OLM:10000; x-ms-exchange-senderadcheck: 1 x-ms-exchange-antispam-relay: 0 x-microsoft-antispam: BCL:0; x-microsoft-antispam-message-info: 5CYJYwlMjZ9RL7ahwDSKHVz6TUsYRgcXO7ljLwljiaP4ECOLOtz6qirAlxMe7DDJuDV1aF2vXswxnrvIJgzG1zczUB4ChZw/5iVmrJkem6OvQbvdfC+6mRFVCtDPHPGALWUqTy+Qb7kP/HVD4FUchG2uN2t5xlOMlTWIc2oEaaiQTCopZk0WX5dJ+tQiRkJ6IGayR5Ovgd3sSCR4ERPwQQ/ZMhNCDHfmU6vgGGGEiLgkOvk0HYKCrs3VFLYfbVQofcd5sn4tK4DwGLM2/1zQoF3p/8+9GUTcbHrx95WYkDoIo+h/U7iyjetVg3XSXKs3FThpu3yEo5K4tv4htww2BRwdlKOHDfKiuQlliaOYV3dX1ZIBmDdPit1ZOC4DuPHZOK8BHHuH/hDLvqbqa/AdZxzlro0EdwY6jdxGrvFwF7HP1QneSLSVe3ANxBLB+EnXeqFZ1tpfkWrBC5ieFNOJ93rQfcwyottLjs0BAZ3b5QWfpUd11VzkT/XQXgRMYszc9/n6BXirDQBoQRYuN7gz/etqhmPJho5Bdjg/0oqgXyJR9vJZFEcCkA30HxqKy7msX3AAzo1Q6lYiLsPAU99ZdUZp5RS5ytY5X81dz7oCC5HEWBtfGBeHJd//rjJTo5Xt6KmcIvvvPTrxQ4RNhG7uwFyeHyBiyhhijP1JH+xXvpyWYg5P4b0AjPXedfm0BYMXrnjgvLPHCPW0FEOWyedSGEiT+Go+LmPbh5qm0MpmpUO7Xe0Vv6uFVwaGTZo49kF38il0aKEIfzzqnn1IBFS14oFjUNwG25NB8ARW6L8S5QvMNBN2FxOzO4N2zoYVopStQNa3YhdrW2La1V5T2UO6FXFqj88Ge0ieyYpPt0NyRqj+tMFBBOKb2s7GOKt/epD9X68BS4FDBQ2o5KKjEp+vfUZdLRM23uvMOcdKihSg1Ug= 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)(19273905006)(86362001)(66946007)(786003)(316002)(91956017)(66476007)(66556008)(6506007)(966005)(76116006)(71200400001)(64756008)(66446008)(26005)(6916009)(36756003)(186003)(6512007)(122000001)(5660300002)(8936002)(8676002)(6486002)(83380400001)(2906002)(38100700002)(38070700005)(2616005)(508600001)(562404015)(563064011)(10090945008);DIR:OUT;SFP:1102; x-ms-exchange-antispam-messagedata-chunkcount: 1 x-ms-exchange-antispam-messagedata-0: =?iso-8859-1?Q?JxCuaBzf2wIZVKghnALcKm51idzF824ZAw7XJHvyB1xHWdUXWvPR+PvChd?= =?iso-8859-1?Q?O5veYqvigt5S8CMcmnZ1SiXj1AKiZBFCGzczwZS5hechkmi3mDP+8gGu3n?= =?iso-8859-1?Q?haFpefM3+sUrIq5/FsgxOuO3WMl9zM3WOQ2rW8vABtnsQfjy3Aj9zNn1m6?= =?iso-8859-1?Q?f+kWP7CswwC+Z4qPu8x8hmsuiP6QsB5dGAhZPpNkViVROd/q0suPR7tMpa?= =?iso-8859-1?Q?xGzNh73f2rHle38wwowXsjXhmA/AM9VORlSvJdjqHLOGbpsRYtb3mohm1M?= =?iso-8859-1?Q?HXr4oU6MG539thm0h7jfVF85Kjn11Dz5I7p+i0hjxI7+lAgkBO1+AAc9Mg?= =?iso-8859-1?Q?n3+eVWvW5+Z8RRz1ULz+J/RoX0C8SMt85m0hr6MTk5lUBvj+mX+dSSW2NI?= =?iso-8859-1?Q?Npz1ojKWozbADdI1jqa6wv72VrAo55r3kjzClfzVGPfBsTyrTrAOGK1dTI?= =?iso-8859-1?Q?CePZJpMd7E+i7ww989by9zzieZYnMDuiButho3hzV2SIP3Fobi6jGcma5q?= =?iso-8859-1?Q?N3Gk5+qRtc9AHxQRCeCWUmT7Wd9cioZMhgJUdpYURADctzU0pL2lHr3UWy?= =?iso-8859-1?Q?fOdE8J0oqcTu4d38Tn3tQ9DkrBb7Sh+/S37OFyweKEbnoEJ/b5eO72QN0r?= =?iso-8859-1?Q?L7nPLSFhzxWPhDummRONhp1OeB9UNDnDE65mTQLlLrIi3T20sVHaGsWHnn?= =?iso-8859-1?Q?4C8QKuGnx/uGvthxqFxtQ3kJSMavE2wtD8cOv52jG7Ya9F1bFsRpJXlh4a?= =?iso-8859-1?Q?Ia3O83GB1ytchshp2eE9tPKI/K6p26wciNA4uQbYIfv6KL7pAZiUJLeGYf?= =?iso-8859-1?Q?VHm38eDnqWCzl0FoVfYiaQfcz8gkX32axDhdw9QDhN9tohSlHaEAORn5aV?= =?iso-8859-1?Q?tT0ybhp/4sBhIXvifH76gnMW+dIW4DuDAAtP4TJrh0834+e2QJPYyczjCb?= =?iso-8859-1?Q?zJoqAFXtyZ2sbdUucZD6dGpb5TV0naiZYw4/WZWGfwa6aV0+lBez4HJYgU?= =?iso-8859-1?Q?G1l6hdjaAnlkBPniY3xUHSU926EyjfFCW4o6ZFLSnZo8zulL29M2o5JI3c?= =?iso-8859-1?Q?h6nd+1WlDbQC9ppxXJaXsAseVZAlyYTS/lLpgm1iBXFpZhEYsIa/5RIhhM?= =?iso-8859-1?Q?LZuK08ej4DyfgaAOe8NrxksTBl8/Pvt8A2GCZSAr6I7xEuMbfWnFP2onsf?= =?iso-8859-1?Q?NLAXKG0dVFwqKPGQWShEzNM6slLVvXS8BTkKH3jQo9547uJNCtSdBLhcH4?= =?iso-8859-1?Q?ZB7c4QKsQzQ7jARW0K+0s8RR3RpJmKiTKx7I+4eSso6P/SNDq6S+b3CsZF?= =?iso-8859-1?Q?lJzA97FTi6sHZnNErKXIWVWlK7fiMFDbZYAw4fm7/LaECN6RAMTKMRW43M?= =?iso-8859-1?Q?sTTkjGvasw+iLokB/CAi7a9dwo1lHo1egspslb4+WbLH2tRV+swqH2Jo8k?= =?iso-8859-1?Q?P1TaiMckjJr+kMZzFvLTT9kELk8QxAgzEuFhnBLzAhLC46h3AXm7QDSY1r?= =?iso-8859-1?Q?pPVQ79Pjy29d3/IfmqCUO6J68TIbVrSwoV4X3BI2WwNXkXU17XDElciXdO?= =?iso-8859-1?Q?Qk48uEwDs8j6z8wrh2umOk2BHb9mVMwdsjitcJ4XDLoHXa0r3pawjmMILr?= =?iso-8859-1?Q?88wMz8ZocOdj4=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: b0a237fa-5fb3-4d7d-b6ec-08d9d6078664 X-MS-Exchange-CrossTenant-originalarrivaltime: 12 Jan 2022 20:10:05.6873 (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: 8ajDoOx0Hoq+7fZYnHc6C4InpZaCwfCWp/Buw1ZEQpDd95l003y5yDhDcT/LWNmx X-MS-Exchange-Transport-CrossTenantHeadersStamped: YQBPR0101MB4683 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=hZtwk5KD; 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:fe5c::70a 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: , Western has lots of people interested in homotopy type theory, homotopy theory, category theory and related areas. 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 up to 20 fully funded positions available, and applicants from any country are welcome. Our faculty members supervise research in a variety of areas: http://www.math.uwo.ca/graduate/supervisors.html The Department of Mathematics is part of the School of Mathematical Sciences: http://uwo.ca/smss/ More information about our program, including the application procedure, is available at http://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/87wnj4k95v.fsf%40uwo.ca.