Spatial Programming for Environmental Monitoring
This program is tentative and subject to change.
Large-scale environmental monitoring demands real-time, spatially-aware coordination across distributed networks. However, existing distributed computing models poorly capture spatial structure, hindering dynamic collaboration and fine-grained access control. We argue that space must be treated as a first-class concept in programming models for these systems based on bigraphs – a formalism that explicitly models spatial arrangements, data movement, and access policies, while supporting real-time reconfiguration and localised reasoning. This approach facilitates secure, composable, and dynamically verifiable coordination across geographically distributed nodes and organisations, paving the way for scalable, responsive environmental networks.
This program is tentative and subject to change.
Mon 13 OctDisplayed time zone: Perth change
16:00 - 17:40 | |||
16:00 15mTalk | 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, Robin Young University of Cambridge | ||
16:15 15mPaper | STACD: STAC Extension with DAGs for Geospatial Data and Algorithm Management PROPL Saharsh Laud Indian Institute Of Technology Delhi, Saurabh Joshi Indian Institute Of Technology Delhi, Tarun Mangla Indian Institute Of Technology Delhi, Abhilash Jindal IIT Delhi, India, Aaditeshwar Seth Indian Institute Of Technology Delhi | ||
16:30 15mTalk | 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 | ||
16:45 15mPaper | Yirgacheffe: a declarative approach to geospatial data PROPL Michael Dales University of Cambridge, UK, Alison Eyres University of Cambridge, Patrick Ferris University of Cambridge, UK, Anil Madhavapeddy University of Cambridge, UK, Francesca A. Ridley Newcastle University, Simon Tarr IUCN | ||
17:00 15mTalk | Large Language Models for computational climate analysis PROPL Jay Torry University of Cambridge | ||
17:15 15mTalk | 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 | ||
17:30 10mDay closing | Closing thoughts from the chairs PROPL Anil Madhavapeddy University of Cambridge, UK, KC Sivaramakrishnan IIT Madras and Tarides, Dominic Orchard University of Cambridge; University of Kent | ||
Please see https://icfp25.sigplan.org/attending/Information-for-Attendees for information on remote and in-person participation for this talk.