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.1 required=5.0 tests=DKIM_SIGNED,DKIM_VALID, DKIM_VALID_AU,FREEMAIL_FROM,MAILING_LIST_MULTI,RCVD_IN_DNSWL_NONE autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 8239 invoked from network); 18 Dec 2020 17:41:07 -0000 Received: from mail-wm1-x33b.google.com (2a00:1450:4864:20::33b) by inbox.vuxu.org with ESMTPUTF8; 18 Dec 2020 17:41:07 -0000 Received: by mail-wm1-x33b.google.com with SMTP id l5sf371223wmi.4 for ; Fri, 18 Dec 2020 09:41:06 -0800 (PST) ARC-Seal: i=2; a=rsa-sha256; t=1608313258; cv=pass; d=google.com; s=arc-20160816; b=OeQqMiV4/C1v10mv670eGcQAKwvoXlyf/E7s3jc2XZAV1AyTdEOii9zD5FGvDBe/zb RQHJ0ChOtcxRGz8rHmlpUdljdUCI9LxT8PW0x0WYuLh3zai6OUpeINYgqlLQoqmuLK2I lwmkUj60pPZJ/gw7jZcOmd+nLKYF3mF0tp65pmBnkFHwrU7ALZaEW+2/IIW9hSkeLVTL TmXMC09/AqBpjWv2UtA8BEOgKk2yk1bl5Te5SJ92ty7y2ET5bvfIUYzgjz+XOQppEjYp zYqmBAKp9pNTSpIRJg6b8NOG3b/vDKKqJCvPmBT3oZz4Nlm1t7NIrWEwU7iHQSu/MoO9 D/lw== ARC-Message-Signature: i=2; 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:to:subject:message-id:date:from :mime-version:sender:dkim-signature:dkim-signature; bh=XoYJOT/g1EsbbmMnVn5rpn5JpfgAsQqh3RQBO6LRwCg=; b=BEBUB2wUzkt4NOe4+IWcZs1BZQtQSkGJ2JEC4S1j199I6cteECO6blNm2dbaLna91B Rb3f+zYL0il8fX5NDrzG/afNr/GDUKjwqQS0xfFPBGlcDwkiZMxMLOmfOjLsENJ1kOLJ ZIOfD0/YzL7FxKS7bmIoz5PaOUxrUdvybvQp1pkE/Znnh7apUOGuBuAL8QJ4Q43fWre3 JsWxV20hPPWvDjBtYqcY+CeoyjRVp6YkpjsybH0uTIuekgZiL5DhKTO+HTobnb/B9e2e LO318d06Y0Z8GHcRji+b+ukXpHSukVNYxAsDyZUBpNowcpsPGny1HJJN5cn9TjVrWH1n BeZg== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=LmX6RwNR; spf=pass (google.com: domain of k.kapulkin@gmail.com designates 2a00:1450:4864:20::32e as permitted sender) smtp.mailfrom=k.kapulkin@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20161025; h=sender:mime-version:from:date:message-id:subject:to :x-original-sender:x-original-authentication-results:precedence :mailing-list:list-id:list-post:list-help:list-archive :list-unsubscribe; bh=XoYJOT/g1EsbbmMnVn5rpn5JpfgAsQqh3RQBO6LRwCg=; b=bm/zFMtn/EL9W3Z944X6FllIXp3WUN0fNOkqty8g4lkYQfGB0OfWg8VBFsSySvdwt3 FzjeZ7wjKS8DGmml9w1IyJxZhC6h0meH3xYDG8gtHu6eIwAaqFpKNtkKDvIMA+PppJB8 aFb9p2/QFYgbzc1jhoMxLUonGy33KerndLRxWTraGOb0Y248SheG2MatjRySDznzg4yt 1RGqmP17JRqEJJKTQysnFtYK4rvlzMQN/IGpqdK5ifeKAf7oKWzlMW1qxLQTeJ7dVTuT foAL0MDGDKG1VmebgimhTrqmmmfkljGoSNb+Z5TwhQdvMjLSJXcWqhr4HipzQSOP7w0C Xa1w== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:from:date:message-id:subject:to:x-original-sender :x-original-authentication-results:precedence:mailing-list:list-id :list-post:list-help:list-archive:list-unsubscribe; bh=XoYJOT/g1EsbbmMnVn5rpn5JpfgAsQqh3RQBO6LRwCg=; b=izGFjgP5u+hw8EKtSrAPQ2Lkdon7M1B9ReYquid1ic9H8/5mxpRSpDvh7pVyovGRxj Nui5p4ZheCQLaR1pEKsdlyIlaKYHdIrk9gfDTY2tBH5QJjJ8MKIkHNszmUzcb71M6h7I g4aY9KgbmDpOS2mwIiWrMDCvFsLNVtJyzO7OR3BxzZ9Xt7Eozr+USmbGwjtGN/GlxP4n YCF53gooX2xFE8YBJia8d5e050oOZxY3PG9pUIZJf6bHKHRz8xeT8x7ZLAL9yry3jZ1t 30bDlVHIKSZPYR7Ew0hRlL50M51KhmH42WixObIFEECmZBuX375TfU6JUJ/W3La7FHHH 2Ytg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=sender:x-gm-message-state:mime-version:from:date:message-id:subject :to: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=XoYJOT/g1EsbbmMnVn5rpn5JpfgAsQqh3RQBO6LRwCg=; b=Ec62pN+HisuiCyp578mCVWt9yuEfbRCzwJXqZURMDCyo1UnKbWdAuCxpXrNUu1GEvK Zs6wEnXuJwZJmETdXWT8NmYBDDG+yBreawlTaGfhJtkfM7Zh86g6zHRW5/pqheGh9AiP M+JBDqr8xm8n96EVGQ/9hvlAZfOQx3vUGrXzxcJZfvKVtgw96syMxGjRmhmJ+Ykr54IU XtLZQUAGwgVNIrbiWI7epVfIC5Tk4vw+x9ksERGIKM81eg9gF3bg19jA4uJkz172YY49 VISKOThJkDtPUaJOaZmXUkXIKAxV8JS807ksJli43MRb1hl3s7sDREcSe/fu4dmHd5uE UvvQ== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AOAM5337ZAEbExt5LpxfIYy5leVyB7frw0/L7N6KDtxSuLbtmxFBrsLr I9sF0Xjaf/eS2FpbCiW7Y3U= X-Google-Smtp-Source: ABdhPJzzdgPAoysAIPiiW36auJglnOf8xHjkBISWVieO9VEr8gq1YRE/VbG3JKWx0Exy/7W7jJjoTA== X-Received: by 2002:a1c:dfd7:: with SMTP id w206mr5457100wmg.48.1608313257998; Fri, 18 Dec 2020 09:40:57 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a5d:5543:: with SMTP id g3ls545783wrw.0.gmail; Fri, 18 Dec 2020 09:40:56 -0800 (PST) X-Received: by 2002:a05:6000:1152:: with SMTP id d18mr5816794wrx.6.1608313256681; Fri, 18 Dec 2020 09:40:56 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1608313256; cv=none; d=google.com; s=arc-20160816; b=UWS6Y9uGf6br4fZy+Kyvaaai12J0MQ3NXvWgMZiSzq6+wsb3/ZtAhdFeOAw3lyREVe eHQMWHQJ/0m5+qsFMyHu2VqKVVZOgYUdX0bI+rKGlB3OcPgIfYrKCV91oR/wDLzjE2nV ijhZike5XxCr/CoVWl8AKlek7E0RvCQe3t0wRNVFLSBuGIy4Xq+ughHdIl8BlgWGebLg QkpZxmSIyDZPqBBHtZDjFLIYokBecF0RLmItH/FOEiuU8Otjyp58iTCuxoN5zPpiz+ZP uVmmdonEvbbQJU9h9t3RK+V+/3dl6wO5lROMFfPAbWkAIhukW/YbhHmqFR9GWb+7BPUy eLEw== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=to:subject:message-id:date:from:mime-version:dkim-signature; bh=GepJgqpyHUVEKULy1FDnZftU2zHnhpN5f0f4k9zsAPU=; b=TH1bgGPiiXrU3O9kOJYbSAY+VLIB4D6YiFsfRMF6xVBbG24zxpt38xByhFQ1dSNqUq wEVK/QBxI7f8HDqOfya6jAdP5C+I6HPnzGnLQnlSx6rpX0zolPUAMWgIXzMkgXahUteM ZUuzgEHcotkHlYaDZGyA/AQNdneRD9i4lnKwRqcuCDkPCK6MvjCuwAskp9WBIPt85C8O 9x1KZgnMy37XX4JgAIecrmloj9E2jLOhkP4xBvBbcaOQX/d0fHOWZe6Kqqr+gGg8Pbxe JWkYklTUm1dFOM1NFrYejFPjU/24xDNN0NMq0edDt6Lx4fEILP/QkM2PNji+nvT+gRfu YY2A== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=LmX6RwNR; spf=pass (google.com: domain of k.kapulkin@gmail.com designates 2a00:1450:4864:20::32e as permitted sender) smtp.mailfrom=k.kapulkin@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Received: from mail-wm1-x32e.google.com (mail-wm1-x32e.google.com. [2a00:1450:4864:20::32e]) by gmr-mx.google.com with ESMTPS id y1si434823wrl.4.2020.12.18.09.40.56 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Fri, 18 Dec 2020 09:40:56 -0800 (PST) Received-SPF: pass (google.com: domain of k.kapulkin@gmail.com designates 2a00:1450:4864:20::32e as permitted sender) client-ip=2a00:1450:4864:20::32e; Received: by mail-wm1-x32e.google.com with SMTP id v14so3119356wml.1 for ; Fri, 18 Dec 2020 09:40:56 -0800 (PST) X-Received: by 2002:a1c:3b44:: with SMTP id i65mr5275613wma.9.1608313256334; Fri, 18 Dec 2020 09:40:56 -0800 (PST) MIME-Version: 1.0 From: Chris Kapulkin Date: Fri, 18 Dec 2020 12:40:45 -0500 Message-ID: Subject: [HoTT] fully funded graduate positions in Math at UWO To: algtop-l@lists.lehigh.edu, categories@mta.ca, Homotopy Type Theory Content-Type: text/plain; charset="UTF-8" X-Original-Sender: k.kapulkin@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=LmX6RwNR; spf=pass (google.com: domain of k.kapulkin@gmail.com designates 2a00:1450:4864:20::32e as permitted sender) smtp.mailfrom=k.kapulkin@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com 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: , Please distribute to undergraduate and master's students and appropriate counsellors and supervisors. Note that we have a large group of faculty, postdocs and graduate students with interests involving homotopy theory, (higher) category theory, and homotopy type theory. 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/CAEXhy3Pc5UnXLUL%3DPJ5HBArpiPzUMC9ECA37Lb_9nb3bUddrmQ%40mail.gmail.com.