Write a Blog >>
ICFP 2018
Sun 23 - Sat 29 September 2018 St. Louis, Missouri, United States

Videos are available online.

The purpose of the Programming Languages Mentoring Workshop (PLMW) is both to support the careers of those who are in the beginning stages of a Ph.D, and to inform people who are considering doing a Ph.D in programming languages about PL research and potential careers that follow. Through talks and panel discussions by leaders in programming language research from academia and industry, the workshop will introduce some current topics in functional programming research (providing background for some research talks at ICFP); provide some training on research skills (e.g. how to give a good talk or write a good paper; how to work with your advisor); and provide some mentoring on life as a PhD student and the types of careers that follow a PhD. The workshop will also provide opportunities to network with these senior researchers and fellow participants. While the assumed background for different talks will vary, we hope that, for example, people who have had a strong undergrad course in PL, or self-studied some PL research, or already done graduate-level coursework or some research of their own will be able to get something out of the workshop. We specifically encourage groups who have traditionally not had the opportunity to participate in research in programming languages to attend. We hope the workshop will help people imagine how they might contribute to the world through a research career in programming languages, and encourage those not yet doing a Ph.D to do so.

This workshop is part of the activities surrounding the ICFP conference and takes place the day before the main conference. One goal of the workshop is to make the ICFP conference more accessible to newcomers. We hope that participants will stay through the entire conference.

Registration Logistics

If you are eligible for a scholarship (in the beginning stages of your career, and have not been funded by a prior PLMW), please apply above. Applicants who are selected for scholarships will be instructed on how to register for ICFP and PLMW at the time of scholarship notification. Applicants who are not selected will be notified on how to register at that time as well, if they are able to fund their participation through other sources.

If you are interested in attending PLMW but not in a scholarship (e.g., you have already been funded by PLMW, or you are a more senior researcher interested in attending the talks or in mentoring the participants), please contact one of the organizers for a registration code prior to registering for ICFP. It is highly likely that you will be able to attend, subject to e.g. space constraints.

You're viewing the program in a time zone which is different from your device's time zone - change time zone

Sun 23 Sep
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

09:00 - 10:00: Session 1PLMW @ ICFP at New York Central
09:00 - 09:30
What an SMT solver can do for you
Nadia PolikarpovaUniversity of California, San Diego
09:30 - 10:00
Gradual Types
Ronald GarciaUniversity of British Columbia
10:20 - 12:00: Session 2PLMW @ ICFP at New York Central
10:20 - 10:50
I'm a Young Assistant Professor: AMA. + Heather's Unsolicited Advice About Grad School
Heather MillerCarnegie Mellon University
10:50 - 12:00
Social Event
Interactive Game
Joachim BreitnerDFINITY Foundation, Niki VazouUniversity of Maryland, USA
13:30 - 15:10: Session 3PLMW @ ICFP at New York Central
13:30 - 14:03
How to write a Great Research Paper
Simon Peyton JonesMicrosoft, UK
14:03 - 14:36
Dependent Types
Stephanie WeirichUniversity of Pennsylvania, USA
14:36 - 15:10
An opinionated talk on how to give talks
Ranjit JhalaUniversity of California, San Diego
15:30 - 16:30: Session 4PLMW @ ICFP at New York Central
15:30 - 16:30
Panel Discussion: Research in Functional Programming
Alejandro RussoChalmers University of Technology, Sweden, Katie OtsFacebook, Leonidas LampropoulosUniversity of Pennsylvania, David DaraisUniversity of Vermont, Ivan PerezNational Institute of Aerospace, USA