ICFP Contest Report (ICFP 2025 - ICFP Papers) - ICFP 2025

Sun 12 - Sat 18 October 2025 Singapore

co-located with ICFP/SPLASH 2025

Track

ICFP 2025 ICFP Papers

This program is tentative and subject to change.

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

When

Tue 14 Oct 2025 16:00 - 16:30 at Orchid Plenary Ballroom - ICFP Business Meeting

Bio

I am Liam O’Connor, a Senior Lecturer in Foundations at the Australian National University School of Computing. I specialise in programming languages and type systems, verification, formal methods, and concurrency

This program is tentative and subject to change.

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

Session Program

Tue 14 Oct
Displayed time zone: Perth change

	16:00 - 18:00	ICFP Business MeetingICFP Papers / ICFP Student Research Competition at Orchid Plenary Ballroom

	16:00 30m Talk		ICFP Contest Report ICFP Papers P: Liam O'Connor Australian National University
	16:30 15m Awards		Award Ceremony ICFP Papers I: Dominique Devriese KU Leuven, I: Ilya Sergey National University of Singapore
	16:45 5m Awards		SRC Awards ICFP Student Research Competition S: Kimball Germane Brigham Young University
	16:50 15m Meeting		PC Chair Report ICFP Papers I: Dominique Devriese KU Leuven
	17:05 10m Talk		General Chair Report ICFP Papers G: Ilya Sergey National University of Singapore
	17:15 10m Talk		ICFP 2026 Announcement ICFP Papers Sam Tobin-Hochstadt Indiana University

Liam O'ConnorProgramming Contest Organiser

Australian National University