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.7 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-wr1-x438.google.com (mail-wr1-x438.google.com [IPv6:2a00:1450:4864:20::438]) by inbox.vuxu.org (OpenSMTPD) with ESMTP id 2c756ae5 for ; Wed, 22 Jan 2020 04:18:24 +0000 (UTC) Received: by mail-wr1-x438.google.com with SMTP id z15sf2483665wrw.0 for ; Tue, 21 Jan 2020 20:18:24 -0800 (PST) ARC-Seal: i=2; a=rsa-sha256; t=1579666703; cv=pass; d=google.com; s=arc-20160816; b=RbxOG022mj9ORycFBDcjFkgIt/Qtc6C6JGP52L48blb0nPq7BnPtF7DJmPkSdvd1Ua qP0Rc2NmDJMcuDmRXjvSQiTCJvQP36HkY5VdeY23uvUOU/AZvkU1R+8h9arFunkgqumz hHhr+moq8fm0mFz+N5EXYqMmNS2tcy7s4PMjLiDrvnecc3M3sRMKGVKm4kelWDYlKy85 LGOb2CVaN8qD53n30Vktwfp0FI45A+QHK55j6PCVwwzSL6USRAurFIJVeP3bWyXVc4/h 1bHkR9QbQ7xcc3y5eU3wgL9F4wSNRvUCEtcN6HrWy1p1b3jNkciKh4uoPw6g2SRoV+l0 ATJA== 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=TAaCw0mM4xIKrmIF6eNUo/7ozPQdiFZZoTROrWCNevs=; b=i1ly0v3L8TRCwG0PDIdBI7TJ1W2bSmCZp+eMtF75R1VB8TE9s6iN2IDGok0mK92sje 06oufBwrNQgzYc30x/6xXQqsxiKEoukis/lhn7kb4t68Ka1rcgBxKmWDSvgRgQmfTENS BXBwrFGnO+DdbEE1UH4Wx4+vFh/m7w61oFuaVU5/s0M5a7tl0WTh4j9oZc/lo9fjTPox Fngkwhxk/jyuNh1EdToM+cjeXwqD9uNlaIF3MiW6tmg2XttiUvn4OpWoe+hWONKrCHxz g/gzNkcjqUu76ZITjq1Htcb6EGmLY7S3VYXW5Ls7gnsK/cGESHQ0WQfvfMgO7Y8td5+7 5pVw== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=Desms+My; spf=pass (google.com: domain of k.kapulkin@gmail.com designates 2a00:1450:4864:20::52e 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=TAaCw0mM4xIKrmIF6eNUo/7ozPQdiFZZoTROrWCNevs=; b=p1EVzPXaYSbBRhdo9coKXtmaDW0Xk5Whkew/OVXaZpCXqMiTeQ7bFzNYwHmgEIc4Mn ARplC06I40Rp5AaxOCSrwcLvIu2QUSMzluaOEFYSqGdLD5yoG34SqloFIIm8Xj9msRQj lPmnSwtDzQsKLN35xRmoS84hoNDWEfddQ2RhzGK1kwOHJzVlAP8/23lzdT4eNUqowsJv zNro9M74aBByobOmXFICJ0wG5tCQSDMek7ehKfYSj8LcH0bNYcTTg3DZzrjy6FkMjTO0 QNmUTtxW7BRb+vB7bv07428NuIThkoG9VyEnjRJr2uzKafXlgtKIWzSgZfveB6GDJ4vI ISPQ== 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=TAaCw0mM4xIKrmIF6eNUo/7ozPQdiFZZoTROrWCNevs=; b=GDyXpMa7m/VsqdeQ6GAQlpR2IihSp9LGVcv9BXp2YnRPRlx2mGKkG0jZ/6Mtkx1jV5 jKudFLQsy1nd7Lyz3ClddyTnRTSM0bUn37uGPElathXo0upOU6uB5iv1aRvJvxAdFct5 KPxcXxeNyf1sdAR/rbwK31HBofrq0OVKq9NGoZBwj7XZnbOxKBENCoS8XpepVlt3zL7+ U2kMHcAt2YHkXimr0hYnRJ2lzW62xXEK+Em0DWkc6Uxv0rZuZgVP0uG2vwFy0b10lfE+ 7bsFG4zv4d3+dFatvNpjuM9Axx/yo0119Ia4bPQ4QgioJmIrnLXSQWDpDZpgl7rNLqL8 QCAQ== 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=TAaCw0mM4xIKrmIF6eNUo/7ozPQdiFZZoTROrWCNevs=; b=ARe7KjKf7ARW9eDLUW8VMIkKMBhravZUcq+TeuiwZuNHSK4KHO3cShfjPetCT9fLVm kwLOd4JMk5EHxRfzfnp5cnv4W6JUFfTvh9ervJw02+Gha6SFtg3gsBc6mogU5cmQ3ktf ApufnNsuzb2GjNDV/WuV61sD5llySeRUTSx9eHhpvxew3wtXhq1Hiq2wS0S8Xm5IJ0qZ ByQ+WX1lSTYgIqNkY+Qh9e830m28raDbA3WGprChK+1S4Q54faMcXOpEVDocOMYuf31M KKo/KH5GaVgQwV9B3sctxQg/NahdJQLKJ5fcROmcf9z2dwiHI5w1wisr14pgcuOEWRjX 6+yg== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: APjAAAVRtvVUSqvsEf0RTd3FP4zVYuwViqYDcMywHjsckFjiQP2RIu5s YZxVm/b+aU76wFvsQ/gRlx0= X-Google-Smtp-Source: APXvYqzGnx3YfG6klUw7o/IxINYrAZXk5Rrzo9IA4esFc/sHoCTNr/fC34ux5xpZR5OUgrdnfS2Gxg== X-Received: by 2002:a5d:6a8e:: with SMTP id s14mr8997408wru.150.1579666703313; Tue, 21 Jan 2020 20:18:23 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a5d:4fc2:: with SMTP id h2ls5550996wrw.2.gmail; Tue, 21 Jan 2020 20:18:22 -0800 (PST) X-Received: by 2002:a5d:494b:: with SMTP id r11mr8508916wrs.184.1579666702637; Tue, 21 Jan 2020 20:18:22 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1579666702; cv=none; d=google.com; s=arc-20160816; b=b4X7onmHYJYBM3m5rbHO0+nQJoO8Xkiui/0s+1O6XqSPVU7wVblRAAEGL2WBM5FbCf Gr8v7/UyjuCNwZRfUkFbCGfUJjzbcrtfbOq/VenoveF3yUuL4Nez3mwRr4oRJPeLM8Vg xtnTiiD6at9G9TAcK7m9WR1V4cvx1hclpIo3I0TcZsSrJ8o0dNackZsYm+9CBfQIUI19 g1Gyx71F1HbPaL+1MYYDR1Eqf8p2PJ/+vvLTHT32xGnQRc+qQ0yHMTjvNj3bGlS0hg+i kPYzSS6ux7eD3xWWJ7v9C1XjljZFqDIArOCLUuCwerGuVG/FMKhMXcdaIJ0vjF7cwtF+ ccpQ== 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=6EwNcaApSeVJJJU5k0UGsIM6Cp/wKZ6ke26xoD1kZfc=; b=lgtnYIJqBs98XftpgfTzAYBTEPEnY+WNlWTPn3uGob6QDaHYKg4QlZZNykev2Tf8K0 IqRq+Q2SHLwSuVEvVSaYLcmbccNejIMN+WhssqGcHIcTlRTLFq9Gayub+ROpF2k7Rk0n OsBAzOY/japgDPlXwfD+RFs2XcWagHBEzsVzmLqQqSGfZxWkqbf4wfMMUqldYZNUqBMd zbSCrJ/vhq+/mfLLtJ4gDw7+ozf1E9ztYtlOzTlsEvJpYJoR4j5BBtM4zQPlAqCc6AIT P7roD3xZ6FXlQSxfd4/eqKmNx//lY4/QlbTBlUt3PrvihHWRZZKu2/dZWaB5JfwAs6d8 VLxA== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=Desms+My; spf=pass (google.com: domain of k.kapulkin@gmail.com designates 2a00:1450:4864:20::52e as permitted sender) smtp.mailfrom=k.kapulkin@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Received: from mail-ed1-x52e.google.com (mail-ed1-x52e.google.com. [2a00:1450:4864:20::52e]) by gmr-mx.google.com with ESMTPS id p16si1657677wre.4.2020.01.21.20.18.22 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Tue, 21 Jan 2020 20:18:22 -0800 (PST) Received-SPF: pass (google.com: domain of k.kapulkin@gmail.com designates 2a00:1450:4864:20::52e as permitted sender) client-ip=2a00:1450:4864:20::52e; Received: by mail-ed1-x52e.google.com with SMTP id m8so5302301edi.13 for ; Tue, 21 Jan 2020 20:18:22 -0800 (PST) X-Received: by 2002:aa7:d511:: with SMTP id y17mr1239160edq.41.1579666701911; Tue, 21 Jan 2020 20:18:21 -0800 (PST) MIME-Version: 1.0 From: Chris Kapulkin Date: Tue, 21 Jan 2020 23:18:10 -0500 Message-ID: Subject: [HoTT] fully funded graduate positions in Math at UWO To: 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=Desms+My; spf=pass (google.com: domain of k.kapulkin@gmail.com designates 2a00:1450:4864:20::52e 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 type theory. The February 1st deadline is very close, so apply soon, but also note that applications will continue to be reviewed past the deadline as space permits. 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/CAEXhy3OWmW9OGOXw2THnrh-n1%3D5FXAUJ14oq_f7jdCoqssLPHQ%40mail.gmail.com.