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 16mTalk | 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 16mTalk | 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 16mTalk | 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 16mPaper | 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 |