PLMW Application form for funding, deadline in August 17th: https://forms.gle/hK7y9YrwASmjEiB5A
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.
Sun 11 SepDisplayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change
08:00 - 09:00 | RegistrationCatering & social at Foyer 2 +120h +48h +96h +72h All speakers speaking in the morning session should arrive early to submit the slides. We recommend that you arrive already at 8:00. | ||
08:00 60mRegistration | Registration Catering & social |
09:00 - 10:30 | |||
09:00 45mOther | Opening Remarks PLMW @ ICFP Kristopher Micinski Syracuse University | ||
09:45 45mTalk | How to thrive as a PhD student PLMW @ ICFP Sam Westrick Carnegie Mellon University |
10:30 - 11:00 | |||
10:30 30mCoffee break | Coffee break Catering & social |
11:00 - 12:30 | |||
11:00 45mPanel | Formal Methods: Theory and Practice PLMW @ ICFP Thomas Gilray University of Alabama at Birmingham, Nadia Polikarpova University of California at San Diego, Niki Vazou IMDEA Software Institute, Mike Dodds Galois, Inc., Kristopher Micinski Syracuse University, Daan Leijen Microsoft Research | ||
11:45 45mTalk | Getting the Most Out of ICFP PLMW @ ICFP Paulette Koronkevich University of British Columbia |
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering & social |
14:00 - 15:30 | |||
14:00 45mTalk | Introduction to Lean PLMW @ ICFP Sebastian Ullrich Karlsruhe Institute of Technology, David Thrane Christiansen The Haskell Foundation | ||
14:45 45mTalk | How Can I Academia When My Brain Can't Even? Mental Health in Grad School and Beyond PLMW @ ICFP |
15:30 - 16:00 | |||
15:30 30mCoffee break | Coffee break Catering & social |
16:00 - 17:30 | |||
16:00 90mTalk | How to Write Papers and Give Talks That People Can Follow PLMW @ ICFP Derek Dreyer MPI-SWS |