[ The Types Forum (announcements only),
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

<div dir="ltr">Hello,<br><br>Please, find below the third call for papers for IFL 2017. Note that some <br>of the deadlines have been extended. Details are given below.<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 2017 - CALL FOR PAPERS: DEADLINES EXTENDED<br>==============================================<br><br>29th SYMPOSIUM ON IMPLEMENTATION AND APPLICATION OF FUNCTIONAL LANGUAGES<br>=======================================================================<br><br>University of Bristol, UK<br><br>In cooperation with ACM SIGPLAN<br><br>Wednesday 30 August - Friday 1 September, 2017<br><br><a href="http://iflconference.org/";>http://iflconference.org/</a><br><br>Scope<br>-----<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 2017 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><br>Following the IFL tradition, IFL 2017 will use a post-symposium review process<br>to produce the formal proceedings. All participants of IFL 2017 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><br>SIGPLAN&#39;s republication policy:<br><br><a href="http://www.sigplan.org/Resources/Policies/Republication";>http://www.sigplan.org/Resources/Policies/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><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><br>Note that the original deadlines for submission and registration have<br>been extended.<br><br>|                      |                                                           |<br>| ----------------------| -----------------------------------------------------------|<br>| Thu 17 August   2017 | Submission deadline draft papers                          | <br>| Fri 18 August   2017 | Notification of acceptance for presentation               |<br>| Mon 21 August   2017 | Early registration deadline                               |<br>| Mon 21 August   2017 | Submission deadline for pre-symposium proceedings         |<br>| Fri 25 August   2017 | Late registration deadline                                | <br>| Wed 30 August   2017 - Fri 1 September 2017 | IFL Symposium                      |<br>| Mon  4 December 2017 | Submission deadline for post-symposium proceedings        |<br>| Wed 31 January  2018 | Notification of acceptance for post-symposium proceedings |<br>| Mon 12 March    2018 | Camera-ready version for post-symposium proceedings       | <br><br>Submission details<br>------------------<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";>http://www.acm.org/publications/proceedings-template</a><br><br>For the pre-symposium proceedings we adopt a &#39;weak&#39; 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=ifl2017";>https://easychair.org/conferences/?conf=ifl2017</a><br><br>Topics<br>------<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 2017,<br>please contact the PC chair at <a href="mailto:nicolas...@bristol.ac.uk";>nicolas...@bristol.ac.uk</a>. Topics of interest 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>Peter Landin Prize<br>------------------<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><br>Programme committee<br>-------------------<br><br>Chair: Nicolas Wu, University of Bristol, UK<br><br>- Kenichi Asai, Ochanomizu University, Japan<br>- Sandrine Blazy, University of Rennes 1, France<br>- Carlos Camarao, Universidade Federal de Minas Gerais, Brazil<br>- Stephen Dolan, University of Cambridge, UK<br>- Jurriaan Hage, Utrecht University, Netherlands<br>- Yukiyoshi Kameyama, University of Tsukuba, Japan<br>- Benjamin Lerner, Brown University, USA<br>- Bas Lijnse, Radboud University, Netherlands<br>- Garrett Morris, University of Kansas, USA<br>- Miguel Pagano, Universidad Nacional de C√≥rdoba, Argentina<br>- Tomas Petricek, Alan Turing Institute, UK<br>- Maciej Pir√≥g, University of Wroclaw, Poland<br>- Exequiel Rivas, Universidad Nacional de Rosario, Argentina<br>- Neil Sculthorpe, Nottingham Trent University, UK<br>- Melinda Toth, Eotvos Lorand University, Hungary<br>- Phil Trinder, Glasgow University, UK<br>- Kanae Tsushima, National Institute of Informatics, Japan<br>- Marcos Viera, Universidad de la Republica, Uruguay<br>- Meng Wang, University of Kent, UK<br><br>Venue<br>-----<br><br>The IFL 2017 will be held in association with the Department of<br>Computer Science, University of Bristol, UK. Bristol is located in<br>South West England, and can be easily reached from Bristol Airport.<br><br>See the website for more information on the venue.<br><br></div> <p>&nbsp;</p><a style='display: block; margin: 32px 0 40px 0; padding: 10px; font-size: 1em; text-align: center; border: 0; border-top: 1px solid gray; ' href='https://goo.gl/2ksdRv'>powered by GSM. Free mail merge and email marketing software for Gmail.</a>

Reply via email to