Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] PLMW@POPL 2022: Call for Applications


view this post on Zulip Email Gateway (Oct 22 2021 at 02:52):

From: Christine Rizkallah <c.rizkallah@unsw.edu.au>
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 sponsors (so far):


Last updated: Jul 15 2022 at 23:21 UTC