<div dir="ltr">Hello,<br><br><div>Please, find below the final call for draft papers for IFL 2020.</div><div>Please forward these to anyone you think may be interested.<br></div>Apologies for any duplicates you may receive.<br><br>best regards,<br>Jurriaan Hage<br><div>Publicity Chair of IFL</div><div><br></div><div>================================================================================<br><br>                                                   IFL 2020<br><br>    32nd Symposium on Implementation and Application of Functional Languages<br><br><br>                                               venue: online<br>                                   2nd - 4th September 2020<br><br>                         <a href="https://www.cs.kent.ac.uk/events/2020/ifl20/">https://www.cs.kent.ac.uk/events/2020/ifl20/</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 2020 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>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>- virtual/abstract machine architectures<br>- validation, verification of functional programs<br>- tools and programming techniques<br>- (industrial) applications<br><br><br>### Post-symposium peer-review<br><br>Following IFL tradition, IFL 2020 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 chair 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,</div><div> 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.<br><br><br>### Important dates<br><br>Submission deadline of draft papers:           17 August 2020<br>Notification of acceptance for presentation:   19 August 2020<br>Registration deadline:                         31 August 2020<br>IFL Symposium:                                 2-4 September 2020<br>Submission of papers for proceedings:          7 December 2020<br>Notification of acceptance:                    3 February 2021<br>Camera-ready version:                          15 March 2021<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="http://www.acm.org/publications/proceedings-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 2020 Chair: Olaf Chitil, University of Kent, UK<br><br>IFL Publicity chair: Jurriaan Hage, Utrecht University, The Netherlands<br><br>### Virtual symposium<br><br>Because of the Covid-19 pandemic, this year IFL 2020 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><br><br></div><div><br></div></div>