<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'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 '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=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:[email protected]">[email protected]</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> </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>
lmpx.com only provides a reader for public news (NNTP) servers. It is not
affiliated with the servers or forums shown here and is not responsible for
the content of articles, which is written by their respective authors.