ICFP/SPLASH 2025

Sun 12 - Sat 18 October 2025 Singapore

co-located with ICFP/SPLASH 2025

Lunch, Dinner, Coffee-breaks

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 breakICFP/SPLASH Catering at COM1 Level 2 Foyer

10:30 30m Coffee break		Break ICFP/SPLASH Catering

12:30 - 14:00	LunchICFP/SPLASH Catering at COM1 Level 2 Foyer

12:30 90m Lunch		Lunch ICFP/SPLASH Catering

15:30 - 16:00	Coffee breakICFP/SPLASH Catering at COM1 Level 2 Foyer

15:30 30m Coffee break		Break ICFP/SPLASH Catering

Mon 13 Oct
Displayed time zone: Perth change

10:10 - 10:50	Coffee breakICFP/SPLASH Catering at Orchid Dining Hall

10:10 40m Coffee break		Break ICFP/SPLASH Catering

12:10 - 13:40	LunchICFP/SPLASH Catering at Orchid Dining Hall

12:10 90m Lunch		Lunch ICFP/SPLASH Catering

15:20 - 16:00	Coffee breakICFP/SPLASH Catering at Orchid Dining Hall

15:20 40m Coffee break		Break ICFP/SPLASH Catering

18:00 - 20:00	ICFP ReceptionICFP Student Research Competition / ICFP/SPLASH 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

10:10 - 10:50	Coffee breakICFP/SPLASH Catering at Orchid Dining Hall

10:10 40m Coffee break		Break ICFP/SPLASH Catering

12:10 - 13:40	LunchICFP/SPLASH Catering at Orchid Dining Hall

12:10 90m Lunch		Lunch ICFP/SPLASH Catering

15:20 - 16:00	Coffee breakICFP/SPLASH Catering at Orchid Dining Hall

15:20 40m Coffee break		Break ICFP/SPLASH Catering

Wed 15 Oct
Displayed time zone: Perth change

10:10 - 10:50	Coffee breakICFP/SPLASH Catering at Orchid Dining Hall

10:10 40m Coffee break		Break ICFP/SPLASH Catering

12:10 - 13:40	LunchICFP/SPLASH Catering at Orchid Dining Hall

12:10 90m Lunch		Lunch ICFP/SPLASH Catering

15:20 - 16:00	Coffee breakICFP/SPLASH Catering at Orchid Dining Hall

15:20 40m Coffee break		Break ICFP/SPLASH Catering

Thu 16 Oct
Displayed time zone: Perth change

10:00 - 10:30	Coffee breakICFP/SPLASH Catering at Orchid Dining Hall

10:00 30m Coffee break		Break ICFP/SPLASH Catering

12:15 - 13:45	LunchICFP/SPLASH Catering at Orchid Dining Hall

12:15 90m Lunch		Lunch ICFP/SPLASH Catering

15:30 - 16:00	Coffee breakICFP/SPLASH Catering at Orchid Dining Hall

15:30 30m Coffee break		Break ICFP/SPLASH Catering

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

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

18:00 - 20:00	SPLASH Posters SessionSPLASH Posters at Orchid Dining Hall

18:00 2h Poster		Toward Automated Verification of Static Analysis Results of Android Applications SPLASH Posters Hannuri Kim Chungnam National University, Sungho Lee Chungnam National University, Korea
18:00 2h Poster		Existentialize your Generics SPLASH Posters Dimi Racordon EPFL, Matt Bovel EPFL, Hamza Remmal EPFL, LAMP
18:00 2h Poster		View Types in Rust SPLASH Posters Sasha Pak Australian National University, Richard Willie National University of Singapore, Umang Mathur National University of Singapore, Singapore, Fabian Muehlboeck Australian National University, Alex Potanin Australian National University
18:00 2h Poster		Simplifying Lifter-generated Emulation Style LLVM IR for Analysis Suitability SPLASH Posters Yujin An Chungnam National University, Sungho Lee Chungnam National University, Korea
18:00 2h Poster		Verifying Extract Method Refactoring in Rust SPLASH Posters Matthew Britton The Australian National University, Alex Potanin Australian National University, Sasha Pak Australian National University
18:00 2h Poster		Reproducibility Debt in Scientific Software SPLASH Posters Zara Hassan Australian National University, Christoph Treude Singapore Management University, Graham Williams Australian National University, Michael Norrish Australian National University, Alex Potanin Australian National University
18:00 2h Poster		Lemma Discovery for Inductive Equational Proofs via Recursive Function Synthesis SPLASH Posters Mingyu Jo Korea University, Hakjoo Oh Korea University
18:00 2h Poster		Logically Qualified Types for Scala SPLASH Posters Matt Bovel EPFL, Quentin Bernet EPFL, Valentin Schneeberger EPFL
18:00 2h Poster		Incremental and Unbounded Loop Analysis SPLASH Posters Arpita Dutta National University of Singapore, Joxan Jaffar National University of Singapore
18:00 2h Poster		Type Checking for Python Using Intersection Types SPLASH Posters Mingyeong Jeong Chungnam National University, Sungho Lee Chungnam National University, Korea
18:00 2h Poster		Current Practices for Building LLM-Powered Reasoning Tools Are Ad Hoc—and We Can do Better SPLASH Posters Aaron Bembenek The University of Melbourne

Fri 17 Oct
Displayed time zone: Perth change

10:00 - 10:30	Coffee breakICFP/SPLASH Catering at Orchid Dining Hall

10:00 30m Coffee break		Break ICFP/SPLASH Catering

	10:30 - 12:15	SRC PresentationsSPLASH Student Research Competition at Orchid Small

12:15 - 13:45	LunchICFP/SPLASH Catering at Orchid Dining Hall

12:15 90m Lunch		Lunch ICFP/SPLASH Catering

15:30 - 16:00	Coffee breakICFP/SPLASH Catering at Orchid Dining Hall

15:30 30m Coffee break		Break ICFP/SPLASH Catering

Sat 18 Oct
Displayed time zone: Perth change

10:00 - 10:30	Coffee breakICFP/SPLASH Catering at Orchid Dining Hall

10:00 30m Coffee break		Break ICFP/SPLASH Catering

12:15 - 13:45	LunchICFP/SPLASH Catering at Orchid Dining Hall

12:15 90m Lunch		Lunch ICFP/SPLASH Catering

15:30 - 16:00	Coffee breakICFP/SPLASH Catering at Orchid Dining Hall

15:30 30m Coffee break		Break ICFP/SPLASH Catering

Unscheduled Events

Not scheduled
Dinner

Dinner

ICFP/SPLASH Catering

Events

	Title
	Break ICFP/SPLASH Catering
	Dinner ICFP/SPLASH Catering
	Lunch ICFP/SPLASH Catering

CateringICFP/SPLASH 2025

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

Unscheduled Events

Events

Tracks

Co-hosted Conferences

Workshops

Co-hosted Symposia

CateringICFP/SPLASH 2025

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

Unscheduled Events

Events

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