IFL 2025

The 37th Symposium on Implementation and Application of Functional Languages

October 1-3 . Montevideo, Uruguay

(Tutorials September 29-30)

The goal of IFL is to bring together researchers and developers actively engaged in the implementation and application of functional programming languages and function-oriented programming. You can find more information about the symposium on its official website.

The 37th Symposium on Implementation and Application of Functional Languages (IFL25) is held in Montevideo, Uruguay and is an opportunity for researchers to present and discuss new ideas and concepts, work in progress, and publication-ripe results related to the implementation and application of functional programming languages and function-oriented programming. See the call for papers.

News

August 7, 2025

We have confirmed all the tutorials to be held on September 29–30.

August 4, 2025

Registration is now open. We are able to offer a limited number of grants to support participation in the symposium and the tutorials. Grant applications are submitted as part of the registration process.

July 27, 2025

The deadline for submission of draft papers has been extended to August 31 (AoE)

June 23, 2025

We confirmed Iván Pérez, senior researcher at NASA and lead developer of Copilot, as Keynote Speaker.

April 1, 2025

We confirmed Roberto Ierusalimschy, the creator of Lua, as Keynote Speaker.

March 1, 2025

IFL 2025 will be held in Montevideo, Uruguay. First time in South America!

Important Dates

Submission of regular papers		June 23, 2025 (extended)
Regular papers notification		August 4, 2025
Submission of draft papers		August 31, 2025 (extended)
Draft papers notification		September 4, 2025
Deadline for early registration		September 5, 2025
Submission of pre-proceedings version		September 8, 2025
Pre-symposium tutorials		September 29-30, 2025
IFL Symposium		October 1-3, 2025
Submission of papers for post-proceedings		December 15, 2025
Notification of acceptance		February 28, 2026
Camera-ready version		March 30, 2026

Deadlines are end of day Anywhere on Earth (UTC-12).