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=DKIMWL_WL_MED,DKIM_SIGNED, DKIM_VALID,DKIM_VALID_AU,HTML_MESSAGE,MAILING_LIST_MULTI, RCVD_IN_DNSWL_NONE,T_KAM_HTML_FONT_INVALID autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 7253 invoked from network); 23 Sep 2022 16:00:45 -0000 Received: from mail-io1-xd3a.google.com (2607:f8b0:4864:20::d3a) by inbox.vuxu.org with ESMTPUTF8; 23 Sep 2022 16:00:45 -0000 Received: by mail-io1-xd3a.google.com with SMTP id f11-20020a5d858b000000b006a17b75af65sf171982ioj.13 for ; Fri, 23 Sep 2022 09:00:45 -0700 (PDT) ARC-Seal: i=2; a=rsa-sha256; t=1663948843; cv=pass; d=google.com; s=arc-20160816; b=Ci1SA8G+TvTd4QYM5kaC55zagz9B4fD39WzU59UKdM5A9mnvW81f8F1AcZc4ZLPxvl grx37mcgk0thVskvUCOHoaKp12A/D8KKu//L2hfeBy5NLKMFVuddkXQViidiqXFl2guB WVXNA4RDZoF96J/VysJ+OL/qjKH35bdD8yNzp1+HAMNeMYxOr61vihc1DoXtkIvotbo/ oDyMuPfOExdu5VHN92HWUG+GVynL7f3BvwK1nBhcGBnoSuRvnJwhr2emxb0vmptBiHR1 /bBf/VxtoSh7V+xNdOSb9S0h/lblrzUahF05Hjn/HHsWpoxj4VL51G6CqoOUDuKwap1K uNnQ== ARC-Message-Signature: i=2; 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:reply-to:to:subject:message-id:date :from:mime-version:dkim-filter:dmarc-filter:dkim-signature; bh=qn4Nk4OieumpMT14vmuZqVBPJu3U+KaxxNXPiZ8jzJM=; b=Vi/V5C4vw0fyC8bqqZ6Ar+Lc7bcDAMnJUxuVlYe3cuwZpG7e2TnIe7mkC3+qcD2RTT cj8x4CjE0NkucEPxh0/mz2r/+BF1VyEwRAetLeblWPEAH933ElTViYbqDghYfb0hyGtQ rQTSUzboDb+LjzUA2WzYaTIX2eUzpevmakfk9NaePhgF4FvrlIRbN9xE8cElTYy2BMk6 0lp370vCX7TO/xmEvemhx6HFt0djzNzMXKFMsm9cM+K5+1/zF5xpNfVrTqh+pOOS9Im2 JRQsR1T7LIOHAeOAXKikpZgJf0RrXTUcStPjzFYnruwTMNpU8jlBJejtIxJ7H3PJezcK 8Ulg== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@umn.edu header.s=google header.b=nMsuA1Wk; spf=pass (google.com: domain of kbh@umn.edu designates 134.84.196.205 as permitted sender) smtp.mailfrom=kbh@umn.edu; dmarc=pass (p=REJECT sp=REJECT dis=NONE) header.from=umn.edu DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20210112; h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post :list-id:mailing-list:precedence:reply-to :x-original-authentication-results:x-original-sender:to:subject :message-id:date:from:mime-version:dkim-filter:dmarc-filter:from:to :cc:subject:date; bh=qn4Nk4OieumpMT14vmuZqVBPJu3U+KaxxNXPiZ8jzJM=; b=UUL9T+hKhcJ7X0EX8FwCX5TOB3yHjy4K6L6nczgtkCYFmNIxuQB1YM6OwXgfkaLO1b X+HCXvFQZbqUgb9pTDsE7r0iXeMzPjahbTPSZyTLNwKoVkRoArQ3ZJgwXGtRb1k8lQFi vKsni2NvxhcwRE1eRGZsBYS2Fv6pg0wwVT+Yyv0EsimfZ2cdQ9sbs+9QzihOer45WM6b FtqPvw7iyLaAvQCNSlxO+8wxFscV5vn3Rjk0QO4FPEW7f+zVxb7A+ljmpigL+qmiAsz7 l8nqJwgcyJvdhMO4qQS1e+yNij8mP3YouHdhU+rwvSFAcrrZZIrobCzoPEmPmMvN3U+V 9SWw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post :x-spam-checked-in-group:list-id:mailing-list:precedence:reply-to :x-original-authentication-results:x-original-sender:to:subject :message-id:date:from:mime-version:dkim-filter:dmarc-filter :x-gm-message-state:from:to:cc:subject:date; bh=qn4Nk4OieumpMT14vmuZqVBPJu3U+KaxxNXPiZ8jzJM=; b=g+KfVE86VFB0cD7huq/wC/Bq2MtmCFjiIDxJiodpryecrlLUdEDFqT+3h4hCK+M/yg dPxfqGMUMmGvLgYI9ZLdJbJ5EoN0fo4Se/0fC0tMjLQU+sn8v+4bhYOT2FUbbdY+S82I wYpr78zx+/8710UGj7pf9lR+3jRmILfDBZEh/+KaL1MPRIL9JD7JMunov4QNgKHoPBDW oXS8/cZRM2Zc+N2mmQoUNhIdi3x0B/NAFFHE4vvEbtB+y6H4brwKImcRk49BVgBwRlt6 zadHDls8Apa+cxHFrYAc5//btsSiqeWqBWgmaz8zMBzv7A1GYzCKKFGYgTfzmGze5/dk sieA== X-Gm-Message-State: ACrzQf3/MlyC8zc5R8lKesqwxV3ZJG2cy9Glam1TwGMrxZDxJfpWzeTb Ku5NIrd8woyKEv31ypjWbd0= X-Google-Smtp-Source: AMsMyM4B/Pc5uphEAboPRLN65Pi1xw/geQWrwHk3j3YBXobolRi805pe/yctc17ZHZBKqEoNXb/dww== X-Received: by 2002:a05:6638:2686:b0:35a:40db:95ea with SMTP id o6-20020a056638268600b0035a40db95eamr5182844jat.303.1663948843750; Fri, 23 Sep 2022 09:00:43 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a02:238c:0:b0:35a:4cbc:c60e with SMTP id u134-20020a02238c000000b0035a4cbcc60els3704879jau.11.-pod-prod-gmail; Fri, 23 Sep 2022 09:00:42 -0700 (PDT) X-Received: by 2002:a05:6638:3821:b0:35a:1973:ae9 with SMTP id i33-20020a056638382100b0035a19730ae9mr4721331jav.313.1663948842671; Fri, 23 Sep 2022 09:00:42 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1663948842; cv=none; d=google.com; s=arc-20160816; b=Ug263hkUjyK35e4b3AyXiKWz3oItlFK98llLyiwxJTRtxFJk2opBcTp4o6aWSJLHy8 cIHj4u5QcNur2vmPkj5A/B4z0/rZ5OypmN54+5iuKcXDobdawkVmBqzCyC+AI8O92Iub sqG0ZKhCIISUk4iiwhCNlTQ7a7NLS18Q+SH92zShe1mPDCgbB6J4dA7BNfJF/Zv8lTGR SoRUoUOV2/JazBx/Rpm9Vr7ESWfUMIZNYlaxjhh6vaOQca6J9B0TGKL6TYGvtvEJLFBu s0hX8SzmUDBx3JJ2g1+kZCLtBXLCeLTwm1po4O3+FiiJIzchKXDNktSQ2J1OnmnJEKhs jMAQ== 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 :dkim-filter:dmarc-filter; bh=MIzqappvLp3M7WYRNm4JlObm+WIsiaHqxEukzPEagsg=; b=yWlEcfE9YM0DnDcz6QEID/QuwVtkJDNMMeCyigpTu74HbFWxjB0cqBnRoNi7Lr1cun vWBeeMGBMuK1W3e+llXzFjClEJgTauQB3UNNzhPIycWgbM8fNRgnL7qhVboIOP4ZKZuJ qP4M5QTkSk3uhmG2QLKMWdfHAT3oUHlShzCYe+QuhYQmeSymwE9QWL0kGYxc1rMHLM5+ sgpfteozsgr9WMKe+5WDLuvy5nmd3TXl/VIriB3aJj2swNNVMkVzcZQNqkxLkAER1uOv 3NClGWDAPIZPmxDMETPt5gZfQR+Ozva8E0g9fJVSqQPEzqhpLYJwPcdsbNUWhqyAhCET jsPw== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@umn.edu header.s=google header.b=nMsuA1Wk; spf=pass (google.com: domain of kbh@umn.edu designates 134.84.196.205 as permitted sender) smtp.mailfrom=kbh@umn.edu; dmarc=pass (p=REJECT sp=REJECT dis=NONE) header.from=umn.edu Received: from mta-p5.oit.umn.edu (mta-p5.oit.umn.edu. [134.84.196.205]) by gmr-mx.google.com with ESMTPS id x18-20020a056602161200b00684c9b5bc7asi618595iow.1.2022.09.23.09.00.42 for (version=TLS1_2 cipher=ECDHE-ECDSA-AES128-GCM-SHA256 bits=128/128); Fri, 23 Sep 2022 09:00:42 -0700 (PDT) Received-SPF: pass (google.com: domain of kbh@umn.edu designates 134.84.196.205 as permitted sender) client-ip=134.84.196.205; Received: from localhost (unknown [127.0.0.1]) by mta-p5.oit.umn.edu (Postfix) with ESMTP id 4MYxhB1pdLz9vKlq for ; Fri, 23 Sep 2022 16:00:42 +0000 (UTC) X-Virus-Scanned: amavisd-new at umn.edu Received: from mta-p5.oit.umn.edu ([127.0.0.1]) by localhost (mta-p5.oit.umn.edu [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id F_ba_oyjGtDE for ; Fri, 23 Sep 2022 11:00:42 -0500 (CDT) Received: from mail-lj1-f198.google.com (mail-lj1-f198.google.com [209.85.208.198]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) by mta-p5.oit.umn.edu (Postfix) with ESMTPS id 4MYxh94xp5z9vKlj for ; Fri, 23 Sep 2022 11:00:41 -0500 (CDT) DMARC-Filter: OpenDMARC Filter v1.3.2 mta-p5.oit.umn.edu 4MYxh94xp5z9vKlj DKIM-Filter: OpenDKIM Filter v2.11.0 mta-p5.oit.umn.edu 4MYxh94xp5z9vKlj Received: by mail-lj1-f198.google.com with SMTP id r17-20020a2e9951000000b0026c37a02656so133313ljj.20 for ; Fri, 23 Sep 2022 09:00:41 -0700 (PDT) X-Received: by 2002:ac2:4c47:0:b0:499:9ada:8616 with SMTP id o7-20020ac24c47000000b004999ada8616mr3823187lfk.377.1663948840717; Fri, 23 Sep 2022 09:00:40 -0700 (PDT) X-Received: by 2002:ac2:4c47:0:b0:499:9ada:8616 with SMTP id o7-20020ac24c47000000b004999ada8616mr3823151lfk.377.1663948840215; Fri, 23 Sep 2022 09:00:40 -0700 (PDT) MIME-Version: 1.0 From: "'Favonia' via Homotopy Type Theory" Date: Fri, 23 Sep 2022 11:00:00 -0500 Message-ID: Subject: [HoTT] PLMW@POPL 2023: Call For Scholarship Applications (DEADLINE: 10/14 AoE) To: types-announce@lists.seas.upenn.edu, coq-club@inria.fr, agda@lists.chalmers.se, haskell-cafe@haskell.org, ssreflect@inria.fr, eutypes@cs.ru.nl, cl-isabelle-users@lists.cam.ac.uk, hol-info@lists.sourceforge.net, ProofTheory@lists.bath.ac.uk, univalent-mathematics@googlegroups.com, Homotopy Type Theory Content-Type: multipart/alternative; boundary="0000000000008bcacf05e95a47dc" X-Original-Sender: kbh@umn.edu X-Original-Authentication-Results: gmr-mx.google.com; dkim=pass header.i=@umn.edu header.s=google header.b=nMsuA1Wk; spf=pass (google.com: domain of kbh@umn.edu designates 134.84.196.205 as permitted sender) smtp.mailfrom=kbh@umn.edu; dmarc=pass (p=REJECT sp=REJECT dis=NONE) header.from=umn.edu X-Original-From: Favonia Reply-To: Favonia 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: , --0000000000008bcacf05e95a47dc Content-Type: text/plain; charset="UTF-8" CALL FOR SCHOLARSHIP APPLICATIONS *DEADLINE: 14 October 2022, 23:59 AoE* (Anywhere on Earth) ACM SIGPLAN Programming Languages Mentoring Workshop Location: Boston, Massachusetts, USA Date: Tuesday, January 17, 2023 Web page: https://popl23.sigplan.org/home/PLMW-POPL-2023 Following the success of the first eleven Programming Languages Mentoring Workshops at POPL 2012-2022, we are pleased to announce the 12th SIGPLAN Programming Languages Mentoring Workshop (PLMW), co-located with POPL 2023 and organized by Hannah Gommerstadt, Michael Greenberg, Kuen-Bang Hou (Favonia), and Robbert Krebbers. The workshop will take place *in person* in Boston. PLMW aims to encourage graduate students and senior undergraduate students to pursue careers in programming language (PL) research. This workshop will bring together world leaders in PL research and teaching from both academia and industry to provide (a) technical sessions on cutting-edge PL research and (b) mentoring sessions on how to prepare for a research career. The workshop will help students imagine how they might contribute to our vibrant and thriving research community. We especially encourage women, members of underrepresented minorities, and people with disabilities to attend PLMW. This workshop is part of the activities surrounding POPL, the Symposium on Principles of Programming Languages, and takes place the day before the main conference. One goal of the workshop is to make the POPL conference more accessible to newcomers. We hope that participants will stay for the whole conference. A number of sponsors (listed below) have generously donated scholarship funds for qualified students to attend PLMW. These scholarships can cover expenses (airfare, hotel, and registration fees) for attendance at both the workshop and the POPL conference itself. The workshop registration is open to all (with or without scholarships). Students with alternative sources of funding are welcome as well. APPLICATION FOR PLMW SCHOLARSHIP The application form can be accessed at the following URL: https://forms.gle/Ct19QcsKjSLoE38B9 The deadline for full consideration of funding is *14 October 2022, 23:59 AoE.* Confirmed sponsors so far: - NSF - ACM SIGPLAN - Jane Street - Galois -- 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/CAH_%2BrvcaV%3DBxS2NQ%2BkaX2hqbjDhTNuxM1T_ap%2B%2BPNuXY_o678Q%40mail.gmail.com. --0000000000008bcacf05e95a47dc Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable

CALL FOR SCHOLARSHI= P APPLICATIONS

DEADLINE: 14 October 2022, 23:59 AoE (Anywhere on Earth)


A= CM SIGPLAN Programming Languages Mentoring Workshop

Location: Boston, Mas= sachusetts, USA

Date: Tuesday, January 17, 2023

Web page: https://popl23.sigplan.org/home/PLMW-POPL-2023<= /span>


Following the success of the first eleven Programming Languages Me= ntoring Workshops at POPL 2012-2022, we are pleased to announce the 12th SI= GPLAN Programming Languages Mentoring Workshop (PLMW), co-located with POPL= 2023 and organized by Hannah Gommerstadt, Michael Greenberg, Kuen-Bang Hou= (Favonia), and Robbert Krebbers. The workshop will take place in person= in Boston.


PLMW aims to enc= ourage graduate students and senior undergraduate students to pursue career= s in programming language (PL) research. This workshop will bring together = world leaders in PL research and teaching from both academia and industry t= o provide (a) technical sessions on cutting-edge PL research and (b) mentor= ing sessions on how to prepare for a research career. The workshop will hel= p students imagine how they might contribute to our vibrant and thriving re= search community.


We especially encourage women, members of und= errepresented minorities, and people with disabilities to attend PLMW.


This workshop is part of the activities surrounding POPL, the Symposium on= Principles of Programming Languages, and takes place the day before the ma= in conference. One goal of the workshop is to make the POPL conference more= accessible to newcomers. We hope that participants will stay for the whole= conference.


A number of sponsors (listed below) have generously donat= ed scholarship funds for qualified students to attend PLMW. These scholarsh= ips can cover expenses (airfare, hotel, and registration fees) for attendan= ce at both the workshop and the POPL conference itself. The workshop regist= ration is open to all (with or without scholarships). Students with alterna= tive sources of funding are welcome as well.=C2=A0


APPLICATION FOR PLM= W SCHOLARSHIP


The application form can be accessed at the following UR= L:


https://forms.gle/Ct19QcsKjSLoE38B9


The deadline for full consideration of funding is 14 October 202= 2, 23:59 AoE.


Confirmed sponsors so far:

  • NSF

  • ACM SIGPLAN

    • Jane Street

  • Galois

--
You received this message because you are subscribed to the Google Groups &= quot;Homotopy Type Theory" group.
To unsubscribe from this group and stop receiving emails from it, send an e= mail to = HomotopyTypeTheory+unsubscribe@googlegroups.com.
To view this discussion on the web visit h= ttps://groups.google.com/d/msgid/HomotopyTypeTheory/CAH_%2BrvcaV%3DBxS2NQ%2= BkaX2hqbjDhTNuxM1T_ap%2B%2BPNuXY_o678Q%40mail.gmail.com.
--0000000000008bcacf05e95a47dc--