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=-1.2 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-oi1-x237.google.com (mail-oi1-x237.google.com [IPv6:2607:f8b0:4864:20::237]) by inbox.vuxu.org (OpenSMTPD) with ESMTP id 824ee364 for ; Thu, 19 Sep 2019 15:30:20 +0000 (UTC) Received: by mail-oi1-x237.google.com with SMTP id d206sf2138909oig.6 for ; Thu, 19 Sep 2019 08:30:20 -0700 (PDT) ARC-Seal: i=2; a=rsa-sha256; t=1568907019; cv=pass; d=google.com; s=arc-20160816; b=LPCW5AZIpAoqjuRnYBt/D0EihHDJUU1RRDHPeiKDb1i6o/XPw/m30gpiecznr7inra iBzF4L4Z+nYAahbQ2aiGg9jdXwi95Q+ZtUAEZIpkXDO4EWz4p4BAEuB5blXzV8b1hQL9 K1A0BjIwIlA8lvnpUT/MNox03AjAkdkCbjrnUtOA9JGw8joBn4IGQNMWeAp/t2WsWN5w kXQd587vqG8+BUd69b1MpID9jhzRgAbGVpSNDcGJXR5cCrIGt/vXVO6ZdQA0N5MfYkuU A2gSEcWfEn1CLxNVSDwPSP7V30TxqmZDPAiila+sMM8Gcar87MErVX98M+Zny1F4FDsa Lqhg== 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=VVXEPIFSU09HyFQ8GH+E+NNODYbUdftl1Rxn8LUNx9Y=; b=HzXQ/+g6QoCk3yiSuyaamPjPg75q0xmdVkfDJI3s5mB1qDaI858n3FSlKGWUr9WRhQ XoTM/NKeaME+8MUUQyT6hskcli/L0JkoweTsxCPg2m1qaFINOcX/vlF1mkPBPt83nhro FIU6vubSjb5z7l9PEot62gZ71M6f9PZvZh8ADIpT/jR683fnXqRU98bNyZXaqEzordom IXlDg7f9rpSku7inWAUIBe6E078e1qDvx55r/X4W/itLiw1RA8DGgDKEJ230cWs5P0HZ 5tg0SD1Lqp0Kfh3VcQzqnVDG3/1R4LZ1CLlPdDxbwCc4NeoKeUWu+dceDoL/n7UvrN7O ipKw== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=MoSgP2jE; spf=pass (google.com: domain of k.kapulkin@gmail.com designates 2607:f8b0:4864:20::d34 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=VVXEPIFSU09HyFQ8GH+E+NNODYbUdftl1Rxn8LUNx9Y=; b=Znaj8WL3evQbS4RzpW0A3/vFlPPQAGrKTGAWD9uZwomGIMbPB/LCFu5EPaLH412Yh5 0dMTBXiTUiurn4VaKsKxfcEZ8boi21IIgnv95R69RwxC+OqaI3XH+jfXj/QhgdNrLSuf admyaE/Mb6dteCLntP0s1liLG2LzSk173D6y8eASUn5xC09FegU8vs69nFuATwyuzdhX 2U/TvonzGxIEYGn8Wun45ytXCG1hTU83pNfUEU0arXgeFc9PeLgmO7mt++GLZFWJW5E7 uzH81D0wtd6j4ITitV0a6LNH3R+KTroEPrcmAyJnFzcqaimxFSAMRG7+uDrNGmmMs68D bHwQ== 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=VVXEPIFSU09HyFQ8GH+E+NNODYbUdftl1Rxn8LUNx9Y=; b=eRf3rNkM3xW5pIzxrwSkdNn5DlFb5KBsV87mF5grl+jMwlSmuPgRx+VOXDNP2fomX5 1/f3XyfsVGCyA7TZNw2P70BeeJmN712bMp6LekNZoUQiGQ3SomcnALHkUWkt+RZLhtUg 3Lsmfjlcy/7OyfBa4a0g5SOmXiGi1o1YyxInqPpWfkkJdyRNYdOZWdebOZsLBlMp98p2 QWaOqcEatG+yAY3oPdl4zJ3EeXGgeptzIzufwL7etRaNaP1+uw4CeOMeX0aoCWPTIUhf YPCPyUOMpjk7JXbkt01nS1Zv+Xo5YB03eFhWTlXCnE8buHpFva9JZglNNUx9bg/QTig5 uEHg== 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=VVXEPIFSU09HyFQ8GH+E+NNODYbUdftl1Rxn8LUNx9Y=; b=mqivF/VuigFhiW8/w2QARuQA41C5yXiXSqvcmvT8wXk2qVgEIPoX1C1S7FQgjSK9b5 39lieb01KqrDX3LnXMVnxU4u1lNCiDExU/ttFAw+WyrwJ7QCuJeLPe6qP7+TYF013EX7 RgMpYE+FuMIzVVGkmT3wxeq2aA0SM/y2+R4yjEMTeyhfq77cyhpDxZkRcoc67zf1wZJy qMTT2IbA622nl0JkkBn5lQrGQ6Ld1wWfAIrX0Z+nSsM/jD9y1TibEeMe/2JuuO3YBMVX toTF/ajkGzji/ii60TxwtRIfDLEK3ksLHCA21ZThYD31EB427acIGY9Kn//6orOhJF6p t/IA== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: APjAAAW5H7LLV3HqZtTEUMsXx5+EMvRxM/s4X/qODlA1VaWmJyNyioyq UrI6FaGTwrLu3GpTCb+Ivv8= X-Google-Smtp-Source: APXvYqxiSlDJ1fP02UvQSEro7wmxu5NHCjSL9O5lO+/XWvMQPviqUsTWQNbf5Q7DLMvj4RSQf9Pkew== X-Received: by 2002:a05:6830:1507:: with SMTP id k7mr7005239otp.360.1568907019186; Thu, 19 Sep 2019 08:30:19 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a9d:5a07:: with SMTP id v7ls898020oth.7.gmail; Thu, 19 Sep 2019 08:30:17 -0700 (PDT) X-Received: by 2002:a9d:6a51:: with SMTP id h17mr2611031otn.218.1568907017860; Thu, 19 Sep 2019 08:30:17 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1568907017; cv=none; d=google.com; s=arc-20160816; b=g6C6oD5WhB/WAnNzeUqqS6YykchiYWok87jW3FfuswF/WPzDA8VGS+Lexfbv0osvz6 nNvpz4c2jDomK+K2QIS1SqoF6JpP2318KorBy8nv6+8QqLch09flWKbZhxQOLB7qS2sy 4whIERUeLzOgRzFUd1P+FZ4MGG20g9u3gzKB0W2j4+0DAnwa+QxTjjme/pvBHEhrgri3 ajGOIK+Zsb9cqtjNoVj5/67p98lYr63T0LifDMEJdjL/wJK7wNhuUjyf8mURdLCgJIWk 8353gJ8Iz/dSuNxNLbY9pHfkdE/g9ImCqT88PAnenbocvjqp1orXtFmfVK+NqvZtuk5J NJ1A== 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=6gvtsWcVfRvK0J+AL9UQYNHDi2WaFxrG46vKPW1lb3g=; b=WFOiMCPHPMJot2UiCPhXEhHMoibaUGLEZ/D07VKYEOWyJaqEtYu2I69yUv1zqJQAW5 d+8dIqFE4TodE5DYulb7ukOG9hHrqpCAFzOUi8vCTu6lR7K1arT3eAp98a+T6djXG8sJ vN+6NxknIsfEwtDh4vzpc0nsCkTSwJTyjHnitIKsuONkjJtvrNtoid+tBQnPdLuhR8Et Nh/9cAV9Ik2+ChJ+v36lQ5pqVhSKQOWhg8mhdGBdp+Tnza1dmkLon8syeBF1E9LrzQk2 AfogPHJuHLUO544aQrg0Ujw00X8BMNEx8qBPHNnw3F80RYwK7+A40wNkliR5OIVHMIVB xF7Q== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=MoSgP2jE; spf=pass (google.com: domain of k.kapulkin@gmail.com designates 2607:f8b0:4864:20::d34 as permitted sender) smtp.mailfrom=k.kapulkin@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Received: from mail-io1-xd34.google.com (mail-io1-xd34.google.com. [2607:f8b0:4864:20::d34]) by gmr-mx.google.com with ESMTPS id q3si674567ota.4.2019.09.19.08.30.17 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Thu, 19 Sep 2019 08:30:17 -0700 (PDT) Received-SPF: pass (google.com: domain of k.kapulkin@gmail.com designates 2607:f8b0:4864:20::d34 as permitted sender) client-ip=2607:f8b0:4864:20::d34; Received: by mail-io1-xd34.google.com with SMTP id v2so8616646iob.10 for ; Thu, 19 Sep 2019 08:30:17 -0700 (PDT) X-Received: by 2002:a05:6602:25c7:: with SMTP id d7mr3643296iop.44.1568907017183; Thu, 19 Sep 2019 08:30:17 -0700 (PDT) MIME-Version: 1.0 From: Chris Kapulkin Date: Thu, 19 Sep 2019 11:30:06 -0400 Message-ID: Subject: [HoTT] NSF postdocs can be held in Canada 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=MoSgP2jE; spf=pass (google.com: domain of k.kapulkin@gmail.com designates 2607:f8b0:4864:20::d34 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: , Hello all, I thought I'd let the readers of this list know that since a few years ago the NSF postdocs can be held in Canada. This is an excellent opportunity for American citizens/permanent residents that are about to finish their Ph.D. and happen to know a university in Canada with an active homotopy type theory group (wink, wink). For details, see https://www.nsf.gov/funding/pgm_summ.jsp?pims_id=5301&org=NSF The application deadline is October 16, 2019. Best, Chris -- 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/CAEXhy3N0rBi6cnmxrLFD3qv_j13dBCfH3VCKdzgQ_cT0481u%2Bw%40mail.gmail.com.