Program - POPL 2021

Detailed Table Session Timeline Detailed Timeline Column Timeline

Time Zone

The program is currently displayed in (GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

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

Mon 18 Jan
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

14:30 - 15:15	Session 0PLMW at PLMW Chair(s): Justin Hsu University of Wisconsin-Madison, USA

14:30 45m Talk		Think Abstractly, Work Concretely PLMW Ichiro Hasuo National Institute of Informatics, Japan Media Attached

16:00 - 17:30	Session 1PLMW at PLMW Chair(s): Azalea Raad Imperial College London

16:00 45m Talk		Numbers, Logic, and Decidability Results for Cyber-Physical Systems PLMW Rupak Majumdar MPI-SWS
16:45 45m Talk		The Lean Researcher PLMW Alastair F. Donaldson Imperial College London and Google

18:00 - 19:30	Session 2PLMW at PLMW Chair(s): Gabriel Scherer INRIA Saclay

18:00 45m Talk		Reasoning About Programs in Higher-Order Concurrent Separation Logic PLMW Amin Timany Aarhus University
18:45 45m Talk		εσόμεθα πολλώ κάρρονες – making your way in a changing world PLMW Sophia Drossopoulou Imperial College London

20:00 - 21:00	Monday PanelPLMW at PLMW Chair(s): Justin Hsu University of Wisconsin-Madison, USA

20:00 60m Live 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 Jan
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

14:30 - 15:30	Tuesday PanelPLMW at PLMW Chair(s): Stephanie Balzer Carnegie Mellon University, USA

14:30 60m Live 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	Session 3PLMW at PLMW Chair(s): Azalea Raad Imperial College London

16:00 45m Talk		Connecting Information Flow Types to Runtime Monitors via Gradual Typing PLMW Limin Jia Carnegie Mellon University
16:45 45m Talk		Emotional Machines PLMW Aaron Turon Fastly

PLMW 2021 Program

Mon 18 Jan
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 19 Jan
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tracks

Co-hosted Conferences

Workshops

Co-hosted Symposia

PLMW 2021 Program

Switch Program View

Program Display Configuration

Mon 18 JanDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 19 JanDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Get Calendar (iCal)

Mon 18 Jan
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 19 Jan
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change