ICFP 2022
Sun 11 - Fri 16 September 2022 Ljubljana, Slovenia

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.

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

Sun 11 Sep

Displayed 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
60m
Registration
Registration
Catering & social

09:00 - 10:30
Opening SessionPLMW @ ICFP at Kosovel
09:00
45m
Other
Opening Remarks
PLMW @ ICFP
Kristopher Micinski Syracuse University
09:45
45m
Talk
How to thrive as a PhD student
PLMW @ ICFP
Sam Westrick Carnegie Mellon University
10:30 - 11:00
Coffee breakCatering & social at Foyer 2 +96h +120h
10:30
30m
Coffee break
Coffee break
Catering & social

11:00 - 12:30
Topics of Interest and Navigating a PhDPLMW @ ICFP at Kosovel
11:00
45m
Panel
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
45m
Talk
Getting the Most Out of ICFP
PLMW @ ICFP
Paulette Koronkevich University of British Columbia
12:30 - 14:00
LunchCatering & social at Foyer 2 +120h +96h
12:30
90m
Lunch
Lunch
Catering & social

14:00 - 15:30
Learning about Lean and yourselfPLMW @ ICFP at Kosovel
14:00
45m
Talk
Introduction to Lean
PLMW @ ICFP
Sebastian Ullrich Karlsruhe Institute of Technology, David Thrane Christiansen The Haskell Foundation
14:45
45m
Talk
How Can I Academia When My Brain Can't Even? Mental Health in Grad School and Beyond
PLMW @ ICFP
15:30 - 16:00
Coffee breakCatering & social at Foyer 2 +96h +120h
15:30
30m
Coffee break
Coffee break
Catering & social

16:00 - 17:30
Closing SessionPLMW @ ICFP at Kosovel
16:00
90m
Talk
How to Write Papers and Give Talks That People Can Follow
PLMW @ ICFP
Derek Dreyer MPI-SWS