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
Sun 14 Jan 2024
Mon 15 Jan 2024
Tue 16 Jan 2024
Sat 20 Jan 2024
Rooms
Flowers Room
Maxwell Library
Riverside Room
Siemens Boardroom
Tracks
POPL Catering
PROPL
Badges
Remote
Your Program
Nothing to filter
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 |