POPL 2024 (series) / PLMW @ POPL 2024 (series) /
PLMW @ POPL 2024 Program
This is the PLMW @ POPL 2024 program - see the full program for POPL 2024 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Sun 14 JanDisplayed time zone: London change
Sun 14 Jan
Displayed time zone: London change
10:30 - 11:00 | |||
10:30 30mCoffee break | Break Catering | ||
10:30 - 11:00 | |||
10:30 30mCoffee break | Break Catering | ||
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering | ||
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering | ||
15:30 - 16:00 | |||
15:30 30mCoffee break | Break Catering | ||
15:30 - 16:00 | |||
15:30 30mCoffee break | Break Catering | ||
Mon 15 JanDisplayed time zone: London change
Mon 15 Jan
Displayed time zone: London change
10:30 - 11:00 | |||
10:30 30mCoffee break | Break Catering | ||
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering | ||
15:30 - 16:00 | |||
15:30 30mCoffee break | Break Catering | ||
Tue 16 JanDisplayed time zone: London change
Tue 16 Jan
Displayed time zone: London change
09:00 - 10:30 | |||
09:00 10mDay opening | Opening PLMW @ POPL Derek Dreyer MPI-SWS | ||
09:10 35mSocial Event | Ice Breaker PLMW @ POPL | ||
09:45 45mTalk | The Evolution of Effects PLMW @ POPL Nicolas Wu Imperial College London | ||
10:30 - 11:00 | |||
10:30 - 11:00 | |||
10:30 30mCoffee break | Break Catering | ||
11:00 - 12:30 | Second SessionPLMW @ POPL at Turing Lecture Chair(s): Leonidas Lampropoulos University of Maryland, College Park | ||
11:00 45mTalk | Refinement Types from Light to Deep Verification PLMW @ POPL Niki Vazou IMDEA Software Institute | ||
11:45 45mPanel | Panel PLMW @ POPL Leonidas Lampropoulos University of Maryland, College Park, Derek Dreyer MPI-SWS, Jules Jacobs Radboud University Nijmegen, Niki Vazou IMDEA Software Institute, Sam Westrick Carnegie Mellon University | ||
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering | ||
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering | ||
14:00 - 15:30 | |||
14:00 45mTalk | The Potential of Information-Flow Control Research for helping GDPR Compliance PLMW @ POPL Alejandro Russo Chalmers University of Technology, Sweden | ||
14:45 45mTalk | Consider Collaboration PLMW @ POPL | ||
15:30 - 16:00 | |||
15:30 30mCoffee break | Break Catering | ||
15:30 - 16:00 | |||
15:30 30mCoffee break | Break Catering | ||
16:00 - 17:30 | |||
16:00 45mTalk | How to Give a Talk PLMW @ POPL Neel Krishnaswami University of Cambridge | ||
16:45 45mTalk | Managing undergraduate research, as mentor and mentee PLMW @ POPL Mae Milano Princeton University | ||
18:00 - 21:30 | |||
18:00 3h30mSocial Event | Jane Street Board Game Night PLMW @ POPL | ||
Sat 20 JanDisplayed time zone: London change
Sat 20 Jan
Displayed time zone: London change
10:30 - 11:00 | |||
10:30 30mCoffee break | Break Catering | ||
10:30 - 11:00 | |||
10:30 30mCoffee break | Break Catering | ||
10:30 - 11:00 | |||
10:30 30mCoffee break | Break Catering | ||
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering | ||
12:30 - 14:00 | |||
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering | ||
15:30 - 16:00 | |||
15:30 30mCoffee break | Break Catering | ||
15:30 - 16:00 | |||
15:30 30mCoffee break | Break Catering | ||
15:30 - 16:00 | |||
15:30 30mCoffee break | Break Catering | ||