IFL: Implementation and Application of Functional Languages

FacebookTwitterLinkedInGoogle

 

Past:   Proceedings on DBLP

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

 
 

All CFPs on WikiCFP

Event When Where Deadline
IFL 2022 The 34th Symposium on Implementation and Application of Functional Languages
Aug 31, 2022 - Sep 2, 2022 Copenhagen Aug 7, 2022
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
IFL 2015 27th SYMPOSIUM ON IMPLEMENTATION AND APPLICATION OF FUNCTIONAL LANGUAGES
Sep 14, 2015 - Sep 16, 2015 University of Koblenz-Landau, Koblenz, G Aug 10, 2015
IFL 2014 26th SYMPOSIUM ON IMPLEMENTATION AND APPLICATION OF FUNCTIONAL LANGUAGES
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 : 2022

# CALL FOR PAPERS - The 34th Symposium on Implementation and Application of Functional Languages

## Important dates

Draft paper submission: 7th of August 2022
Draft paper notification: 9th of August 2022
Registration deadline: 12th of August 2022
Symposium: 31th of August to 2nd of September

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

## Submissions and peer-review

Following IFL tradition, IFL 2022 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, 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.

## Where

IFL 2022 will be held physically in Copenhagen, Denmark, arranged by
DIKU at the University of Copenhagen.

See the IFL 2022 website at https://ifl22.github.io/ for more
information.
 

Related Resources

CIAA 2024   The 28th International Conference on Implementation and Application of Automata
IJPLA 2024   International Journal of Programming Languages and Applications
APL 2024   Advances in Programming Languages (APL) Thematic Track at the 19th Conference on Computer Science and Intelligence Systems (FedCSIS 2024)
PPDP 2024   The 26th International Symposium on Principles and Practice of Declarative Programming
OSDI 2024   The 18th USENIX Symposium on Operating Systems Design and Implementation
CAIJ 2024   Computer Applications: An International Journal
NSDI 2024   The 21st USENIX Symposium on Networked Systems Design and Implementation
COLA - Lua Special Issue 2024   CFP: Journal of Computer Languages - Special Issue Celebrating 30 Years of the Lua Programming Language
SBMF 2024   27th Brazilian Symposium on Formal Methods
PLDI 2024   The 45th ACM SIGPLAN Conference on Programming Language Design and Implementation