[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
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.

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

Sun 23 Sep

Displayed time zone: Guadalajara, Mexico City, Monterrey change

09:00 - 10:00
09:00
30m
Talk
What an SMT solver can do for you
PLMW @ ICFP
Nadia Polikarpova University of California, San Diego
09:30
30m
Talk
Gradual Types
PLMW @ ICFP
Ronald Garcia University of British Columbia
10:20 - 12:00
10:20
30m
Talk
I'm a Young Assistant Professor: AMA. + Heather's Unsolicited Advice About Grad School
PLMW @ ICFP
Heather Miller Carnegie Mellon University
10:50
70m
Social Event
Interactive Game
PLMW @ ICFP
Joachim Breitner DFINITY Foundation, Niki Vazou University of Maryland, USA
13:30 - 15:10
13:30
33m
Talk
How to write a Great Research Paper
PLMW @ ICFP
Simon Peyton Jones Microsoft, UK
14:03
33m
Talk
Dependent Types
PLMW @ ICFP
Stephanie Weirich University of Pennsylvania, USA
14:36
34m
Talk
An opinionated talk on how to give talks
PLMW @ ICFP
Ranjit Jhala University of California, San Diego
15:30 - 16:30
15:30
60m
Talk
Panel Discussion: Research in Functional Programming
PLMW @ ICFP
Alejandro Russo Chalmers University of Technology, Sweden, Katie Ots Facebook, Leonidas Lampropoulos University of Pennsylvania, David Darais University of Vermont, Ivan Perez National Institute of Aerospace, USA