======================================================================

IFL 2025

37th Symposium on Implementation and Application of Functional Languages


Montevideo, Uruguay

October 1-3, 2025

https://www.fing.edu.uy/inco/congresos/ifl2025/index.html

======================================================================

### Scope

The goal of the IFL symposia is to bring together researchers actively

engaged in the implementation and application of functional and

function-based programming languages. IFL 2025 will be a venue 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 languages and function-based programming.

### Topics of interest

Topics of interest to IFL include, but are not limited to:

- language concepts

- type systems, type checking, type inferencing

- compilation techniques

- staged compilation

- run-time function specialisation

- run-time code generation

- partial evaluation

- (abstract) interpretation

- meta-programming

- generic programming

- automatic program generation

- array processing

- concurrent/parallel programming

- concurrent/parallel program execution

- embedded systems

- web applications

- (embedded) domain specific languages

- security

- novel memory management techniques

- run-time profiling performance measurements

- debugging and tracing

- virtual/abstract machine architectures

- validation, verification of functional programs

- tools and programming techniques

### Peer-review process

Differently from previous editions of IFL, IFL 2025 solicits two kinds of

submissions:

* Regular papers (12 pages including references)

* Draft papers for presentations ('weak' limit between 8 and 15 pages)

Regular papers will undergo a rigorous review by the program committee, and
will

be evaluated according to their correctness, novelty, originality,
relevance,

significance, and clarity. A set of regular papers will be conditionally

accepted for publication. Authors of conditionally accepted papers will be

provided with committee reviews along with a set of mandatory revisions.

Regular papers not accepted for publication will be considered as draft

papers, at the request of the author.

Draft papers will be screened to make sure that they are within the scope of

IFL, and will be accepted for presentation or rejected accordingly.

Prior to the symposium:

Authors of conditionally accepted papers and accepted presentations will

submit a pre-proceedings version of their work that will appear in the
draft

proceedings distributed at the symposium. The draft proceedings does not

constitute a formal publication.

We require that at least one of the authors present the work at IFL 2025.

After the symposium:

Authors of conditionally accepted papers will submit a revised versions of

their paper for the formal post-proceedings.

The program committee will assess whether the mandatory revisions have
been

adequately addressed by the authors and thereby determines the final

accept/reject status of the paper.

Our interest is to ultimately accept all conditionally accepted papers.
If you

are an author of a conditionally accepted paper, please make sure that you

address all the concerns of the reviewers.


Authors of accepted presentations will be given the opportunity to
incorporate

the feedback from discussions at the symposium and will be invited to
submit a

revised full article for the formal post-proceedings.

The program committee will evaluate these submissions according to their

correctness, novelty, originality, relevance, significance, and clarity,
and

will thereby determine whether the paper is accepted or rejected.


### Important dates

Submission of regular papers: June 16, 2025

Regular papers notification: August 4, 2025

Submission of draft papers: August 4, 2025

Draft papers notification: August 11, 2025

Deadline for early registration: September 5, 2025

Submission of pre-proceedings version: September 8, 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).


### Submission details

All contributions must be written in English. Papers must use the ACM

two columns conference format, which can be found at:

https://www.acm.org/publications/proceedings-template

Submit your paper here:

https://easychair.org/conferences/?conf=ifl2025

Important note to authors about the new ACM open access publishing model

ACM has introduced a new open access publishing model for the International

Conference Proceedings Series (ICPS). Authors based at institutions that are

not yet part of the ACM Open program and do not qualify for a waiver will be

required to pay an article processing charge (APC) to publish their ICPS

article in the ACM Digital Library. To determine whether or not an APC will
be

applicable to your article, please follow the detailed guidance here:

https://www.acm.org/publications/icps/author-guidance

Further information may be found on the ACM website, as follows:

- Full details of the new ICPS publishing model:

https://www.acm.org/publications/icps/faq

- Full details of the ACM Open program:

https://www.acm.org/publications/openaccess
- Please direct all questions about the new model to icps-info@acm.org.


### Peter Landin Prize

The Peter Landin Prize is awarded to the best paper presented at the

symposium every year. The honoured article is selected by the program

committee based on the submissions received for the formal review

process. The prize carries a cash award equivalent to 150 Euros.

### Organisation

PC Chairs:

Alberto Pardo, Universidad de la República, Montevideo, Uruguay

Marcos Viera, Universidad de la República, Montevideo, Uruguay

Publicity Chair:

Mart Lubbers, Radboud University, The Netherlands

Local Chairs:

Alberto Pardo, Universidad de la República, Montevideo, Uruguay

Marcos Viera, Universidad de la República, Montevideo, Uruguay


### Program committee:

Matteo Cimini, University of Massachusetts Lowell

Facundo Domínguez, Tweag

João Paulo Fernandes, Universidade do Porto

Jeremy Gibbons, Oxford University

Jurriaan Hage, Heriot Watt University

Jason Hemann, Seton Hall University

Maja Hanne Kirkeby, Roskilde University

Mart Lubbers, Radboud University

Bruno C. D. S. Oliveira, The University of Hong Kong

Rinus Plasmeijer, Radboud University

Andre Rauber Du Bois, Universidade Federal de Pelotas

Rodrigo Ribeiro, Universidade Federal de Ouro Preto

Alejandro Russo, Chalmers University of Technology

João Saraiva, University of Minho

Wenhao Tang, University of Edinburgh

Zhixuan Yang, Imperial College London

Brent Yorgey, Hendrix College

Beta Ziliani, Manas.Tech

Viktória Zsók, Eötvös Loránd University

### Venue

IFL 2025 will be held physically in Montevideo, Uruguay. See the

website for more information.

https://www.fing.edu.uy/inco/congresos/ifl2025

### Acknowledgments

This call-for-papers is an adaptation and evolution of content from

previous instances of IFL. We are grateful to prior organisers for their
work, which is reused here.