Discussion of Homotopy Type Theory and Univalent Foundations
 help / color / mirror / Atom feed
From: "'Favonia' via Homotopy Type Theory" <HomotopyTypeTheory@googlegroups.com>
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,
	 hol-info@lists.sourceforge.net, ProofTheory@lists.bath.ac.uk,
	 Homotopy Type Theory <homotopytypetheory@googlegroups.com>
Subject: [HoTT] PLMW@POPL 2023: Call For Scholarship Applications (DEADLINE: 10/14 AoE)
Date: Fri, 23 Sep 2022 11:00:00 -0500	[thread overview]
Message-ID: <CAH_+rvcaV=BxS2NQ+kaX2hqbjDhTNuxM1T_ap++PNuXY_o678Q@mail.gmail.com> (raw)

[-- Attachment #1: Type: text/plain, Size: 2701 bytes --]


*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.


The application form can be accessed at the following URL:


The deadline for full consideration of funding is *14 October 2022, 23:59

Confirmed sponsors so far:




   Jane Street


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.

[-- Attachment #2: Type: text/html, Size: 12275 bytes --]

                 reply	other threads:[~2022-09-23 16:00 UTC|newest]

Thread overview: [no followups] expand[flat|nested]  mbox.gz  Atom feed

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to='CAH_+rvcaV=BxS2NQ+kaX2hqbjDhTNuxM1T_ap++PNuXY_o678Q@mail.gmail.com' \
    --to=homotopytypetheory@googlegroups.com \
    --cc=ProofTheory@lists.bath.ac.uk \
    --cc=agda@lists.chalmers.se \
    --cc=cl-isabelle-users@lists.cam.ac.uk \
    --cc=coq-club@inria.fr \
    --cc=eutypes@cs.ru.nl \
    --cc=haskell-cafe@haskell.org \
    --cc=hol-info@lists.sourceforge.net \
    --cc=kbh@umn.edu \
    --cc=ssreflect@inria.fr \
    --cc=types-announce@lists.seas.upenn.edu \
    --cc=univalent-mathematics@googlegroups.com \


* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).