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.
Conference DayTue 21 JanDisplayed time zone: Saskatchewan, Central America change
09:00 - 10:00
Brigitte PientkaMcGill University
|How to Write Papers So People Can Read ThemMentoring Event|
Derek DreyerMPI-SWSFile Attached
10:30 - 12:30
|Making Progress Under Uncertainty in SMT Solving, Research, and LifeMentoring Event|
Lindsey KuperUniversity of California, Santa CruzMedia Attached
|Research as a collaborative effortMentoring Event|
Marco GaboardiBoston UniversityMedia Attached File Attached
|Theorem provers are a P.L. researcher's best friendMentoring Event|
Xavier LeroyCollège de FranceMedia Attached File Attached
14:00 - 15:05
William J. BowmanUniversity of British Columbia, Kenny FonerGalois, Andrew HirschMax Planck Institute for Software Systems, Taro SekiyamaNational Institute of Informatics, Juliana FrancoMicrosoft Research, Cambridge, Hannah GommerstadtVassar 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 FonerGaloisMedia Attached
|Automated Program Verification using Abductive ReasoningMentoring Event|
Isil DilligUniversity of Texas AustinMedia Attached