The Coq mailing list

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

=======================================================================
                                IFL 2024

36rd Symposium on Implementation and Application of Functional Languages


            venue: Radboud University Nijmegen, The Netherlands
                        August 26 - 28 2024

                       https://ifl24.cs.ru.nl

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

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


### Industrial track and 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 2024 will use a post-symposium review
process to produce the formal proceedings.

Before the symposium authors submit draft papers. These draft papers
will be screened by the program chairs to make sure that they are within
the scope of IFL. The draft papers will be made available to all
participants at the symposium. Each draft paper is presented by one of
the authors at the symposium.

After the symposium, a formal review process will take place, conducted
by the program committee. Reviewing is single blind. There will be at
least 3 reviews per paper. The reviewers have 6 weeks to write their
reviews. For the camera-ready version the authors can make minor
revisions which are accepted without further reviewing.


### Important dates

Submission deadline of draft papers          August 6th,   2024 EXTENDED
Notification of acceptance for presentation  August 6th,   2024
Registration deadline                   August 19th,  2024
IFL symposium                                August 26-28, 2024
Submission of papers for proceedings         December 1st, 2024
Notification of acceptance                   February 2nd, 2025
Camera-ready version                         March 2nd,    2025


### 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=ifl20240

Register here:

    https://ifl24.cs.ru.nl/Registration


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 AT 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:
Mart Lubbers Radboud University, The Netherlands

Local Chairs:
Peter Achten Radboud University, The Netherlands
Sven-Bodo Scholz, Radboud University, The Netherlands


### Program committee:

Benoît Montagu, University of Lorraine, Inria, France
Christos Dimoulas, Northwestern University, USA
Edsko de Vries, Well-typed, The Netherlands
Fritz Henglein, University of Copenhagen, Denmark
Ian Mackie, University of Sussex, UK
Jason Hemann, Seton Hall University, USA
João Saraiva, Universidade do Minho, Portugal
Jurriaan Hage, Heriot-Watt University, UK
Kenichi Asai, Ochanomizu University, Japan
Maja Kirkeby, Roskilde University, Denmark
Marco Morazán, Seton Hall University, USA
Neil Mitchell, Facebook, UK
Ralf Laemmel, University of Koblenz Landau, Germany
Rinus Plasmeijer, TOP Software/Radboud University, The Netherlands
Stephen Chang, UMass Boston, USA
Tim Steenvoorden, Open University, The Netherlands
Tom Schrijvers, KU Leuven, Belgium
Yusuf Moosa Motara, Rhodes University, South Africa


### Venue

IFL 2024 will be held physically in Nijmegen, the Netherlands. See the
website for more information.

    https://ifl24.cs.ru.nl


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