What is PLMW?
The Programming Languages Mentoring Workshop (PLMW) aims 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 engage students in a process of imagining 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.
A number of sponsors (listed below) have generously donated scholarship funds for qualified students to attend PLMW. These scholarships should cover reasonable 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
- The deadline for full consideration of funding is Monday, October 7.
- Selected participants will be notified by October 21.
Tue 21 JanDisplayed time zone: Saskatchewan, Central America change
09:00 - 10:00 | Morning 1PLMW at Ile de France III (IDF III) Chair(s): Stephanie Balzer Carnegie Mellon University, USA | ||
09:00 10mDay opening | Opening PLMW Brigitte Pientka McGill University | ||
09:10 50mTalk | How to Write Papers So People Can Read ThemMentoring Event PLMW Derek Dreyer MPI-SWS File Attached | ||
10:30 - 12:30 | Morning 2PLMW at Ile de France III (IDF III) Chair(s): Robbert Krebbers Delft University of Technology | ||
10:30 40mTalk | Making Progress Under Uncertainty in SMT Solving, Research, and LifeMentoring Event PLMW Lindsey Kuper University of California, Santa Cruz Media Attached | ||
11:10 40mTalk | Research as a collaborative effortMentoring Event PLMW Marco Gaboardi Boston University Media Attached File Attached | ||
11:50 40mTalk | Theorem provers are a P.L. researcher's best friendMentoring Event PLMW Xavier Leroy Collège de France Media Attached File Attached | ||
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering | ||
14:00 - 15:05 | Afternoon 1PLMW at Ile de France III (IDF III) Chair(s): Justin Hsu University of Wisconsin-Madison, USA | ||
14:00 65mTalk | PanelMentoring Event PLMW William J. Bowman University of British Columbia, Kenny Foner Galois, Andrew K. Hirsch Max Planck Institute for Software Systems, Taro Sekiyama National Institute of Informatics, Juliana Franco Microsoft Research, Cambridge, Hannah Gommerstadt Vassar College Media Attached | ||
15:35 - 17:45 | |||
15:40 60mTalk | How Can I Academia When My Brain Can't Even? Mental Health in Grad School and BeyondMentoring Event PLMW Kenny Foner Galois Media Attached | ||
16:40 10mCoffee break | Mini break PLMW | ||
16:50 45mTalk | Automated Program Verification using Abductive ReasoningMentoring Event PLMW Işıl Dillig University of Texas Austin Media Attached | ||
