ICFP 2024 (series) / PLMW @ ICFP 2024 (series) /
PLMW @ ICFP 2024 Program
This is the PLMW @ ICFP 2024 program - see the full program for ICFP 2024 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Mon 2 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Mon 2 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 10:30 | Icebreaker and Getting the Most Out of ICFPPLMW @ ICFP at Orange 3 Chair(s): Stefan K. Muller Illinois Institute of Technology | ||
09:00 5mDay opening | Welcome PLMW @ ICFP Ningning Xie University of Toronto; Google DeepMind, Stefan K. Muller Illinois Institute of Technology, Thomas Bourgeat EPFL | ||
09:05 40mOther | PLMW Icebreaker Session PLMW @ ICFP | ||
09:45 45mTalk | Getting the Most Out of ICFP PLMW @ ICFP Samantha Frohlich University of Bristol | ||
11:00 - 12:30 | Panel and Speed MentoringPLMW @ ICFP at Orange 3 Chair(s): Stefan K. Muller Illinois Institute of Technology | ||
11:00 60mPanel | Research, Grad School, Community - Let's chat! PLMW @ ICFP Niki Vazou IMDEA Software Institute, Aymeric Fromherz Inria, Sam Lindley University of Edinburgh, Andreas Rossberg Independent, Samantha Frohlich University of Bristol | ||
12:00 30mSocial Event | Speed mentoring PLMW @ ICFP | ||
14:00 - 15:30 | Technical SessionPLMW @ ICFP at Orange 3 Chair(s): Ningning Xie University of Toronto; Google DeepMind | ||
14:00 45mTalk | How to read a research paper PLMW @ ICFP Simon Peyton Jones Epic Games | ||
14:45 45mTalk | Self-verification for Proof Assistants PLMW @ ICFP Yannick Forster Inria | ||
16:00 - 17:30 | Sharing ExperiencesPLMW @ ICFP at Orange 3 Chair(s): Ningning Xie University of Toronto; Google DeepMind | ||
16:00 45mTalk | My PhD Compass: 6 Ways to Guide a PhD Towards Success PLMW @ ICFP Harrison Goldstein University of Maryland College Park | ||
16:45 45mDay closing | Conclusion, survey and unstructured time PLMW @ ICFP | ||