33rd Symposium on Implementation and Application of Functional Languages
venue: online
1 - 3 September 2021
https://ifl21.cs.ru.nl/
IFL'22
The next edition of IFL will be organized by Fritz Henglein and his team at end of August 2022 in Copenhagen. We expect that this can be a physical event in Denmark.
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 2021 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
This year's edition of IFL explicitly sollicits original work concerning applications of functional programming in industry and academia. These contributions will be reviewed by experts with an industrial background.
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
- testing and proofing
- virtual/abstract machine architectures
- validation, verification of functional programs
- tools and programming techniques
- applications of functional programming in the industry, including
- functional programming techniques for large applications
- successes of the application functional programming
- challenges for functional programming encountered
- any topic related to the application of functional programming that is interesting for the IFL community
Sponsorship
We are proud to list our sponsors:
- Silver: Facebook Research
.
Post-symposium peer-review
Following IFL tradition, IFL 2021 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 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.
Important dates
| Submission deadline of draft papers: | 17 August 2021 |
| Notification of acceptance for presentation: | 19 August 2021 |
| Registration deadline: | 30 August 2021 |
| IFL Symposium: | 1-3 September 2021 |
| Submission of papers for proceedings: | 6 December 2021 |
| Notification of acceptance: | 3 February 2022 |
| Camera-ready version: | 15 March 2022 |
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.
(For LaTeX users, start your document with \documentclass[format=sigconf]{acmart}.)
Note that this format has a rather long but limited list of packages that can be used.
Please make sure that your document adheres to this list.
Contributions submitted for the draft paper deadline must be between two and twelve pages long. For the final proceedings twelve pages (excluding references) is the hard upper limit. Especially application papers might be considerably shorter.
The submission Web page for IFL21 is https://easychair.org/conferences/?conf=ifl21.
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
IFL 2021 Chairs: Pieter Koopman and Peter Achten, Radboud University, The Netherlands
IFL Publicity chair: Pieter Koopman, Radboud University, The Netherlands
| Peter Achten (co-chair) | - Radboud University, Netherlands |
| Thomas van Binsbergen | - University of Amsterdam, Netherlands |
| Edwin Brady | - University of St. Andrews, Scotland |
| Laura Castro | - University of A Coruńa, Spain |
| Youyou Cong | - Tokyo Institute of Technology, Japan |
| Olaf Chitil | - University of Kent, England |
| Andy Gill | - University of Kansas, USA |
| Clemens Grelck | - University of Amsterdam, Netherlands |
| John Hughes | - Chalmers University, Sweden |
| Pieter Koopman (co-chair) | - Radboud University, Netherlands |
| Cynthia Kop | - Radboud University, Netherlands |
| Jay McCarthey | - University of Massachusetts Lowell, USA |
| Neil Mitchell | - Facebook, England |
| Jan De Muijnck-Hughes | - Glasgow University, Scotland |
| Keiko Nakata | - SAP Innovation Center Potsdam, Germany |
| Jurriën Stutterheim | - Standard Chartered, Singapore |
| Simon Thompson | - University of Kent, England |
| Melinda Tóth | - Eötvos Loránd University, Hungary |
| Phil Trinder | - Glasgow University, Scotland |
| Meng Wang | - University of Bristol, England |
| Viktória Zsók | - Eötvos Loránd University, Hungary |
Virtual symposium
Because of the Covid-19 pandemic, this year IFL 2021 will be an online event, consisting of paper presentations, discussions and virtual social gatherings. Registered participants can take part from anywhere in the world.
Registration
Please use the below link to register for IFL 2021:
Thanks to the sponsors and the support of the Radboud university registration is free of charge.
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.