Programming for the Planet
propl.dev
The 3rd Programming for the Planet (PROPL) workshop will be co-located with PLDI in Boulder, Colorado (in hybrid mode) on 15th June 2026.
👤 Joined on 03 April 2025
50
Followers
12
Following
53
Total Posts
📜 Kullanıcı Geçmişi
- 03 Nis 2025, 09:37
🎉 Bluesky'e katıldı - İlk kullanıcı adı:
@proplworkshop.bsky.social - 03 Nis 2025, 09:39
✏️ Kullanıcı adı değişti:
@proplworkshop.bsky.social→@propl.dev
🚫 Blokladığı Kullanıcılar
❤️ Beğendiği Gönderiler
#PLDI2026 is live-streaming participating sessions on YouTube! Catch workshops, keynotes, research talks, and more from the premier PL and programming systems research venue. 📺Tune in at: pldi26.sigplan.org/attending/li...
Show Post
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
Show PostPart 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... 🌍
Show Post
📹 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 👇
Show PostThe 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.
Show Post