POPL 2024
Sun 14 - Sat 20 January 2024 London, United Kingdom
Sat 20 Jan 2024 16:20 - 16:40 at Flowers Room - Policy and decision making / Brainstorming Chair(s): Vashti Galpin

The rational of the workshop is that, to tackle the crises induced by CO$_2$ emissions, we need to translate “a wealth of new data about our natural environment” into trustable insights that allow “to make decisions that affect the lives of billions of people worldwide” but that the computer systems currently available for this translation are not adequate. Hence the need to “close the gap” between state-of-the-art programming methods being developed in academia and climate science. We argue that this analysis is correct but too narrow and that computer science can contribute more than by “just” helping programming the computer systems that are needed to process planetary data. We propose a computational, Leibnizian approach in dealing with the climate crisis and outline work done over more than a decade in this direction. (A sequence of papers related to this are available online here: https://github.com/DSLsofMath/FPClimate )

Sat 20 Jan

Displayed time zone: London change

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