Write a Blog >>
POPL 2021
Sun 17 - Fri 22 January 2021 Online
Room InformationNo extra information available
Program

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
16:45
45m
Talk
The Lean Researcher
PLMW
Alastair F. Donaldson Imperial College London and Google
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

Mon 18 Jan

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

Room14:003015:003016:003017:003018:003019:003020:0030
PLMW

Tue 19 Jan

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

Room14:003015:003016:003017:0030
PLMW

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