ICFP 2025

Latest Announcements

• Information for presenters at NUS (Sunday) and at MBS (Monday-Saturday) is now available!
• The registration is now open. Early Registration deadline: 31 August 2025.

Activities

• Arriving early or staying after the conference? Join the Outdoor Activities on October 11 and 19!
• FARM Performance will take place on October 12, 7pm in YSC Conservatory of NUS.
• Check out our Exploring Singapore guide for attractions and food to try during your visit.

Travel Information

• Read the travel information page for information about visas, accommodation, and travel tips.

Welcome to the website of the ICFP 2025 conference.

The ACM SIGPLAN International Conference on Functional Programming (ICFP) is an annual programming language conference that provides a forum for researchers and developers to hear about the latest work on the design, implementations, principles, and uses of functional programming. The conference covers the entire spectrum of work, from practice to theory, including its peripheries.

This year, for the first time in history, ICFP will be co-located with SPLASH and its satellite events as a part of the joint ICFP/SPLASH 2025 conference.

ICFP Keynotes

Proof-Carrying Neuro-Symbolic Code

Ekaterina Komendantskaya

Functional Programming for Hardware Design

Satnam Singh

The Rational Programmer, A Method for Investigating Programming Language Pragmatics

Christos Dimoulas