[Caml-list] IFL 2026 First call for papers

[Mart Lubbers <ifl21.publicity@gmail.com>]

=======================================================================
                                IFL 2026

38th Symposium on Implementation and Application of Functional Languages


            venue: Aspenäs Herrgård, Gothenburg, Sweden
                        October 28 - 30 2026

                    https://ifl26.cse.chalmers.se/

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

### 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 2026 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

Following IFL tradition, IFL 2026 will use a post-symposium review
process for the formal proceedings.

Authors are invited to submit draft papers before the symposium. The
program chairs will screen submissions for relevance to IFL, and
accepted drafts will be shared with all participants. Each accepted
paper must be presented at the symposium by at least one author. If
submissions exceed capacity, selection will be based on quality,
maturity, and relevance.

Authors of accepted presentations will have the opportunity to revise
their work in response to symposium feedback and submit a full paper to
the post-proceedings. These submissions will be reviewed by the program
committee for correctness, novelty, originality, relevance,
significance, and clarity. The post-symposium review process is
single-blind, with at least three reviews per paper. Camera-ready
versions may include minor revisions without further review.


### Important dates

Submission of draft papers                   September 4, 2026
Draft papers notification                    September 11, 2026
Deadline for early registration              September 18, 2026
Deadline for late registration               September 25, 2026
IFL symposium                                October 28-30, 2026
Submission of papers for proceedings         November 25, 2026
Notification of acceptance                   February 12, 2027
Camera-ready version                         March 12, 2027

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:

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

Submit your paper here:

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

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:

    ICPS publishing model FAQ: https://www.acm.org/publications/icps/faq
    ACM Open program details:  https://www.acm.org/publications/openaccess
    Questions:                 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:

- Alex Gerdes, Chalmers and University of Gothenburg, Sweden
- Koen Claessen, Chalmers and University of Gothenburg, Sweden

Publicity Chair:

- Mart Lubbers, Radboud University, The Netherlands

Local Chairs:

- Alex Gerdes, Chalmers and University of Gothenburg, Sweden
- Koen Claessen, Chalmers and University of Gothenburg, Sweden

Please direct any questions you may have towards alexg@chalmers.se.


### Program committee

- Abhiroop Sarkar, ETH Zurich
- Andres Löh, Well-Typed LLP
- Daan Leijen, Microsoft
- Dominic Orchard, University of Kent
- Fritz Henglein, DIKU
- Graham Hutton, University of Nottingham
- Guillaume Allais, University of Strathclyde
- Jesper Cockx, Delft University of Technology
- Mart Lubbers, Radboud University
- Nachiappan Valliappan, University of Edinburgh
- Nicolas Wu, Imperial College London
- Niki Vazou, IMDEA Software Institute

The program committee is still being finalized and may be updated.


### Venue

IFL 2026 will be held at Aspenäs Herrgård, just outside Gothenburg,
Sweden. Aspenäs Herrgård will host the symposium venue and provide a scenic
setting for the conference.

We will add more information about the venue, accommodation, and travel
options soon.


### 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.