<div dir="ltr">================================================================================<br><br> IFL 2021<br><br> 33rd Symposium on Implementation and Application of Functional Languages<br><br><br> venue: online<br> 1 - 3 September 2021<br><br> <a href="https://ifl21-publicity-dot-yamm-track.appspot.com/Redirect?ukey=1NdKhGOLpmlYX_0BVua0V5yyanFkJBhfIIDW1X2vaVQE-0&key=YAMMID-01546086&link=https%3A%2F%2Fifl21.cs.ru.nl">https://ifl21.cs.ru.nl</a><br><br>================================================================================<br><br>Scope<br><br>The goal of the IFL symposia is to bring together researchers actively engaged<br>in the implementation and application of functional and function-based<br>programming languages. IFL 2021 will be a venue for researchers to present and<br>discuss new ideas and concepts, work in progress, and publication-ripe results<br>related to the implementation and application of functional languages and<br>function-based programming.<br><br><br>Industrial track and topics of interest<br><br>This year's edition of IFL explicitly solicits original work concerning *applications*<br>of functional programming in industry and academia. These contributions will be reviewed by experts with an industrial background.<br><br>Topics of interest to IFL include, but are not limited to:<br><br>* language concepts<br>* type systems, type checking, type inferencing<br>* compilation techniques<br>* staged compilation<br>* run-time function specialisation<br>* run-time code generation<br>* partial evaluation<br>* (abstract) interpretation<br>* meta-programming<br>* generic programming<br>* automatic program generation<br>* array processing<br>* concurrent/parallel programming<br>* concurrent/parallel program execution<br>* embedded systems<br>* web applications<br>* (embedded) domain-specific languages<br>* security<br>* novel memory management techniques<br>* run-time profiling performance measurements<br>* debugging and tracing<br>* testing and proofing<br>* virtual/abstract machine architectures<br>* validation, verification of functional programs<br>* tools and programming techniques<br>* applications of functional programming in the industry, including<br>** functional programming techniques for large applications<br>** successes of the application functional programming<br>** challenges for functional programming encountered<br>** any topic related to the application of functional programming that is interesting for the IFL community <br><br><br>Post-symposium peer-review<br><br>Following IFL tradition, IFL 2021 will use a post-symposium review process to<br>produce the formal proceedings. <br><br>Before the symposium authors submit draft papers. These draft papers will be <br>screened by the program chairs to make sure that they are within the scope of <br>IFL. The draft papers will be made available to all participants at the <br>symposium. Each draft paper is presented by one of the authors at the symposium.<br><br>After the symposium every presenter is invited to submit a full paper, <br>incorporating feedback from discussions at the symposium. Work submitted to IFL<br>may not be simultaneously submitted to other venues; submissions must <br>adhere to ACM SIGPLAN's republication policy. The program committee will <br>evaluate these submissions according to their correctness, novelty, originality,<br>relevance, significance, and clarity, and will thereby determine whether the <br>paper is accepted or rejected for the formal proceedings. We plan to publish <br>these proceedings in the International Conference Proceedings Series of the <br>ACM Digital Library, as in previous years. Moreover, the proceedings will also<br>be made publicly available as open access. <br><br><br>Important dates<br><br>Submission deadline of draft papers: 17 August 2021<br>Notification of acceptance for presentation: 19 August 2021<br>Registration deadline: 30 August 2021<br>IFL Symposium: 1-3 September 2021<br>Submission of papers for proceedings: 6 December 2021<br>Notification of acceptance: 3 February 2022<br>Camera-ready version: 15 March 2022<br><br><br>### Submission details<br><br>All contributions must be written in English. Papers must use the ACM two<br>columns conference format, which can be found at:<br><br> <a href="https://ifl21-publicity-dot-yamm-track.appspot.com/Redirect?ukey=1NdKhGOLpmlYX_0BVua0V5yyanFkJBhfIIDW1X2vaVQE-0&key=YAMMID-01546086&link=http%3A%2F%2Fwww.acm.org%2Fpublications%2Fproceedings-template">http://www.acm.org/publications/proceedings-template</a><br><br><br>Peter Landin Prize<br><br>The Peter Landin Prize is awarded to the best paper presented at the<br>symposium every year. The honoured article is selected by the program committee<br>based on the submissions received for the formal review process. The prize<br>carries a cash award equivalent to 150 Euros.<br><br><br>Organisation<br><br>IFL 2021 Chairs: Pieter Koopman and Peter Achten, Radboud University, The Netherlands<br><br>IFL Publicity chair: Pieter Koopman, Radboud University, The Netherlands<br><br>PC (under construction):<br>Peter Achten (co-chair) - Radboud University, Netherlands<br>Thomas van Binsbergen - University of Amsterdam, Netherlands<br>Edwin Brady - University of St. Andrews, Scotland<br>Laura Castro - University of A Coruña, Spain<br>Youyou Cong - Tokyo Institute of Technology, Japan<br>Olaf Chitil - University of Kent, England<br>Andy Gill - University of Kansas, USA<br>Clemens Grelck - University of Amsterdam, Netherlands<br>John Hughes - Chalmers University, Sweden<br>Pieter Koopman (co-chair) - Radboud University, Netherlands<br>Cynthia Kop - Radboud University, Netherlands<br>Jay McCarthey - University of Massachussetts Lowell, USA<br>Neil Mitchell - Facebook, England<br>Jan De Muijnck-Hughes - Glasgow University, Scotland<br>Keiko Nakata - SAP Innovation Center Potsdam, Germany<br>Jurriën Stutterheim - Standard Chartered, Singapore<br>Simon Thompson - University of Kent, England<br>Melinda Tóth - Eötvos Loránd University, Hungary<br>Phil Trinder - Glasgow University, Scotland<br>Meng Wang - University of Bristol, England<br>Viktória Zsók - Eötvos Loránd University, Hungary<br><br><br>Virtual symposium<br><br>Because of the Covid-19 pandemic, this year IFL 2021 will be an online event, <br>consisting of paper presentations, discussions and virtual social gatherings. <br>Registered participants can take part from anywhere in the world.<br><br><br>Acknowledgments<br><br>This call-for-papers is an adaptation and evolution of content from previous<br>instances of IFL. We are grateful to prior organisers for their work, which<br>is reused here.<br></div>
<img src="https://ifl21-publicity-dot-yamm-track.appspot.com/FireBase?ukey=1NdKhGOLpmlYX_0BVua0V5yyanFkJBhfIIDW1X2vaVQE-0&key=YAMMID-01546086" width="1" height="1" alt="beacon" style="display:none; display:none!important;">