<div dir="ltr">Hello,<br><br>Please, find below the first call for papers for IFL 2016.<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>IFL 2016 - Call for papers<br><br>28th SYMPOSIUM ON IMPLEMENTATION AND APPLICATION OF FUNCTIONAL LANGUAGES - IFL 2016<br><br>KU Leuven, Belgium<br><br>In cooperation with ACM SIGPLAN<br><br>August 31 - September 2, 2016<br><br><a href="https://dtai.cs.kuleuven.be/events/ifl2016/" target="_blank" data-saferedirecturl="https://www.google.com/url?hl=en&q=https://dtai.cs.kuleuven.be/events/ifl2016/&source=gmail&ust=1464203633575000&usg=AFQjCNHuAJPCfwJEWjWL1GcUslzC3hNDBw">https://dtai.cs.kuleuven.be/<wbr>events/ifl2016/</a><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 2016 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>Peer-review<br><br>Following the IFL tradition, IFL 2016 will use a post-symposium review process<br>to produce the formal proceedings. All participants of IFL 2016 are invited to<br>submit either a draft paper or an extended abstract describing work to be<br>presented at the symposium. At no time may work submitted to IFL be<br>simultaneously submitted to other venues; submissions must adhere to ACM<br>SIGPLAN's republication policy:<br><br><a href="http://www.sigplan.org/Resources/Policies/Republication" target="_blank" data-saferedirecturl="https://www.google.com/url?hl=en&q=http://www.sigplan.org/Resources/Policies/Republication&source=gmail&ust=1464203633575000&usg=AFQjCNF864ttIE9_ZamsMtx6gVkKHYyI_w">http://www.sigplan.org/<wbr>Resources/Policies/<wbr>Republication</a><br><br>The submissions will be screened by the program committee chair to make sure<br>they are within the scope of IFL, and will appear in the draft proceedings<br>distributed at the symposium. Submissions appearing in the draft proceedings<br>are not peer-reviewed publications. Hence, publications that appear only in the<br>draft proceedings are not subject to the ACM SIGPLAN republication policy.<br>After the symposium, authors will be given the opportunity to incorporate the<br>feedback from discussions at the symposium and will be invited to submit a<br>revised full article for the formal review process. From the revised<br>submissions, the program committee will select papers for the formal<br>proceedings considering their correctness, novelty, originality, relevance,<br>significance, and clarity. The formal proceedings will appear in the<br>International Conference Proceedings Series of the ACM Digital Library.<br><br>Important dates<br><br>August 1: Submission deadline draft papers<br>August 3: Notification of acceptance for presentation<br>August 5: Early registration deadline<br>August 12: Late registration deadline<br>August 22: Submission deadline for pre-symposium proceedings<br>August 31 - September 2: IFL Symposium<br>December 1: Submission deadline for post-symposium proceedings<br>January 31, 2017: Notification of acceptance for post-symposium proceedings<br>March 15, 2017: Camera-ready version for post-symposium proceedings<br><br>Submission details<br><br>Prospective authors are encouraged to submit papers or extended abstracts to be<br>published in the draft proceedings and to present them at the symposium. All<br>contributions must be written in English. Papers must use the new ACM two<br>columns conference format, which can be found at:<br><br><a href="http://www.acm.org/publications/proceedings-template" target="_blank" data-saferedirecturl="https://www.google.com/url?hl=en&q=http://www.acm.org/publications/proceedings-template&source=gmail&ust=1464203633575000&usg=AFQjCNG9yEL6o7tycPuqZkmd3DfKkEqfIA">http://www.acm.org/<wbr>publications/proceedings-<wbr>template</a><br><br>For the pre-symposium proceedings we adopt a 'weak' page limit of 12 pages. For<br>the post-symposium proceedings the page limit of 12 pages is firm.<br><br>Authors submit through EasyChair:<br><br><a href="https://easychair.org/conferences/?conf=ifl2016" target="_blank" data-saferedirecturl="https://www.google.com/url?hl=en&q=https://easychair.org/conferences/?conf%3Difl2016&source=gmail&ust=1464203633575000&usg=AFQjCNE2gWka1sbfWRRL1paIUutRkJs8BA">https://easychair.org/<wbr>conferences/?conf=ifl2016</a><br><br>Topics<br><br>IFL welcomes submissions describing practical and theoretical work as well as<br>submissions describing applications and tools in the context of functional<br>programming. If you are not sure whether your work is appropriate for IFL 2016,<br>please contact the PC chair at <a href="mailto:tom.schrijvers@cs.kuleuven.be" target="_blank">tom.schrijvers@cs.kuleuven.be</a>. Topics of interest include,<br>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>Peter Landin Prize<br><br>The Peter Landin Prize is awarded to the best paper presented at the symposium<br>every year. The honored article is selected by the program committee based on<br>the submissions received for the formal review process. The prize carries a<br>cash award equivalent to 150 Euros.<br><br>Programme committee<br><br>Chair: Tom Schrijvers, KU Leuven, Belgium<br><br>- Sandrine Blazy, University of Rennes 1, France <br>- Laura Castro, University of A Coru√±a, Spain<br>- Jacques, Garrigue, Nagoya University, Japan<br>- Clemens Grelck, University of Amsterdam, The Netherlands<br>- Zoltan Horvath, Eotvos Lorand University, Hungary<br>- Jan Martin Jansen, Netherlands Defence Academy, The Netherlands<br>- Mauro Jaskelioff, CIFASIS/Universidad Nacional de Rosario, Argentina<br>- Patricia Johann, Appalachian State University, USA<br>- Wolfram Kahl, McMaster University, Canada <br>- Pieter Koopman, Radboud University Nijmegen, The Netherlands<br>- Shin-Cheng Mu, Academia Sinica, Taiwan<br>- Henrik Nilsson, University of Nottingham, UK<br>- Nikolaos Papaspyrou, National Technical University of Athens, Greece<br>- Atze van der Ploeg, Chalmers University of Technology, Sweden<br>- Matija Pretnar, University of Ljubljana, Slovenia<br>- Tillmann Rendel, University of T√ºbingen, Germany<br>- Christophe Scholliers, Universiteit Gent, Belgium<br>- Sven-Bodo Scholz, Heriot-Watt University, UK<br>- Melinda Toth, Eotvos Lorand University, Hungary<br>- Meng Wang, University of Kent, UK<br>- Jeremy Yallop, University of Cambridge, UK<br><br>Venue<br><br>The 28th IFL will be held in association with the Faculty of Computer Science,<br>KU Leuven, Belgium. Leuven is centrally located in Belgium and can be easily<br>reached from Brussels Airport by train (~15 minutes). The venue in the<br>Arenberg Castle park can be reached by foot, bus or taxi from the city center.<br>See the website for more information on the venue.<br></div>