From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on inbox.vuxu.org X-Spam-Level: X-Spam-Status: No, score=-0.9 required=5.0 tests=DKIM_SIGNED,DKIM_VALID, DKIM_VALID_AU,DKIM_VALID_EF,FREEMAIL_FORGED_FROMDOMAIN,FREEMAIL_FROM, HEADER_FROM_DIFFERENT_DOMAINS,MAILING_LIST_MULTI,RCVD_IN_DNSWL_NONE autolearn=ham autolearn_force=no version=3.4.2 Received: from mail-pl1-x63f.google.com (mail-pl1-x63f.google.com [IPv6:2607:f8b0:4864:20::63f]) by inbox.vuxu.org (OpenSMTPD) with ESMTP id ee135e0b for ; Fri, 16 Nov 2018 10:21:38 +0000 (UTC) Received: by mail-pl1-x63f.google.com with SMTP id d11-v6sf16565873plo.17 for ; Fri, 16 Nov 2018 02:21:37 -0800 (PST) ARC-Seal: i=2; a=rsa-sha256; t=1542363696; cv=pass; d=google.com; s=arc-20160816; b=xA6GO+NoOF9wvLYThAyjNgOhzlS+IrlDOmWZuG/A6pxcI5mfXFdfALtk65bbZqSF13 MTM9iAO1EOmwv09qMwt28z5KXKWEjQ2u6BT96ujZEH8ILFJwn5Pg8iOlBYDSzUlyvQ4N wh9N1keuKfQfFmUukLGJKEPyRmVZZ/9UC5q34BvepPTs5aJutTMvZxwM2vxJ/uDT2fHL MIIMN7OTgdDTpl0RPlioV1NL8GmYVP/Ir0ZXaYFxNK018PmBSMF78CDgIFS7Mt2RHiCx JVEJnoLQigZWmDCDKRoKjUrrZbvWH8+wKB63SaaBDT5O9jzeLairpJzYOP/18OJ5vUID OiWg== 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=e2zjQv61oMx+p25GvA6C84hdxnc8dIXL3kNSHXBdjrQ=; b=gvfSqeM0wM/yLbCbAgiR+44MKtYzRB8928DnfFHNJ9ivDMy27CzaA33lQVClIFP/T8 sAXS8oGUgqBkN0ibhErguxngiYEWZgnDH5W+l3tO33kjfTpCe1omLIymAJzRotnquEag EbRhDMrukjAI1Y2XhpnuRhUWnw9uTXelly+xzTMwZ1K1vXHvmnt5JSQwkiz1OLGowR8k 7pbI/411wHnhItlkZ6AJAkGdNzvFqV2KFvXHMX0Ik7PAaimX3s1RuoLWe7yjqBIZcstZ qRXti7Qgkj4zDzuxw1HGxP/PH4iNuT5wy5c4ohgm4xU/ulssMDg/SU+9UShumk44ervf /gpw== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b="Wvd/2GA7"; spf=pass (google.com: domain of k.kapulkin@gmail.com designates 2607:f8b0:4864:20::12a 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=e2zjQv61oMx+p25GvA6C84hdxnc8dIXL3kNSHXBdjrQ=; b=knnSSYzJ2sHj3p6bi7/shaV5Pq256UD+7BWoD8Sk96cgB9mQSB76B3nnQsNVtRWAnK ppsyErNZUDAt2jTOSnSgm0SMpy1D3mDwNHi8cYbae+R7fq3W0jfQYYRYXtkkT1GvqdNQ JiAI+ZcrLUW2GzSvULYL9MFP7paB/pMt9I63jSG1xSzVEQTN18OSyzUHf7LNfWWwUW1W cuzsIBrhJv3ACSnV32kMKtsgiP5N2lbTIn1BA/y65CaKnLG8KKakabC/l78zhr5BMoY6 926A9n7Chg0WOMY+PIgFvHftYOu8evXTD4VsKn08cvCNFaJGoD4ATV6yF2otv2NY7Nv6 vHSg== 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=e2zjQv61oMx+p25GvA6C84hdxnc8dIXL3kNSHXBdjrQ=; b=Z+bw6fQHbZN6pn5k5Lrl0MhvtHWCh4OF+qVTxuXR2zuFkyCxGZ/izkVqvfHabd/iGw 4AIx/ezldPYTOfgHM0aFCyt4L1z6jw1cLjMtbzIeyJfsp4e0Wm3F9Gg8AFHNPETHMGCj kdCnf83T6XESRCDqkl/QdXaCbc+EJvyXns/YmXbH3Jy7K4BnP+6iXrc8JGFHN938lhFg EY25IqCnNO0WHAKmTiTxmO+5dlJJP+Zgb0fOgzSQ7AwCJR9Azbq1ZSYShfmFcclLeqCT uVKAQuFGcMtWZ46THmHJ8GYnqHmN/gPoL2edJ+9JXhVkG117Xx6C9dk0ZssyOSUiiVhR dTEw== 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=e2zjQv61oMx+p25GvA6C84hdxnc8dIXL3kNSHXBdjrQ=; b=iEfHaJUk5vvpJrkiJ62C8A0OLpih/ioTs2Wg7fJ4bIU52i/DtJWjvzCHGYXElEgUOY NODfnAuXo12OtI+9Qrf8bEqssOh1sM4VzdEztUe1RAIlL6qoY51gQPlifu/CKt0XfpKJ oE5LTCG4IFCiarUQfW2JpLXoLy8WaDI2dEhRIz7Y8fJi+JrUtq0HEQINDSnW6Q/HRdjp l23FxKM2vX6mLNbOjwpQx3X5bSDKTt1mFBPSwd+JLP31Gs7akPvpyXEtv7R6STmGWjYh LxS0yrLK6LLfP+KQaEg5MqBPY33d6yK1f21wIJ7JWcm5wWkibY2f5v5D/W8cAUILvb2S DqGg== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AGRZ1gKkk34wQ0Q3letDxuY/v/yq0iibTqzUkJYkFqY6tFzl1gJsR7wl loUe7C6ubp/E2Xg5ETlkf6M= X-Google-Smtp-Source: AJdET5eIJIhFZp7pBK5/gQ63I1K1bLGrKg+vMb0PpRV/wj8Cykgafhgd80tzLlUmGq+8L9ZSoDcQPw== X-Received: by 2002:a63:481:: with SMTP id 123mr10929pge.6.1542363696168; Fri, 16 Nov 2018 02:21:36 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a62:20d5:: with SMTP id m82ls4480961pfj.5.gmail; Fri, 16 Nov 2018 02:21:35 -0800 (PST) X-Received: by 2002:a62:e210:: with SMTP id a16mr468542pfi.63.1542363695651; Fri, 16 Nov 2018 02:21:35 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1542363695; cv=none; d=google.com; s=arc-20160816; b=Gl6H1UrRxIe5/FP4loSEEy9ZOiGvxXgqKK5SNiC+/yaSjirFYM8nTu9zUKaACCEqcw RrR7qrtYgV0zACIdCjP0iNyPYtnZ+X/Rf3GkSILV4TiY1VCVN6qP7K7Bs6T8FXzuoMPr elcDef/KLp/uqL/4qNDIK9AbJIgnWyy+Hb7/MfS/Y/LqcD3ydxDO3KyhwOn2bLSh1X99 n46XYXeEUal9qjOGQsw87xMG0WGBq7RVXnqB2t39/ow7dPGLtE5vpfsS/aHZe+FSTXIB WYCpeelFOs6DQl/5pV1aOW6Gd5mcnyvzzzFxsJhnknDkbDA2jdlM0aqgOxHILrlNXL1J /YUQ== 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=JQiKOl5NGK/3XnDHyc4WBrRwdelIvtNUg+GNHFuo5cQ=; b=Inhg5A7hSCdj56Y06g9D8o6LD04szK602yS9/wi8IgFn3ItLWN5BHD91XdS0gahDhp ZFmouKM140Ms3ylkm9gOJopcDwNeBw5II8U/PZFGj2xVVb2yRiMCam0MCofnobAByC9E 5LPEHU+1kitVYUXb2UbBLieLjItGC9xANxHQjBrH/80sV/nK9j+BCpWdhukFiSfSFqFf kHz4DHvnhLDIKNVpFuKsRgxuDIbvtAwDF3qi37RAFxWLOgrmBuUL2v2UluigEYDwqntM u7C/C1EaIkD676cLeBe2p6iITC0/pbU8ObKCWVDYRh/cbVy3rtAmJrzlGf9aoTLrDagp Cn5w== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b="Wvd/2GA7"; spf=pass (google.com: domain of k.kapulkin@gmail.com designates 2607:f8b0:4864:20::12a as permitted sender) smtp.mailfrom=k.kapulkin@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Received: from mail-it1-x12a.google.com (mail-it1-x12a.google.com. [2607:f8b0:4864:20::12a]) by gmr-mx.google.com with ESMTPS id p85-v6si1542146pfa.3.2018.11.16.02.21.35 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Fri, 16 Nov 2018 02:21:35 -0800 (PST) Received-SPF: pass (google.com: domain of k.kapulkin@gmail.com designates 2607:f8b0:4864:20::12a as permitted sender) client-ip=2607:f8b0:4864:20::12a; Received: by mail-it1-x12a.google.com with SMTP id j79-v6so33600430itb.2 for ; Fri, 16 Nov 2018 02:21:35 -0800 (PST) X-Received: by 2002:a02:6004:: with SMTP id i4-v6mr8581196jac.72.1542363694720; Fri, 16 Nov 2018 02:21:34 -0800 (PST) MIME-Version: 1.0 From: Chris Kapulkin Date: Fri, 16 Nov 2018 05:21:23 -0500 Message-ID: Subject: [HoTT] fully funded graduate positions in mathematics at Western To: homotopytypetheory@googlegroups.com 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="Wvd/2GA7"; spf=pass (google.com: domain of k.kapulkin@gmail.com designates 2607:f8b0:4864:20::12a 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 several faculty members, postdocs and graduate students with interests involving homotopy type theory, including Dan Christensen and Chris Kapulkin. ----- 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 15 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. 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. For more options, visit https://groups.google.com/d/optout.