POPL 2024
Sun 14 - Sat 20 January 2024 London, United Kingdom

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
You're viewing the program in a time zone which is different from your device's time zone change time zone

Sun 14 Jan

Displayed time zone: London change

10:30 - 11:00
10:30
30m
Coffee break
Break
Catering

10:30 - 11:00
10:30
30m
Coffee break
Break
Catering

12:30 - 14:00
12:30
90m
Lunch
Lunch
Catering

12:30 - 14:00
12:30
90m
Lunch
Lunch
Catering

15:30 - 16:00
15:30
30m
Coffee break
Break
Catering

15:30 - 16:00
15:30
30m
Coffee break
Break
Catering

Mon 15 Jan

Displayed time zone: London change

10:30 - 11:00
10:30
30m
Coffee break
Break
Catering

12:30 - 14:00
12:30
90m
Lunch
Lunch
Catering

15:30 - 16:00
15:30
30m
Coffee break
Break
Catering

Tue 16 Jan

Displayed time zone: London change

10:30 - 11:00
10:30 - 11:00
10:30
30m
Coffee break
Break
Catering

12:30 - 14:00
12:30
90m
Lunch
Lunch
Catering

12:30 - 14:00
12:30
90m
Lunch
Lunch
Catering

15:30 - 16:00
15:30
30m
Coffee break
Break
Catering

15:30 - 16:00
15:30
30m
Coffee break
Break
Catering

Sat 20 Jan

Displayed time zone: London change

09:00 - 10:30
KeynotePROPL at Flowers Room
Chair(s): Anil Madhavapeddy University of Cambridge, UK
09:00
45m
Keynote
Setting the stage for AI for biodiversity
PROPL
Drew Purves Google DeepMind
09:45
45m
Keynote
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
30m
Coffee break
Break
Catering

10:30 - 11:00
10:30
30m
Coffee break
Break
Catering

10:30 - 11:00
10:30
30m
Coffee break
Break
Catering

11:00 - 12:30
Modelling and analysis / Energy and efficiencyPROPL at Flowers Room
Chair(s): Ryan Gibb
11:00
20m
Talk
The programming challenges of climate data analysis
PROPL
Ezequiel Cimadevilla Instituto de Fisica de Cantabria
11:20
20m
Talk
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
20m
Talk
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
20m
Talk
Kepler Watt Store: Kepler Software Watt Watcher StoreRemote
PROPL
PARUL SINGH RED HAT, Huamin Chen RED HAT, Christophe Laprun RED HAT
12:20
10m
Other
Discussion
PROPL

12:30 - 14:00
12:30
90m
Lunch
Lunch
Catering

12:30 - 14:00
12:30 - 14:00
12:30
90m
Lunch
Lunch
Catering

14:00 - 15:30
Software engineering and ecosystemsPROPL at Flowers Room
Chair(s): Michael Dales University of Cambridge, UK
14:00
20m
Talk
Assessing the availability, reproducibility and reuseability of research software
PROPL
Vashti Galpin University of Edinburgh
14:20
20m
Talk
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
20m
Talk
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
30m
Other
Discussion on multidisciplinary PROPL-work
PROPL
Patrick Ferris University of Cambridge, UK, Michael Dales University of Cambridge, UK
15:30 - 16:00
15:30
30m
Coffee break
Break
Catering

15:30 - 16:00
15:30
30m
Coffee break
Break
Catering

15:30 - 16:00
15:30
30m
Coffee break
Break
Catering

16:00 - 17:30
Policy and decision making / BrainstormingPROPL at Flowers Room
Chair(s): Vashti Galpin University of Edinburgh
16:00
20m
Talk
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
20m
Talk
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
50m
Other
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
:
: