[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