ICFP/SPLASH 2025
Sun 12 - Sat 18 October 2025 Singapore

This program is tentative and subject to change.

Mon 13 Oct 2025 17:23 - 17:40 at Peony NE - Lightning talks and demos

This proposal envisions an ambitious but practicable transition to a collaborative scientific workflow where thousands of scientists and other stakeholders, assisted in the future by safely sandboxed AI agents, work together within a computational commons—which we call Fairground—where thousands of scientific artifacts are authored, collected, and maintained together in executable form in a manner that is FAIR (findable, accessible, interoperable, and reusable), reproducible, and live by default.

This program is tentative and subject to change.

Mon 13 Oct

Displayed time zone: Perth change

16:00 - 17:40
Lightning talks and demosPROPL at Peony NE
16:00
16m
Talk
Challenges in Practice: Building a Usable Library for Planetary-Scale Embeddings
PROPL
Sadiq Jaffer University of Cambridge, Frank Feng University of Cambridge, Robin Young University of Cambridge, Srinivasan Keshav University of Cambridge, Anil Madhavapeddy University of Cambridge, UK
16:16
16m
Talk
Scaling the Urban Forest: An Integrated Framework for Managing Cities by Fusing Raster and Vector Data
PROPL
Andrés C. Zúñiga-González University of Cambridge, Anil Madhavapeddy University of Cambridge, UK, Ronita Bardhan University of Cambridge
16:33
16m
Talk
Spatial Programming for Environmental Monitoring
PROPL
Josh Millar Imperial College London, Ryan Gibb University of Cambridge, Roy Ang University of Cambridge, Hamed Haddadi Imperial College London, Anil Madhavapeddy University of Cambridge, UK
17:23
16m
Paper
A FAIR Case for a Live Computational Commons
PROPL
Cyrus Omar University of Michigan, Michael Coblenz University of California, San Diego, Anil Madhavapeddy University of Cambridge, UK