[Agda] PLMW at POPL 2022: 2nd Call for Application
Robbert Krebbers
mail at robbertkrebbers.nl
Thu Oct 28 11:38:07 CEST 2021
[Please forward to interested graduate students and senior undergraduate
students who might not be on this list]
SECOND CALL FOR APPLICATIONS (**DEADLINE: November 1 AoE**)
ACM SIGPLAN Programming Languages Mentoring Workshop, Philadelphia,
Pennsylvania
Tuesday, January 18, 2022
PLMW is co-located with POPL 2022, which takes place “in person” in
Philadelphia. PLMW will feature lightweight options for “remote
participation” (details below).
Web page: https://popl22.sigplan.org/home/PLMW-2022
After the success of the first ten Programming Languages Mentoring
Workshops at POPL 2012-2021, we are announcing the 11th SIGPLAN
Programming Languages Mentoring Workshop (PLMW), co-located with the
virtual POPL 2022 and organized by Stephanie Balzer, Paul Downen,
Robbert Krebbers, and Christine Rizkallah.
The purpose of this mentoring workshop is to encourage graduate students
and senior undergraduate students to pursue careers in programming
language research. This workshop will bring together world leaders in
programming languages research and teaching from 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 research
community.
We especially encourage women and underrepresented minority students,
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 through the entire conference.
Because physical travel to the workshop location this year may be more
difficult for some, there is also an option to attend PLMW remotely.
Remote participants of PLMW will be able to view online videos of the
workshop talks, access the PLMW Slack channel, and sign up for virtual
mentoring sessions with experienced researchers.
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.
Students attending this year will get one year free student membership
of SIGPLAN, unless they prefer to opt out during their application.
The workshop registration is open to all. Students with alternative
sources of funding are welcome as well.
# APPLICATION for PLMW
The application can be accessed at the following URL:
https://forms.gle/tsQhsUyB2W4c6ps36
The deadline for full consideration of funding is Monday, November 1.
Please note on the application form whether you intend to attend PLMW
in-person, or remotely.
# Confirmed speakers (so far):=
- Alexandra Silva (Cornell University)
- Ilya Sergey (National University of Singapore)
- Niko Matsakis (Amazon Web Services)
- Liam O’Connor (University of Edinburgh)
- Talia Ringer (University of Illinois at Urbana-Champaign)
# Confirmed sponsors (so far)
- NSF
- ACM SIGPLAN
- Jane Street
- Certora
- Correct Computation
More information about the Agda
mailing list