<div dir="ltr">Hello,<br><br>Please, find below the last call for draft papers for presentation 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><div>---</div><div><br></div><div>                        Call for Draft papers for presentations<br><br>==============================<wbr>==============================<wbr>====================<br><br>                              <wbr>      IFL 2018                          <wbr>          <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" target="_blank">http://iflconference.org</a><br><br>==============================<wbr>==============================<wbr>====================<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>### Keynote Speakers<br><br>* Adam Chlipala, Massachusetts Institute of Technology CSAIL<br>* Arjun Guha, University of Massachusetts Amherst<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" target="_blank">http://www.sigplan.org/<wbr>Resources/Policies/<wbr>Republication</a><br><br><br>### Important dates<br><br>Submission of regular papers:                       May        25, 2018 [PASSED!]<br>Submission of draft papers:                       <wbr>  July       17, 2018 [UPCOMING!]<br>Regular and draft papers notification:              July       20, 2018  <br>Deadline for early registration:                 <wbr>   August      8, 2018  <br>Submission of pre-proceedings version:              August     29, 2018  <br>IFL Symposium:                    <wbr>                  September 5-7, 2018 <br>Submission of papers for post-proceedings:          November    7, 2018 <br>Notification of acceptance:                   <wbr>      December   22, 2018  <br>Camera-ready version:                      <wbr>         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" target="_blank">http://www.acm.org/<wbr>publications/proceedings-<wbr>template</a><br><br>Authors submit through EasyChair: <br><br>                 <a href="https://easychair.org/conferences/?conf=ifl2018" target="_blank">https://easychair.org/<wbr>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 Chargueraud, 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 Coruna, 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 is organized by 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><br></div><br></div>