Write a Blog >>
POPL 2021
Sun 17 - Fri 22 January 2021 Online
You're viewing the program in a time zone which is different from your device's time zone - change time zone

Mon 18 Jan
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

14:30 - 15:15: Session 0PLMW at PLMW
Chair(s): Justin HsuUniversity of Wisconsin-Madison, USA
14:30 - 15:15
Talk
Think Abstractly, Work Concretely
PLMW
Ichiro HasuoNational Institute of Informatics, Japan
Media Attached
16:00 - 17:30: Session 1PLMW at PLMW
Chair(s): Azalea RaadImperial College London
16:00 - 16:45
Talk
Numbers, Logic, and Decidability Results for Cyber-Physical Systems
PLMW
16:45 - 17:30
Talk
The Lean Researcher
PLMW
Alastair DonaldsonImperial College London and Google
20:00 - 21:00: Monday PanelPLMW at PLMW
Chair(s): Justin HsuUniversity of Wisconsin-Madison, USA
20:00 - 21:00
Live Q&A
Panel: Doing Research in PL
PLMW
Greg MorrisettCornell Tech, Susan EisenbachImperial College London, Sam LindleyHeriot-Watt University, UK / The University of Edinburgh, UK, Jeehoon KangKAIST, Delphine DemangeUniv Rennes, Inria, CNRS, IRISA, Kuen-Bang Hou (Favonia)University of Minnesota, Twin Cities

Tue 19 Jan
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

14:30 - 15:30: Tuesday PanelPLMW at PLMW
Chair(s): Stephanie BalzerCarnegie Mellon University, USA
14:30 - 15:30
Live Q&A
Panel: Navigating PhD studies
PLMW
Hila PelegUniversity of California at San Diego, Nick GiannarakisUniversity of Wisconsin-Madison, Anne-Kathrin SchmuckMPI-SWS, Sacha-Élie AyounImperial College London, Farzaneh DerakhshanCarnegie Mellon University, Soham ChakrabortyIIT Delhi
16:00 - 17:30: Session 3PLMW at PLMW
Chair(s): Azalea RaadImperial College London
16:00 - 16:45
Talk
Connecting Information Flow Types to Runtime Monitors via Gradual Typing
PLMW
Limin JiaCarnegie Mellon University
16:45 - 17:30
Talk
Emotional Machines
PLMW

Mon 18 Jan
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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

Tue 19 Jan
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room14:003015:003016:003017:0030
PLMW

Mon 18 Jan
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 19 Jan
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

iCalendar subscription service for your personal schedule
You first need to have starred events () in order to use the iCalendar subscription service.
Currently Viewed Program
Downloads the currently viewed program (with filters applied) in iCal format
Session Calendar (ical)
Detailed Event Calendar (ical)