IFL: Implementation and Application of Functional Languages



Past:   Proceedings on DBLP

Future:  Post a CFP for 2021 or later   |   Invite the Organizers Email


All CFPs on WikiCFP

Event When Where Deadline
IFL 2020 IFL 2020: The 32nd Symposium on Implementation and Application of Functional Languages
Sep 2, 2020 - Sep 4, 2020 Online Sep 7, 2020 (Aug 17, 2020)
IFL 2019 The 31st symposium on Implementation and Application of Functional Languages
Sep 25, 2019 - Sep 27, 2019 Singapore May 31, 2019
IFL 2016 28th Symposium on Implementation and Application of Functional Languages
Aug 31, 2016 - Sep 1, 2016 KU Leuven, Belgium Aug 1, 2016
Sep 14, 2015 - Sep 16, 2015 University of Koblenz-Landau, Koblenz, G Aug 10, 2015
Oct 1, 2014 - Oct 3, 2014 BOSTON, USA Sep 1, 2014
IFL 2013 25th International Symposium on Implementation and Application of Functional Languages
Aug 28, 2013 - Aug 30, 2013 Nijmegen, Netherlands Jul 31, 2013
IFL 2009 Symposium on Implementation and Application of Functional Languages
Sep 23, 2009 - Sep 25, 2009 South Orange, NJ, USA Aug 15, 2009

Present CFP : 2020

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

# Post-symposium peer-review

Following IFL tradition, IFL 2020 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 chair 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 every presenter is invited to submit a full paper, incorporating feedback from discussions at the symposium. Work submitted to IFL may not be simultaneously submitted to other venues; submissions must adhere to ACM SIGPLAN's republication policy. 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 for the formal proceedings. We plan to publish these proceedings in the International Conference Proceedings Series of the ACM Digital Library, as in previous years.
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 specialization
- run-time code generation
- partial evaluation
- (abstract) interpretation
- metaprogramming
- 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
- (industrial) applications

# Peter Landin prize

The Peter Landin Prize is awarded to the best paper presented at the symposium every year. The honored 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.

# Important dates

Mon 17 August 2020 Submission deadline of draft papers
Wed 19 August 2020 Notification of acceptance for presentation
Mon 31 August 2020 Registration deadline
Wed 2 September 2020 - Fri 4 September 2020 IFL Symposium
Mon 7 December 2020 Submission deadline for proceedings
Wed 3 February 2021 Notification of acceptance for proceedings
Mon 15 March 2021 Camera-ready version for proceedings

# Submission details

Prospective authors are encouraged to submit full or draft papers or extended abstracts to present them at the symposium. All contributions must be written in English. Papers must use the ACM two columns conference format, which can be found at:


For the pre-sumposium submissions we adopt a 'weak' page limit of 12 pages. For the post-symposium proceedings the page limit of 12 pages is firm.

Authors submit through EasyChair.

# Virtual symposium

Because of the Covid-19 pandemic, this year IFL 2020 will be an online event, consisting of paper presentations, discussions and virtual social gatherings. Registered participants can take part from anywhere in the world.

Related Resources

TFP 2021   22nd Symposium on Trends in Functional Programming
PADL 2021   23rd International Symposium on Practical Aspects of Declarative Languages
TFPIE 2021   10th International Workshop on Trends in Functional Programming in Education
MPLR 2020   17th International Conference on Managed Programming Languages & Runtimes
TyDe 2020   5th Workshop on Type-Driven Development (TyDe 2020)
NSDI 2020   The 17th USENIX Symposium on Networked Systems Design and Implementation
OSDI 2020   USENIX Symposium on Operating Systems Design and Implementation
PLDI 2020   Programming Language Design and Implementation
ASPLOS 2021   Architectural Support for Programming Languages and Operating Systems
OOPSLA 2020   Conference on Object-Oriented Programming Systems, Languages,and Applications