ICFP 2022 (series) / PLMW @ ICFP 2022 (series) /
PLMW @ ICFP 2022 Program
This is the PLMW @ ICFP 2022 program - see the full program for ICFP 2022 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Sun 11 SepDisplayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change
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 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 |
Mon 12 SepDisplayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change
Mon 12 Sep
Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change
08:00 - 08:50 | RegistrationCatering & social at Foyer 2 If you are a speaker in the first morning session you should submit your slides the day before, or arrive early in the morning to submit, preferrably already at 8:00. | ||
08:00 50mRegistration | Registration Catering & social |
08:50 - 09:00 | |||
08:50 10mDay opening | Welcome Catering & social |
10:00 - 10:30 | |||
10:00 30mCoffee break | Coffee break Catering & social |
12:10 - 13:40 | |||
12:10 90mLunch | Lunch Catering & social |
15:20 - 15:50 | |||
15:20 30mCoffee break | Coffee break Catering & social |
16:50 - 17:00 | |||
16:50 10mBreak | Break Catering & social |
19:00 - 20:00 | |||
19:00 60mSocial Event | Guided tour of Ljubljana Catering & social |
20:00 - 22:00 | |||
20:00 2hSocial Event | Reception & SRC poster presentation Catering & social |
Tue 13 SepDisplayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change
Tue 13 Sep
Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change
08:00 - 09:00 | RegistrationCatering & social at Foyer 2 If you are a speaker in the first morning session you should submit your slides the day before, or arrive early in the morning to submit, preferrably already at 8:00. | ||
08:00 60mRegistration | Registration Catering & social |
10:00 - 10:30 | |||
10:00 30mCoffee break | Coffee break Catering & social |
12:10 - 13:40 | |||
12:10 90mLunch | Lunch Catering & social |
15:20 - 15:50 | |||
15:20 30mSocial Event | CARES session Catering & social C: Gabriele Keller Utrecht University, C: Simon Peyton Jones Epic Games , C: Stephanie Weirich University of Pennsylvania |
15:20 - 15:50 | |||
15:20 30mCoffee break | Coffee break Catering & social |
16:50 - 17:00 | |||
16:50 10mBreak | Break Catering & social |
18:30 - 21:00 | |||
18:30 2h30mDinner | Women@ICFP Catering & social |
Wed 14 SepDisplayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change
Wed 14 Sep
Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change
08:00 - 09:00 | RegistrationCatering & social at Foyer 2 If you are a speaker in the first morning session you should submit your slides the day before, or arrive early in the morning to submit, preferrably already at 8:00. | ||
08:00 60mRegistration | Registration Catering & social |
10:00 - 10:30 | |||
10:00 30mSocial Event | CARES session Catering & social C: Gabriele Keller Utrecht University, C: Simon Peyton Jones Epic Games , C: Stephanie Weirich University of Pennsylvania |
10:00 - 10:30 | |||
10:00 30mCoffee break | Coffee break Catering & social |
12:10 - 13:40 | |||
12:10 90mLunch | Lunch Catering & social |
15:20 - 15:50 | |||
15:20 30mCoffee break | Coffee break Catering & social |
16:50 - 17:00 | |||
16:50 10mBreak | Break Catering & social |
Thu 15 SepDisplayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change
Thu 15 Sep
Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change
08:00 - 09:00 | |||
08:00 60mRegistration | Registration Catering & social |
10:30 - 11:00 | |||
10:30 30mCoffee break | Coffee break Catering & social |
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering & social |
15:30 - 16:00 | |||
15:30 30mCoffee break | Coffee break Catering & social |
17:30 - 20:00 | |||
17:30 2h30mSocial Event | Industrial reception Catering & social |
Fri 16 SepDisplayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change
Fri 16 Sep
Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change
08:00 - 09:00 | |||
08:00 60mRegistration | Registration Catering & social |
10:30 - 11:00 | |||
10:30 30mCoffee break | Coffee break Catering & social |
12:30 - 14:00 | |||
12:30 90mSocial Event | OCaml Industry Lunch Catering & social |
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering & social |
15:30 - 16:00 | |||
15:30 30mCoffee break | Coffee break Catering & social |
19:00 - 21:00 | OCaml & farewell receptionCatering & social at Ljubljana Zoo See event details for information on travel and free zoo entry. | ||
19:00 2hSocial Event | OCaml & farewell reception Catering & social |