<div dir="ltr">Call for participation: Workshop on Programming for the Planet (PROPL)<br>Saturday 20th January<br>Co-located with POPL 2024, London, UK and Online<br><a href="https://urldefense.com/v3/__https://popl24.sigplan.org/home/propl-2024__;!!IBzWLUs!SUvxQLej0vsSSswilv7EQIoj2FwDbKvEOmb25sAvfEaw3dz2tfJzMYprCta3olE0yreWfruN4s8DrTJ6pzQtPeuonyIcf8EGpZM$">https://popl24.sigplan.org/home/propl-2024</a><br>------------------------------------------------------<br><br>The first edition of PROPL (Workshop on Programming for the Planet) will be taking place on Saturday 20th January in London, UK, co-located with POPL 2024. The workshop will be hybrid, with online participation possible.<br><br>We have a lively programme of contributed and invited talks exploring how to close the gap between state-of-the-art programming methods being developed in academia and the use of programming in climate analysis, modelling, forecasting, policy, and diplomacy. The aim is to build bridges to the current practices used in the scientific community.<br><br>Please register via the POPL website (<a href="https://urldefense.com/v3/__https://popl24.sigplan.org/__;!!IBzWLUs!SUvxQLej0vsSSswilv7EQIoj2FwDbKvEOmb25sAvfEaw3dz2tfJzMYprCta3olE0yreWfruN4s8DrTJ6pzQtPeuonyIcJxVK0dw$">https://popl24.sigplan.org/</a>) for<br>either in-person or online participation. For more details see: <a href="https://urldefense.com/v3/__https://popl24.sigplan.org/home/propl-2024__;!!IBzWLUs!SUvxQLej0vsSSswilv7EQIoj2FwDbKvEOmb25sAvfEaw3dz2tfJzMYprCta3olE0yreWfruN4s8DrTJ6pzQtPeuonyIcf8EGpZM$">https://popl24.sigplan.org/home/propl-2024</a><br><br>Programme outline:<br><br>* Keynotes<br><br>  - Setting the stage for AI for biodiversity (Drew Purves, Deep Mind)<br>  - Building Open Source Software for Climate Change Research — Lessons Learned from Mimi.jl (Lisa Rennels, University of California at Berkeley)<br><br>* Modelling and analysis<br><br>  - The programming challenges of climate data analysis (Ezequiel Cimadevilla)<br>  - Categorical Composition of Discrete Exterior Calculus Climate Models (Luke Morris, George Rauta, James Fairbanks)<br><br>* Energy and efficiency<br><br>  - Formal Methods to Save the Earth (Hongyi Huang, Jialin Li, Umang Mathur)<br>  - Kepler Watt Store: Kepler Software Watt Watcher Store (Parul Singh, Huamin Chen, Christophe Laprun)<br><br>* Software engineering and ecosystems<br><br>  - Assessing the availability, reproducibility and reuseability of research software (Vashti Galpin)<br>  - Fluid: towards transparent, self-explanatory research outputs (Roly Perera)<br>  - Toward a Live, Rich, Composable, and Collaborative Planetary Compute Engine (Alexander Bandukwala, Andrew Blinn, Cyrus Omar)<br><br>* Policy and decision making<br><br>  - Scalable agent-based models for optimized policy design: applications to the economics of biodiversity and carbon (Sharan Agrawal)<br>  - Can computer science help climate policy making? (Nicola Botta, Patrik Jansson)<br><br>The programme also includes time for discussion and brain-storming about how the CS/PL community can help address the current, overlapping planetary crises.<br></div>