[TYPES/announce] Call for Contributions - 2nd Workshop on Programming for the Planet (PROPL) co-located with ICFP-SPLASH 2025

[Dominic Orchard]

Call for Contributions - 2nd Workshop on Programming for the Planet (PROPL)
co-located with ICFP-SPLASH 2025

Monday 13th Oct 2025, Singapore

https://urldefense.com/v3/__https://conf.researchr.org/home/icfp-splash-2025/propl-2025__;!!IBzWLUs!SYaSFAgkzriijisH3B5arF3ariG5XNFR-zoQf0kY8fyeBVndwrIyAc7sGTcTpua9raR4sA_E7WZ77reebcaN3lQkfI7VfLrLF1o$ 

<https://urldefense.com/v3/__https://eur03.safelinks.protection.outlook.com/?url=https*3A*2F*2Fconf.researchr.org*2Fhome*2Ficfp-splash-2025*2Fpropl-2025&data=05*7C02*7Cdao29*40universityofcambridgecloud.onmicrosoft.com*7C90df5e569def4d0bd32308dd71c87d87*7C49a50445bdfa4b79ade3547b4f3986e9*7C1*7C0*7C638791828118901210*7CUnknown*7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ*3D*3D*7C0*7C*7C*7C&sdata=2ejS95H*2FQ*2Bs*2BncixhwFQHsk9upZwASg2suI0uUVDLPM*3D&reserved=0__;JSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSU!!IBzWLUs!SYaSFAgkzriijisH3B5arF3ariG5XNFR-zoQf0kY8fyeBVndwrIyAc7sGTcTpua9raR4sA_E7WZ77reebcaN3lQkfI7Val6MvGc$ >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://urldefense.com/v3/__https://forms.gle/DV2rA1iUgNwxfjiW6__;!!IBzWLUs!SYaSFAgkzriijisH3B5arF3ariG5XNFR-zoQf0kY8fyeBVndwrIyAc7sGTcTpua9raR4sA_E7WZ77reebcaN3lQkfI7V28mrgYk$ 
<https://urldefense.com/v3/__https://eur03.safelinks.protection.outlook.com/?url=https*3A*2F*2Fforms.gle*2FDV2rA1iUgNwxfjiW6&data=05*7C02*7Cdao29*40universityofcambridgecloud.onmicrosoft.com*7C90df5e569def4d0bd32308dd71c87d87*7C49a50445bdfa4b79ade3547b4f3986e9*7C1*7C0*7C638791828118928167*7CUnknown*7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ*3D*3D*7C0*7C*7C*7C&sdata=UTN9sw87u5MCq6fF6NcG2pSObmj2QfAmVBCD3KD10lU*3D&reserved=0__;JSUlJSUlJSUlJSUlJSUlJSUlJSUl!!IBzWLUs!SYaSFAgkzriijisH3B5arF3ariG5XNFR-zoQf0kY8fyeBVndwrIyAc7sGTcTpua9raR4sA_E7WZ77reebcaN3lQkfI7VdeEKMC0$ >

* Short papers: (up to 5 pages, excluding bibliography and appendices),
addressing a topic within the scope of the workshop. These should be
formatted using the acmart SIGPLAN double-column format, i.e.,
`\documentclass[sigplan]{acmart}`. Papers will appear in the ACM Digital
Library. Please submit these at https://urldefense.com/v3/__https://propl25.hotcrp.com__;!!IBzWLUs!SYaSFAgkzriijisH3B5arF3ariG5XNFR-zoQf0kY8fyeBVndwrIyAc7sGTcTpua9raR4sA_E7WZ77reebcaN3lQkfI7VFUS7q04$ 
<https://urldefense.com/v3/__https://eur03.safelinks.protection.outlook.com/?url=https*3A*2F*2Fpropl25.hotcrp.com*2F&data=05*7C02*7Cdao29*40universityofcambridgecloud.onmicrosoft.com*7C90df5e569def4d0bd32308dd71c87d87*7C49a50445bdfa4b79ade3547b4f3986e9*7C1*7C0*7C638791828118946600*7CUnknown*7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ*3D*3D*7C0*7C*7C*7C&sdata=mHbjdc1lhozOlQvMP8tkBhXv76NA0lEx2cvrKHVEWjw*3D&reserved=0__;JSUlJSUlJSUlJSUlJSUlJSUlJSUl!!IBzWLUs!SYaSFAgkzriijisH3B5arF3ariG5XNFR-zoQf0kY8fyeBVndwrIyAc7sGTcTpua9raR4sA_E7WZ77reebcaN3lQkfI7VdAelihA$ >


* 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. Please submit these at https://urldefense.com/v3/__https://propl25.hotcrp.com__;!!IBzWLUs!SYaSFAgkzriijisH3B5arF3ariG5XNFR-zoQf0kY8fyeBVndwrIyAc7sGTcTpua9raR4sA_E7WZ77reebcaN3lQkfI7VFUS7q04$ 
<https://urldefense.com/v3/__https://eur03.safelinks.protection.outlook.com/?url=https*3A*2F*2Fpropl25.hotcrp.com*2F&data=05*7C02*7Cdao29*40universityofcambridgecloud.onmicrosoft.com*7C90df5e569def4d0bd32308dd71c87d87*7C49a50445bdfa4b79ade3547b4f3986e9*7C1*7C0*7C638791828118946600*7CUnknown*7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ*3D*3D*7C0*7C*7C*7C&sdata=mHbjdc1lhozOlQvMP8tkBhXv76NA0lEx2cvrKHVEWjw*3D&reserved=0__;JSUlJSUlJSUlJSUlJSUlJSUlJSUl!!IBzWLUs!SYaSFAgkzriijisH3B5arF3ariG5XNFR-zoQf0kY8fyeBVndwrIyAc7sGTcTpua9raR4sA_E7WZ77reebcaN3lQkfI7VdAelihA$ >


Significant dates:

- Deadline: 3rd July 2025 AoE
- Notification: 7th August 2025
- Camera ready: 22nd August 2025

Programming Committee:

- 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)
- KC Sivaramakrishnan (IIT Madras)
- Lauritz Thamsen (University of Glasgow)
- Michele Weiland (University of Edinburgh)

Chairs:
Any comments or questions please e-mail the chairs:
- Dominic Orchard (University of Kent and Cambridge) (d.a.orchard at kent.ac.uk
)
- Anil Madhavapeddy (University of Cambridge) (avsm2 at cam.ac.uk)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20250402/57dbeb82/attachment-0001.htm>