Nicola Botta and I have a talk slot at "Programming for the Planet (PROPL)" with the following abstract:

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: github.com/DSLsofMath/FPClimate )