There are simultaneous interlinked crises across the planet due to human actions: climate change, biodiversity loss, and desertification. Addressing these challenges requires, amongst other things, a global understanding of the present state of affairs and the effectiveness of our adaptations and mitigations, leveraging both data and computation.

However, programming the computer systems required to effectively ingest, clean, collate, process, explore, archive, and derive policy decisions from the planetary data we are collecting is difficult and leads to artefacts presently not usable by non-CS-experts, not reliable enough for scientific and political decision making, and not widely and openly available to all interested parties. Concurrently, domains where computational techniques are already central (e.g., climate modelling) are facing diminishing returns from current hardware trends and software techniques.

PROPL explores 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.

This is the second edition of the workshop. The first edition was co-located with POPL 2024 in London.

Accepted Papers and Talks

Call for Papers

There are simultaneous crises across the planet due to rising CO2 emissions, rapid biodiversity loss, and desertification. Assessing progress on these complex and interlocking issues requires a global view on the effectiveness of our adaptations and mitigations. To succeed in the coming decades, we need a wealth of new data about our natural environment that we rapidly process into accurate indicators, with sufficient trust in the resulting insights to make decisions that affect the lives of billions of people worldwide.

However, programming the computer systems required to effectively ingest, clean, collate, process, explore, archive, and derive policy decisions from the planetary data we are collecting is difficult and leads to artefacts presently not usable by non-CS-experts, not reliable enough for scientific and political decision making, and not widely and openly available to all interested parties. Concurrently, domains where computational techniques are already central (e.g., climate modelling) are facing diminishing returns from current hardware trends and software techniques.

PROPL explores 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. We welcome contributions in the following forms:

• Provocations: (any length), short position pieces proposing and outlining a problem, application area, challenge, or capacity gap, that might be addressable by members of the community. We especially welcome such contributions from domain experts outside computer science. Please submit these using the form available at https://forms.gle/DV2rA1iUgNwxfjiW6

• Short papers: (up to 5 pages, excluding bibliography and appendices), addressing a topic within the scope of the workshop. We take a generous view on paper styles, given the relative youth of this workshop, so a problem statement, application or tool paper, a note on research outcomes, identification of a capacity gap or research topic are all welcome submissions. These should be formatted using the acmart SIGPLAN double-column format, i.e., \documentclass[sigplan]{acmart}. Review is conducted single-blind (that is, the reviewers will be anonymous, but you should include your names and affiliations in the submitted paper). Papers will appear in the ACM Digital Library.

• Talk proposal: Please submit an abstract of a talk aligned with the topics of the workshop. This could include reporting on existing work, a demo, open problems, work in progress, or new ideas and speculation. Multiple talk proposals may be combined into panel discussions, depending on the submitted topics.

Significant dates:

• Deadline: 8th July 2025 AoE (Updated)
• Notification: 11th August 2025
• Camera ready: 22nd August 2025

Programming Committee:

• KC Sivaramakrishnan (IIT Madras) (PC chair)
• Chinmayi Baramashetru (University of Kent)
• Valentin Churavy (University of Augsburg)
• Justin Hsu (Cornell)
• Roly Perera (University of Cambridge)
• Benjamin Pierce (University of Pennsylvania)
• Lisa Rennels (Stanford)
• Aaditeshwar Seth (IIT Delhi)
• Lauritz Thamsen (University of Glasgow)
• Michele Weiland (University of Edinburgh)

General Chairs:

• Dominic Orchard (University of Kent and Cambridg (d.a.orchard@kent.ac.uk)
• Anil Madhavapeddy (University of Cambridge) (avsm2@cam.ac.uk)

Any comments or questions please e-mail the chairs.

Camera Ready Instructions

Once you receive notification about the publication status of your paper, the camera-ready version needs to be prepared. This process is handled by the Conference Publishing team. Please read the following instructions carefully.

You must have your camera-ready PDF uploaded to HotCRP by the 22nd August 2025 (AoE). Accepted papers have a page limit of 6 pages (excluding references and acknowledgements), and must adhere to the ACM SIGPLAN templates (two column).

Please also check that your HotCRP profiles include the correct affiliation (including its country) and your institutional e-mail addresses (not gmail.com, etc). This is because In order to apply institutional open access to the paper, ACM checks the affiliation and the institutional e-mail address of the primary author against its database of institutions that are registered for this program.

Once you have uploaded your camera-ready, a separate author kit will follow by email from the Conference Publishing team. The official publication date is the date the proceedings are made available in the ACM Digital Library. This date may be up to two weeks prior to the first day of your conference. The official publication date affects the deadline for any patent filings related to published work.