Programming for the Planet
propl.dev
Programming for the Planet
@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
Reposted by Programming for the Planet
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... 🌍
Programming for the Planet at ICFP/SPLASH 2025
anil.recoil.org
October 23, 2025 at 1:12 PM
Reposted by Programming for the Planet
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
A Roundup of ICFP/SPLASH 2025 happenings
anil.recoil.org
October 23, 2025 at 1:12 PM
Reposted by Programming for the Planet
📹 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 👇
Reposting — looks like organisers uploaded a new video with better audio and different timings. Authoring Tools for Transparent Climate Reporting, presented at
@propl.dev 2025: youtu.be/IIRJeleXeuU?...
@iccscambridge.bsky.social
[ICFP/SPLASH'25] Peony NE - PROPL (Oct 13th)
YouTube video by ACM SIGPLAN
youtu.be
October 14, 2025 at 2:47 PM
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...
October 13, 2025 at 2:57 PM
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...
[ICFP/SPLASH'25] Peony NE - PROPL (Oct 12th)
YouTube video by ACM SIGPLAN
www.youtube.com
October 13, 2025 at 1:20 AM
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...
June 30, 2025 at 12:50 PM
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
June 24, 2025 at 10:26 AM
Reposted by Programming for the Planet
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! 💻🌍🌱📄👇
April 3, 2025 at 2:01 PM
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...)
[PROPL'24] Setting the stage for AI for biodiversity
YouTube video by ACM SIGPLAN
www.youtube.com
April 3, 2025 at 10:01 AM
The 2nd Programming for the Planet workshop will be hybrid and co-located with ICFP/SPLASH in October in Singapore! Our call for papers is out at conf.researchr.org/home/icfp-sp..., submission deadline 3rd July 2025.
PROPL 2025 - Programming for the Planet 2025 - ICFP/SPLASH 2025
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 ...
conf.researchr.org
April 3, 2025 at 9:51 AM