@propl.dev
The 2nd Programming for the Planet (PROPL) workshop will be co-located with SPLASH and ICFP in Singapore (in hybrid mode) on 13th October 2025. Submit a paper, talk or provocation by the 3rd July! https://conf.researchr.org/home/icfp-splash-2025/propl-2025
Part 1 covers the 2nd Programming for the Planet conference (@propl.dev) organised by @kcsrk.info @dorchard.bsky.social and me. There were talks, demos and discussions about what we can do as computer scientists to avert the climate and biodiversity crises anil.recoil.org/notes/icfp25... 🌍
A five part roundup of my @icfp-conference.bsky.social experience, covering chairing @propl.dev, holding an OxCaml tutorial, speaking about Docker, and what I learnt from everyone! anil.recoil.org/notes/icfp25; above all, huge thanks to @ilyasergey.bsky.social for making this ICFP/SPLASH so good
📹 ICCS's Early Career Advanced Fellow Roly Perera presented at Programming for the Planet (PROPL) @propl.dev in Singapore – skip to 3 hours 53 mins to watch 👇
That’s a wrap for PROPL25 at @icfp-conference.bsky.social! Here’s the tired but happy organising team @anil.recoil.org @dorchard.bsky.social @kcsrk.info with @neurocy.bsky.social celebrating! Stay tuned for a writeup and enjoy our proceedings in the meantime dl.acm.org/doi/proceedi...
Andrés describes the 3 30 300 rule and how he counted every tree in the UK! #icfpsplash25
Michael Dales is up speaking about Yirgacheffe, a declarative library for geospatial python dl.acm.org/doi/abs/10.1... #icfpsplash25
@ryan.freumh.org discussing spatial programming: how can we program actions based on physical actions? Enter bigraphs! #icfpslash25
Aadi Seth is back on stage demonstrating the STACD dataflow pipeline for resource planning #icfpsplash25
Our lightning talks session opens with @sadiq.toao.com demonstrating TESSERA, their new geospatial foundation model that is FAIR and global #icfpsplash25
Lots of languages in Chinmayi’s talk; climate models in Fortran, with an OCaml static analyser for C to bridge these worlds without losing model fidelity #icfpsplash25
Chinmayi breaks down the couplers in climate models to figure out behavioural invariants across them #icfpsplash25
Chinmayi Baramashetru on the diverging architectures of climate models and how they could interoperate #icfpsplash25
@neurocy.bsky.social arguing for the digital commons as a massive single live program that’s collaboratively edited by thousands of contributors and live updated! A Wikipedia-meets-GitHub-meets-Jupyter #icfpsplash25
@neurocy.bsky.social defines the core problem as bad defaults in scientific code tools like Jupyter that make it hard to be FAIR without lots of work #icfpsplash25
@neurocy.bsky.social discussed large-scale collaborative workflows and the importance of them being FAIR dl.acm.org/doi/abs/10.1... #icfpsplash25
@patrick.sirref.org shows us a sneak preview of his new “shelter” shell that permits reuse and replay of command fragments to go back and forward in time! #icfpsplash25
@patrick.sirref.org asks “if the data changes [the results] what about the published conclusions?” (In his case, for forestry data but this applies to any policy questions driven by the results of code running) #icfpsplash25
@patrick.sirref.org up next discussing the essence of scientific programming: what does it even mean? #icfpsplash25
@f.luid.org has self explanatory, transparent text as part of its program execution to help justify claims in prose with supporting data #icfpsplash25
Roly Perera telling us about @f.luid.org which tracks data provenance and enriches web outputs with this richer context #icfpsplash25
Aadi Seth from IIT-D now telling us about the CoRE stack for rural resilience core-stack.org #icfpsplash25
The first session had an overview of programming challenges in biodiversity, climate science and data management! #icfpsplash25
PROPL25 is part of the ICFP and SPLASH conferences this year, and is being held in the gorgeous Marina Bay Sands centre in Singapore #icfpsplash25
![[ICFP/SPLASH'25] Peony NE - PROPL (Oct 12th)](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:qx4yvdxrfpob4lot7nhgj7yi/bafkreiblra44wvv3nnirtcerjswv5eqo47aua3mqqi3rm4uyqspz73vk2q@jpeg)
The 2nd PROPL is today, and will be livestreaming from www.youtube.com/watch?v=IIRJ... in an hour! Full program here conf.researchr.org/home/icfp-sp... and an overview of the program at dl.acm.org/action/showF...
Due to the world being a little unpredictable right now, we've extended the submission deadline for PROPL by a few days, so it's now 8th July 2025 AoE! conf.researchr.org/home/icfp-sp...
A reminder that our submission deadline is coming up in just over a week on the 3rd July AOE! Get your short papers in, or talk proposals, or a short provocation what's needed for programming languages research to contribute to addressing the climate crisis. propl.dev
PROPL, the workshop that inspired us to organize LOCO, is back! This time it'll take place with both ICFP and SPLASH. Have a look at the website if programming/computing as a force for good is something you care about! 💻🌍🌱📄👇
![[PROPL'24] Setting the stage for AI for biodiversity](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:qx4yvdxrfpob4lot7nhgj7yi/bafkreibfci7pnq2hgb24afd3diqddjqpin4gd4wvl56nijk5kzbj5qw7wy@jpeg)
For those curious about the first workshop in 2023, the videos are up at www.youtube.com/watch?v=yZeS... (and mirrored watch.eeg.cl.cam.ac.uk/c/propl24/vi...)
Please do consider joining the conversation by submitting a short piece, especially if you are "climate curious" and want to learn how to participate. Head over to the Call for Papers for more details conf.researchr.org/home/icfp-sp... or ask co-chairs @anil.recoil.org / @dorchard.bsky.social
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.