<div dir="ltr">Hello,<br><br>Please, find below the first call for papers for IFL 2018.<br>Please forward these to anyone you think may be interested.<br>Apologies for any duplicates you may receive.<br><br>best regards,<br>Jurriaan Hage<br>Publicity Chair of IFL<br><br>---<br><br>================================================================================<br><br>                                    IFL 2018                                    <br>    30th Symposium on Implementation and Application of Functional Languages    <br><br><br>                   University of Massachusetts Lowell, MA, USA<br>                             September 5th-7th, 2018<br>                          <br>                            <a href="http://iflconference.org">http://iflconference.org</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 2018 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 specialization<br>- run-time code generation<br>- partial evaluation<br>- (abstract) interpretation<br>- metaprogramming<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>### Submissions and peer-review<br><br>Differently from previous editions of IFL, IFL 2018 solicits two kinds of<br>submissions:<br><br>* Regular papers (12 pages including references)<br>* Draft papers for presentations ('weak' limit between 8 and 15 pages)<br><br>Regular papers will undergo a rigorous review by the program committee, and will<br>be evaluated according to their correctness, novelty, originality, relevance,<br>significance, and clarity. A set of regular papers will be conditionally<br>accepted for publication. Authors of conditionally accepted papers will be<br>provided with committee reviews along with a set of mandatory revisions.<br>Regular papers not accepted for publication will be considered as draft papers,<br>at the request of the author.<br><br>Draft papers will be screened to make sure that they are within the scope of<br>IFL, and will be accepted for presentation or rejected accordingly.<br><br>Prior to the symposium:<br>  Authors of conditionally accepted papers and accepted presentations will<br>  submit a pre-proceedings version of their work that will appear in the draft<br>  proceedings distributed at the symposium. The draft proceedings does not<br>  constitute a formal publication.<br>  <br>  We require that at least one of the authors present the work at IFL 2018. <br><br>After the symposium:<br><br>  Authors of conditionally accepted papers will submit a revised versions of<br>  their paper for the formal post-proceedings.<br>  The program committee will assess whether the mandatory revisions have been<br>  adequately addressed by the authors and thereby determines the final<br>  accept/reject status of the paper.<br>  Our interest is to ultimately accept all conditionally accepted papers. If you<br>  are an author of a conditionally accepted paper, please make sure that you<br>  address all the concerns of the reviewers.<br>  <br><br>  Authors of accepted presentations will be given the opportunity to incorporate<br>  the feedback from discussions at the symposium and will be invited to submit a<br>  revised full article for the formal post-proceedings. <br>  The program committee will evaluate these submissions according to their<br>  correctness, novelty, originality, relevance, significance, and clarity, and<br>  will thereby determine whether the paper is accepted or rejected.<br>  <br><br>### Publication<br><br>The formal proceedings will appear in the International Conference Proceedings<br>Series of the ACM Digital Library.<br><br>At no time may work submitted to IFL be simultaneously submitted to other<br>venues; submissions must adhere to ACM SIGPLAN's republication policy:<br><br><br>         <a href="http://www.sigplan.org/Resources/Policies/Republication">http://www.sigplan.org/Resources/Policies/Republication</a><br><br><br>### Important dates<br><br>Submission of regular papers:                       May        25, 2018 <br>Submission of draft papers:                         July       17, 2018 <br>Regular and draft papers notification:              July       20, 2018  <br>Deadline for early registration:                    August      8, 2018  <br>Submission of pre-proceedings version:              August     29, 2018  <br>IFL Symposium:                                      September 5-7, 2018 <br>Submission of papers for post-proceedings:          November    7, 2018 <br>Notification of acceptance:                         December   22, 2018  <br>Camera-ready version:                               February   10, 2019<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>Authors submit through EasyChair: <br><br>                 <a href="https://easychair.org/conferences/?conf=ifl2018">https://easychair.org/conferences/?conf=ifl2018</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 honored 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>### Organization and Program committee<br><br>Chairs: Jay McCarthy & Matteo Cimini, University of Massachusetts Lowell, USA<br><br>Program Committee:<br><br>* Arthur Chargu√©raud, Inria, FR<br>* Ben Delaware, Purdue University, USA<br>* Christos Dimoulas, Northwestern University, USA<br>* David Darais, University of Vermont, USA<br>* Dominic Orchard, University of Kent, UK<br>* Ekaterina Komendantskaya, Heriot-Watt University, UK<br>* Garrett Morris, University of Kansas, USA<br>* Heather Miller, EPFL & Northeastern University, CH & USA<br>* Jeremy Yallop, University of Cambridge, UK<br>* Keiko Nakata, SAP Innovation Center Potsdam, DE<br>* Laura Castro, University of A Coru√±a, ESP<br>* Magnus Myreen, Chalmers University of Technology, SWE<br>* Natalia Chechina, Bournemouth University, UK<br>* Peter Achten, Radboud Universiteit Nijmegen, NL<br>* Peter-Michael Osera, Grinnell College, USA<br>* Richard Eisenberg, Bryn Mawr College, USA<br>* Trevor McDonell, University of New South Wales, AUS<br>* Yukiyoshi Kameyama, University of Tsukuba, JAP<br><br>### Venue <br><br>The 30th IFL will take place at the UMass Lowell Inn & Conference Center in<br>Lowell (MA), in association with the University of Massachusetts Lowell.<br>The City of Lowell is located at the heart of the Merrimack Valley just 30 miles<br>northwest of Boston. Lowell can be easily reached by train or taxi.<br>See the website for more information on the venue.<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 organizers for their work, which is<br>reused here.<br><br>A part of IFL 2018 format and CFP language that describes conditionally accepted<br>papers has been adapted from call-for-papers of OOPSLA conferences.<br><br></div>