POPL 2021 (series) / PLMW 2021 (series) /
PLMW 2021 Program
This is the PLMW 2021 program - see the full program for POPL 2021 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Mon 18 JanDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Mon 18 Jan
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
14:30 - 15:15 | |||
14:30 45mTalk | Think Abstractly, Work Concretely PLMW Ichiro Hasuo National Institute of Informatics, Japan Media Attached |
16:00 - 17:30 | |||
16:00 45mTalk | Numbers, Logic, and Decidability Results for Cyber-Physical Systems PLMW Rupak Majumdar MPI-SWS | ||
16:45 45mTalk | The Lean Researcher PLMW Alastair F. Donaldson Imperial College London and Google |
18:00 - 19:30 | |||
18:00 45mTalk | Reasoning About Programs in Higher-Order Concurrent Separation Logic PLMW Amin Timany Aarhus University | ||
18:45 45mTalk | εσόμεθα πολλώ κάρρονες – making your way in a changing world PLMW Sophia Drossopoulou Imperial College London |
20:00 - 21:00 | |||
20:00 60mLive Q&A | Panel: Doing Research in PL PLMW Greg Morrisett Cornell Tech, Susan Eisenbach Imperial College London, Sam Lindley Heriot-Watt University, UK / The University of Edinburgh, UK, Jeehoon Kang KAIST, Delphine Demange Univ Rennes, Inria, CNRS, IRISA, Kuen-Bang Hou (Favonia) University of Minnesota, Twin Cities |
Tue 19 JanDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Tue 19 Jan
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
14:30 - 15:30 | |||
14:30 60mLive Q&A | Panel: Navigating PhD studies PLMW Hila Peleg University of California at San Diego, Nick Giannarakis University of Wisconsin-Madison, Anne-Kathrin Schmuck MPI-SWS, Sacha-Élie Ayoun Imperial College London, Farzaneh Derakhshan Carnegie Mellon University, Soham Chakraborty IIT Delhi |
16:00 - 17:30 | |||
16:00 45mTalk | Connecting Information Flow Types to Runtime Monitors via Gradual Typing PLMW Limin Jia Carnegie Mellon University | ||
16:45 45mTalk | Emotional Machines PLMW Aaron Turon Fastly |