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.
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 to IFL include, but are not limited to:
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.
|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|
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.
IFL Publicity chair: Jurriaan Hage, Utrecht University, The Netherlands
IFL 2020 Chair: Olaf Chitil, University of Kent, UK