The 34th Symposium on Implementation and Application of Functional Languages (IFL 2022)

Nyhavn in Copenhagen Frederiksberg Campus Rosenborg Castle
Sponsored by

Scope

The goal of IFL is to bring together researchers and developers actively engaged in the implementation and application of functional programming languages and function-oriented programming. IFL 2022 is held in beautiful Copenhagen, Denmark and is 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 programming languages and function-oriented programming. See the call for papers in text format and the topics of interest.

Dates

Submission deadline of draft papers:August 8th, 2022 (EXPIRED)
Notification of acceptance for presentation:August 9th, 2022 (EXPIRED)
Early registration deadline:August 14th, 2022 (AoE)
Late registration deadline:September 1st, 2022
IFL Symposium:August 31st - September 2nd, 2022
Submission of papers for peer-reviewed proceedings:December 5th, 2022 (to be confirmed)
Notification of acceptance:February 2nd, 2023 (to be confirmed)
Camera-ready version:March 14th, 2023 (to be confirmed)

Keynotes

Were are pleased to announce the following keynote talks:

Title: Abstract machines and functional language implementation

Peter Sestoft, Professor, Head of Department, IT University of Copenhagen. Image of Peter Sestoft

Machines for functional language implementation have a long history, starting with Landin's 1964 SECD machine. We review some historical developments for strict as well as lazy functional languages. For some time it was believed that functional language implementation required specialized hardware, but nowadays virtual machines ostensibly designed for object-oriented languages, notably the Java Virtual Machine and the .NET platform, have turned out to be excellent targets for (strict) functional languages also.

Speaker: Peter Sestoft has worked with functional programming, program manipulation and programming language implementation for nearly four decades and since 2017 is head the Computer Science Department at the IT University of Copenhagen.

Title: Verse - a new functional-logic language

Lennart Augustsson, Principal Programmer, Epic Games. Image of Lennart Augustsson

TBA

Title: TBA

Thomas Gazagnaire, Chief Technology Officer and co-founder, Tarides. Image of Thomas Gazagnaire

TBA

Programme

The format of the programme is as follows:

Wednesday, August 31st
09:00-12:00Welcome, opening keynote, break, contributed talks
12:00-13:00Lunch
13:00-16:00Contributed talks, break, contributed talks
16:00-17:00Keynote
17:00-18:00Welcome reception
18:00-xx:zzSelf-organized dinners
Thursday, September 1st
09:00-12:00Contributed talks, break, contributed talks
12:00-13:00Lunch
14:00-18:00Social event: Outing
18:00-21:00Social event: Dinner
21:00-xx:zzSelf-organized apres-dinner
Friday, September 2nd
09:00-12:00Contributed talks, break, contributed talks
12:00-13:00Lunch
13:00-15:00Contributed talks, break
15:00-16:00Industrial keynote
16:00-17:00Industrial reception, good-bye
Note that this is subject to minor changes.

Accepted Papers

Submission

All contributions must be written in English. Papers must use the ACM two columns conference format, which can be found here. (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.

Submission link: EasyChair

Post-symposium 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. Notice that it is a requirement that draft papers that are accepted for presentation are presented physically 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. Papers that are accepted for the formal proceedings are published in the International Conference Proceedings Series of the ACM Digital Library, as in previous years.

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.

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.

Topics of interest

Topics of interest to IFL include, but are not limited to:

Venue

The symposium will be held physically on the Frederiksberg Campus of the Faculty of Science at the University of Copenhagen. Days 1 and 2 (August 31st and September 1st) will be in meeting room A2-84.01 at Thorvaldsensvej 40. Day 3 (September 2nd) will be in the Celebration Auditorium at Bülowsvej 17; see the IFL 2022 map. We plan to record and/or stream talks online as well; physical participation is prioritized and highly encouraged, however, to foster developing, presenting, exchanging and discussing informal ideas, work in progress and publication-ripe results.

Copenhagen is easy to get to by plane, train and bus. See IFL 2022 map of Copenhagen. For public transportation within Copenhagen by any combination of train, rapid transit (S-tog), metro and bus, download the app "DOT Tickets", register a credit card, and buy a 2-zone ticket at the start each trip of one hour or less. (For the trip from/to the airport you need a 3-zone ticket.) Alternatively, walk, bike (e.g. via Donkey Republic, Bycyklen, Lime apps) or drive (parking is available at the venue; contact the IFL general chair).

We have not made agreements with specific hotels since Copenhagen is densely packed with hotels at various price levels, all accessible by convenient and frequent public transport from and to the venue. For example WakeUp Copenhagen features small modern rooms, affordable rates and has multiple locations in Copenhagen, including the city center and near Copenhagen Airport. See Google, Hotels.com, Booking.com, AirBnB, TripAdvisor, Momondo, etc, for accommodation. It is a good idea to check cancelation policies in case of last-minute changes such as COVID-19 measures or flight cancelations.

Denmark presently has no entry or other restrictions due to COVID-19. In particular, there are no limitations on sizes of gatherings; wearing face masks is welcome, but is not required anywhere. Health authorities are continuously monitoring Omicron variant infections. Since these have not led to increased hospitalization (yet), no restrictions have been contemplated (yet). The IFL 2022 organizers are carefully following the COVID-19 situation. In the unlikely event of a COVID-19-based imposition of travel or other restrictions in Denmark, IFL 2022 will be held in hybrid format. In such case, at the time of notification authors of accepted papers will be given the option to present their work remotely.

Registration

Registration fee:
Early registration, regular:DKK 1600
Early registration, student:DKK 1200
Late registration, regular:DKK 2000
Late registration, student:DKK 1600
All fees are including 25% Danish VAT. Aproximate conversion rates: DKK 1000 ~ EUR 135 ~ USD 135 ~ GBP 115 ~ 18750 Yen.

The registration fee covers use of facilities, participation, lunches, coffee breaks, receptions, social outing, symposium dinner and access to draft proceedings. The student discount is made possible by the symposium's industrial sponsors.

Registration link:
https://eventsignup.ku.dk/ifl2022
Instructions: Please click on "Sign up" on the upper left of the sign up page. Choose "Standard" on the first sign-up page unless you are a Ph.D., Master's or bachelor's student enrolled at an accredited university. Check the "Are you presenting at the conference?" box on the second sign-up page whether or not you will actually be presenting at the conference. You will also need to check the "Do you give us permission to record your presentation and share the recording?" box. Symposium dinner and outing (social event) are included in the registration fee; so please check the corresponding boxes. If you know already now that you cannot attend the social event or the symposium dinner, you can help our planning by unchecking the corresponding boxes. (If you change your mind later on we'll do our best to accommodate you.) You will need to fill out "Dietary Restrictions?" twice, on the 'Sign Up' page and on the 'Orderer' page that follows it. If you have no dietary restrictions, please write "None". If you know your university's EU VAT number, fill it into the CVR field on the 'Orderer' page; if not, don't worry about it. (The VAT number may help your university recover Danish VAT included in the registration fee.) Finally check all required boxes in the payment process and pay. You will get a registration confirmation and will subsequently get up-to-date information about IFL 2022 by email.

Organisation

General chair
Fritz Henglein
Program chair
Martin Elsman
Communications chair
Troels Henriksen
Program commitee
  • Laura M. Castro, Universidade da Coruña, Spain
  • David Christiansen, Haskell Foundation
  • Martin Elsman, University of Copenhagen, Denmark (chair)
  • Matthew Fluet, Rochester Institute of Technology, USA
  • Clemens Grelck, Universiteit van Amsterdam, The Netherlands
  • Zhenjiang Hu, Peking University, China
  • Robin Kaarsgaard, University of Edinburgh, Scotland
  • Gabriele Keller, Utrecht University, The Netherlands
  • Oleg Kiselyov, Tohoku University, Japan
  • Neil Mitchell, Facebook
  • Stefan Monnier, Universite de Montreal, Canada
  • Magnus Myreen, Chalmers University, Sweden
  • Cyrus Omar, University of Michigan, USA
  • Romain Péchoux, University of Lorraine, Inria, France
  • Rinus Plasmeijer, Radboud University, The Netherlands
  • Morten Rhiger, Roskilde University, Denmark
  • Peter van Roy, Catholic University of Louvain, Belgium
  • Olin Shivers, Northeastern University, USA
  • Peter Thiemann, University of Freiburg, Germany
  • Marcos Viera, Universidad de la República, Uruguay
  • Meng Wang, University of Bristol, UK

Previous editions of IFL

Industrial sponsors

Would you also like to sponsor IFL 2022 to present yourself and engage with the functional programming community at the symposium? We provide multiple options for you.
Bronze (DKK 5000):
Your logo and link on the IFL 2022 website and in symposium materials; your roll-up or poster in the social space outside the symposium lecture room; one free registration (which can be donated to somebody else). Your sponsorship contributes to discounted student registration by partially covering on-site food and facility costs for students.
Silver (DKK 10000), publication sponsor:
All of Bronze, plus: Named sponsor of publication costs. Your sponsorship provides open access to the refereed IFL 2022 post-proceedings that is free for both readers and authors.
Silver (DKK 10000), industrial reception sponsor:
All of Bronze, plus: Named sponsor of industrial reception; with sponsor presentation (in lecture room or social space) at the beginning of the industrial reception.
Gold (DKK 20000), social event sponsor:
All of Bronze, plus: One additional free registration (total of 2); named sponsor of social outing, social dinner and good-bye reception; optionally, giving dinner speech or designating somebody else to give a dinner speech. Your sponsorship contributes to discounted student registration by partially covering social event, dinner and reception costs for students. The social event is the keystone of IFL's interactive, inclusive and collaborative atmosphere.

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.