Program - ICFP/SPLASH 2025

Detailed Table Session Timeline Detailed Timeline

Time Zone

The program is currently displayed in (GMT+08:00) Perth.

Use conference time zone: (GMT+08:00) PerthSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

You're viewing the program in a time zone which is different from your device's time zone change time zone

Sun 12 Oct
Displayed time zone: Perth change

10:30 - 11:00	Coffee breakCatering at COM1 Level 2 Foyer

10:30 30m Coffee break		Break Catering

12:30 - 14:00	LunchCatering at COM1 Level 2 Foyer

12:30 90m Lunch		Lunch Catering

15:30 - 16:00	Coffee breakCatering at COM1 Level 2 Foyer

15:30 30m Coffee break		Break Catering

Mon 13 Oct
Displayed time zone: Perth change

09:00 - 10:10	Monday ICFP KeynoteICFP Papers / ICFP Keynotes at Orchid Plenary Ballroom Chair(s): Ilya Sergey National University of Singapore

09:00 5m Day opening		Opening ICFP Papers I: Ilya Sergey National University of Singapore
09:05 5m Talk		JFP Announcement ICFP Papers Derek Dreyer MPI-SWS
09:10 60m Keynote		Functional Programming for Hardware Design ICFP Keynotes Satnam Singh Independent

10:10 - 10:50	Coffee breakCatering at Orchid Dining Hall

10:10 40m Coffee break		Break Catering

10:50 - 12:05	Programming for biodiversity and climatePROPL at Peony NE Chair(s): Dominic Orchard University of Cambridge; University of Kent

10:50 10m Day opening		Welcome to the 2nd PROPL PROPL Anil Madhavapeddy University of Cambridge, UK, KC Sivaramakrishnan IIT Madras and Tarides, Dominic Orchard University of Cambridge; University of Kent DOI File Attached
11:00 20m Talk		Programming Opportunities for the Global Biodiversity Observation Network Remote PROPL Jean-Michel Lord McGill University, Jamie M. Kass Tohoko University, Andrew Gonzalez McGill University, Michael Dales University of Cambridge, UK, Anil Madhavapeddy University of Cambridge, UK Link to publication Pre-print File Attached
11:20 20m Paper		Bridging Disciplinary Gaps in Climate Research Through Programming Accessibility and Interdisciplinary Collaboration Remote PROPL Cristian Urlea University Of Glasgow, Ana Denisa Urlea Romanian Air Traffic Services Administration, Wim Vanderbauwhede University of Glasgow, Adriana Laura Voinea University of Glasgow, UK, Syed Waqar Nabi University of Glasgow Link to publication DOI
11:40 20m Talk		Precision Action Towards Climate and Health (PATCH) Remote PROPL Dr. Angela Chaudhuri Swasti, Nitish Kumar Venkatesan Catalyst Management Services Pvt. Ltd., Prerakkumar Mukeshkumar Shah Catalyst Management Services Pvt. Ltd., Sabhimanvi Dua Swasti

12:10 - 13:40	LunchCatering at Orchid Dining Hall

12:10 90m Lunch		Lunch Catering

13:40 - 15:20	Principled scientific programmingPROPL at Peony NE Chair(s): KC Sivaramakrishnan IIT Madras and Tarides

13:40 20m Paper		GPU-accelerated Hydrology Algorithms for On-prem Computation: Flow accumulation, Drainage lines, Watershed delineation, Runoff simulation PROPL rahul kumar , Vatsal Jingar IIT Delhi, Abhilash Jindal IIT Delhi, India, Aaditeshwar Seth Indian Institute Of Technology Delhi DOI
14:00 20m Talk		Authoring Tools for Transparent Climate Reporting PROPL Roly Perera University of Cambridge/University of Bristol, Joe Bond University of Bristol, UK, Cristina David University of Bristol, Andrew McNutt University of Utah, Alfonso Piscitelli University of Salerno
14:20 20m Talk		What we talk about when we talk about scientific programming PROPL Patrick Ferris University of Cambridge, UK Media Attached
14:40 20m 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 DOI Pre-print
15:00 20m Paper		Towards Modelling and Verification of Coupler Behaviour in Climate Models PROPL Chinmayi Prabhu Baramashetru University of Oslo, Dominic Orchard University of Cambridge; University of Kent DOI Pre-print

15:20 - 16:00	Coffee breakCatering at Orchid Dining Hall

15:20 40m Coffee break		Break Catering

16:00 - 17:40	Lightning talks and demosPROPL at Peony NE Chair(s): Anil Madhavapeddy University of Cambridge, UK

16:00 15m 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, Robin Young University of Cambridge
16:15 15m Paper		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 DOI
16:30 15m 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
16:45 15m Paper		Yirgacheffe: a declarative approach to geospatial data Remote 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 DOI Media Attached
17:00 15m Other		Should we use LLMs to program for the planet? Remote PROPL Jay Torry University of Cambridge
17:15 15m 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
17:30 10m Day 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

18:00 - 20:00	ICFP ReceptionICFP Student Research Competition / Catering at Garden Walk

18:00 2h Social Event		ICFP SRC Poster Session ICFP Student Research Competition

Tue 14 Oct
Displayed time zone: Perth change

09:00 - 10:10	Tuesday ICFP KeynoteICFP Keynotes at Orchid Plenary Ballroom Chair(s): Peter Thiemann University of Freiburg

09:00 70m Keynote		The Rational Programmer, A Method for Investigating Programming Language Pragmatics ICFP Keynotes Christos Dimoulas Northwestern University

10:10 - 10:50	Coffee breakCatering at Orchid Dining Hall

10:10 40m Coffee break		Break Catering

12:10 - 13:40	LunchCatering at Orchid Dining Hall

12:10 90m Lunch		Lunch Catering

15:20 - 16:00	Coffee breakCatering at Orchid Dining Hall

15:20 40m Coffee break		Break Catering

Wed 15 Oct
Displayed time zone: Perth change

09:00 - 10:10	Wednesday ICFP KeynoteICFP Keynotes at Orchid Plenary Ballroom Chair(s): Dominique Devriese KU Leuven

09:00 70m Keynote		Proof-Carrying Neuro-Symbolic Code ICFP Keynotes Ekaterina Komendantskaya Heriot-Watt University and Southampton University

10:10 - 10:50	Coffee breakCatering at Orchid Dining Hall

10:10 40m Coffee break		Break Catering

12:10 - 13:40	LunchCatering at Orchid Dining Hall

12:10 90m Lunch		Lunch Catering

15:20 - 16:00	Coffee breakCatering at Orchid Dining Hall

15:20 40m Coffee break		Break Catering

Thu 16 Oct
Displayed time zone: Perth change

10:00 - 10:30	Coffee breakCatering at Orchid Dining Hall

10:00 30m Coffee break		Break Catering

12:15 - 13:45	LunchCatering at Orchid Dining Hall

12:15 90m Lunch		Lunch Catering

15:30 - 16:00	Coffee breakCatering at Orchid Dining Hall

15:30 30m Coffee break		Break Catering

18:00 - 20:00	SPLASH ReceptionSPLASH Student Research Competition / Catering at Garden Walk

18:00 2h Social Event		SPLASH SRC Poster Session SPLASH Student Research Competition

Fri 17 Oct
Displayed time zone: Perth change

10:00 - 10:30	Coffee breakCatering at Orchid Dining Hall

10:00 30m Coffee break		Break Catering

12:15 - 13:45	LunchCatering at Orchid Dining Hall

12:15 90m Lunch		Lunch Catering

15:30 - 16:00	Coffee breakCatering at Orchid Dining Hall

15:30 30m Coffee break		Break Catering

Sat 18 Oct
Displayed time zone: Perth change

10:00 - 10:30	Coffee breakCatering at Orchid Dining Hall

10:00 30m Coffee break		Break Catering

12:15 - 13:45	LunchCatering at Orchid Dining Hall

12:15 90m Lunch		Lunch Catering

15:30 - 16:00	Coffee breakCatering at Orchid Dining Hall

15:30 30m Coffee break		Break Catering

PROPL 2025 Program

Sun 12 Oct
Displayed time zone: Perth change

Mon 13 Oct
Displayed time zone: Perth change

Tue 14 Oct
Displayed time zone: Perth change

Wed 15 Oct
Displayed time zone: Perth change

Thu 16 Oct
Displayed time zone: Perth change

Fri 17 Oct
Displayed time zone: Perth change

Sat 18 Oct
Displayed time zone: Perth change

Tracks

Co-hosted Conferences

Workshops

Co-hosted Symposia

PROPL 2025 Program

Switch Program View

Program Display Configuration

Sun 12 OctDisplayed time zone: Perth change

Mon 13 OctDisplayed time zone: Perth change

Tue 14 OctDisplayed time zone: Perth change

Wed 15 OctDisplayed time zone: Perth change

Thu 16 OctDisplayed time zone: Perth change

Fri 17 OctDisplayed time zone: Perth change

Sat 18 OctDisplayed time zone: Perth change

Get Calendar (iCal)

Sun 12 Oct
Displayed time zone: Perth change

Mon 13 Oct
Displayed time zone: Perth change

Tue 14 Oct
Displayed time zone: Perth change

Wed 15 Oct
Displayed time zone: Perth change

Thu 16 Oct
Displayed time zone: Perth change

Fri 17 Oct
Displayed time zone: Perth change

Sat 18 Oct
Displayed time zone: Perth change