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.
- 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
Brigitte Pientka McGill University
|How to Write Papers So People Can Read ThemMentoring Event|
Derek Dreyer MPI-SWSFile Attached
10:30 - 12:30
|Making Progress Under Uncertainty in SMT Solving, Research, and LifeMentoring Event|
Lindsey Kuper University of California, Santa CruzMedia Attached
|Research as a collaborative effortMentoring Event|
Marco Gaboardi Boston UniversityMedia Attached File Attached
|Theorem provers are a P.L. researcher's best friendMentoring Event|
Xavier Leroy Collège de FranceMedia Attached File Attached
14:00 - 15:05
William J. Bowman University of British Columbia, Kenny Foner Galois, Andrew Hirsch Max Planck Institute for Software Systems, Taro Sekiyama National Institute of Informatics, Juliana Franco Microsoft Research, Cambridge, Hannah Gommerstadt Vassar CollegeMedia Attached
15:35 - 17:45
|How Can I Academia When My Brain Can't Even? Mental Health in Grad School and BeyondMentoring Event|
Kenny Foner GaloisMedia Attached
|Automated Program Verification using Abductive ReasoningMentoring Event|
Isil Dillig University of Texas AustinMedia Attached