Conference Dates
Conference Dates are in time zone (GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna, and may differ from the viewed time zone.
Rooms
Tracks
Badges
Your Program
Mon 18 Jan Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Mon 18 Jan
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
14:30 - 15:15 Talk | Think Abstractly, Work Concretely PLMW Ichiro HasuoNational Institute of Informatics, Japan Media Attached |
16:00 - 16:45 Talk | Numbers, Logic, and Decidability Results for Cyber-Physical Systems PLMW Rupak MajumdarMPI-SWS | ||
16:45 - 17:30 Talk | The Lean Researcher PLMW Alastair DonaldsonImperial College London and Google |
18:00 - 18:45 Talk | Reasoning About Programs in Higher-Order Concurrent Separation Logic PLMW Amin TimanyAarhus University | ||
18:45 - 19:30 Talk | εσόμεθα πολλώ κάρρονες – making your way in a changing world PLMW Sophia DrossopoulouImperial College London |
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
Tue 19 Jan
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
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 - 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 Aaron TuronFastly |
Mon 18 Jan Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Mon 18 Jan
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Room | 14:00 | 30 | 15:00 | 30 | 16:00 | 30 | 17:00 | 30 | 18:00 | 30 | 19:00 | 30 | 20:00 | 30 |
---|
Tue 19 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
Room | 14:00 | 30 | 15:00 | 30 | 16:00 | 30 | 17:00 | 30 |
---|
Mon 18 Jan Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Mon 18 Jan
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Room | 14:00 | 15 | 30 | 45 | 15:00 | 15 | 30 | 45 | 16:00 | 15 | 30 | 45 | 17:00 | 15 | 30 | 45 | 18:00 | 15 | 30 | 45 | 19:00 | 15 | 30 | 45 | 20:00 | 15 | 30 | 45 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
PLMW | PLMW Think Abstractly, Work Concretely 14:30 - 15:15 | PLMW The Lean Researcher 16:45 - 17:30 | PLMW Panel: Doing Research in PL 20:00 - 21:00 |
Tue 19 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
Room | 14:00 | 15 | 30 | 45 | 15:00 | 15 | 30 | 45 | 16:00 | 15 | 30 | 45 | 17:00 | 15 | 30 | 45 | ||||||||||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
PLMW | PLMW Panel: Navigating PhD studies 14:30 - 15:30 | PLMW Emotional Machines 16:45 - 17:30 |
Mon 18 Jan Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Mon 18 Jan
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
PLMW | |||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|
14:20 | |||||||||||||
14:40 | |||||||||||||
15:00 | |||||||||||||
15:20 | |||||||||||||
15:40 | |||||||||||||
16:00 | |||||||||||||
16:20 | |||||||||||||
16:40 | |||||||||||||
17:00 | |||||||||||||
17:20 | |||||||||||||
17:40 | |||||||||||||
18:00 | |||||||||||||
18:20 | |||||||||||||
18:40 | |||||||||||||
19:00 | |||||||||||||
19:20 | |||||||||||||
19:40 | |||||||||||||
20:00 | |||||||||||||
20:20 | |||||||||||||
20:40 | |||||||||||||
21:00 | |||||||||||||
Tue 19 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
PLMW | ||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|
14:20 | ||||||||||||
14:40 | ||||||||||||
15:00 | ||||||||||||
15:20 | ||||||||||||
15:40 | ||||||||||||
16:00 | ||||||||||||
16:20 | ||||||||||||
16:40 | ||||||||||||
17:00 | ||||||||||||
17:20 | ||||||||||||
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