POPL 2024 (series) / PROPL 2024 (series) /
PROPL 2024 Program
This is the PROPL 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
10:30 - 11:00 | |||
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 | ||
Sat 20 JanDisplayed time zone: London change
Sat 20 Jan
Displayed time zone: London change
09:00 - 10:30 | |||
09:00 45mKeynote | Setting the stage for AI for biodiversity PROPL Drew Purves Google DeepMind | ||
09:45 45mKeynote | Building Open Source Software for Climate Change Research — Lessons Learned from Mimi.jlRemote PROPL Lisa Rennels University of California at Berkeley | ||
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 | ||
11:00 - 12:30 | |||
11:00 20mTalk | The programming challenges of climate data analysis PROPL Ezequiel Cimadevilla Instituto de Fisica de Cantabria | ||
11:20 20mTalk | Categorical Composition of Discrete Exterior Calculus Climate ModelsRemote PROPL Luke Morris University of Florida, George Rauta University of Florida, James Fairbanks University of Florida | ||
11:40 20mTalk | Formal Methods to Save the Earth PROPL Hongyi Huang National University of Singapore, Jialin Li National University of Singapore, Singapore, Umang Mathur National University of Singapore | ||
12:00 20mTalk | Kepler Watt Store: Kepler Software Watt Watcher StoreRemote PROPL | ||
12:20 10mOther | Discussion PROPL | ||
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering | ||
12:30 - 14:00 | |||
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering | ||
14:00 - 15:30 | Software engineering and ecosystemsPROPL at Flowers Room Chair(s): Michael Dales University of Cambridge, UK | ||
14:00 20mTalk | Assessing the availability, reproducibility and reuseability of research software PROPL Vashti Galpin University of Edinburgh | ||
14:20 20mTalk | Fluid: towards transparent, self-explanatory research outputs PROPL Joe Bond University of Bristol, UK, Cristina David University of Bristol, Minh Nguyen University of Bristol, Roly Perera University of Cambridge/University of Bristol Pre-print | ||
14:40 20mTalk | Toward a Live, Rich, Composable, and Collaborative Planetary Compute Engine PROPL Alexander Bandukwala Unaffiliated, Andrew Blinn University of Michigan, Cyrus Omar University of Michigan | ||
15:00 30mOther | Discussion on multidisciplinary PROPL-work PROPL | ||
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 | ||
16:00 - 17:30 | Policy and decision making / BrainstormingPROPL at Flowers Room Chair(s): Vashti Galpin University of Edinburgh | ||
16:00 20mTalk | Scalable agent-based models for optimized policy design: applications to the economics of biodiversity and carbon PROPL Sharan Agrawal University of Cambridge, UK Link to publication | ||
16:20 20mTalk | Can computer science help climate policy making?Remote PROPL Nicola Botta Potsdam Institute for Climate Impact Research (PIK), Patrik Jansson Chalmers University of Technology and University of Gothenbrug | ||
16:40 50mOther | Discussion and brain storming: How can the CS/PL community help address the current planetary crises? PROPL Dominic Orchard University of Kent, UK and University of Cambridge, UK, Anil Madhavapeddy University of Cambridge, UK | ||