IFL 2015 - 27th SYMPOSIUM ON IMPLEMENTATION AND APPLICATION OF FUNCTIONAL LANGUAGES

27th SYMPOSIUM ON IMPLEMENTATION AND APPLICATION OF FUNCTIONAL LANGUAGES - IFL 2015
University of Koblenz-Landau, Koblenz, Germany
In cooperation with ACM SIGPLAN
September 14-16, 2015
http://ifl2015.wikidot.com/
Scope
The goal of the IFL symposia is to bring together researchers actively engaged in the implementation and application of functional and function-based programming languages. IFL 2015 will be a venue for researchers to present and discuss new ideas and concepts, work in progress, and publication-ripe results related to the implementation and application of functional languages and function-based programming.
Peer-review
Following the IFL tradition, IFL 2015 will use a post-symposium review process to produce the formal proceedings. All participants of IFL2015 are invited to submit either a draft paper or an extended abstract describing work to be presented at the symposium. At no time may work submitted to IFL be simultaneously submitted to other venues; submissions must adhere to ACM SIGPLAN's republication policy:
http://www.sigplan.org/Resources/Policies/Republic...
The submissions will be screened by the program committee chair to make sure they are within the scope of IFL, and will appear in the draft proceedings distributed at the symposium. Submissions appearing in the draft proceedings are not peer-reviewed publications. Hence, publications that appear only in the draft proceedings do not count as publication for the ACM SIGPLAN republication policy. After the symposium, authors will be given the opportunity to incorporate the feedback from discussions at the symposium and will be invited to submit a revised full article for the formal review process. From the revised submissions, the program committee will select papers for the formal proceedings considering their correctness, novelty, originality, relevance, significance, and clarity.
Important dates
August 10: Submission deadline draft papers
August 12: Notification of acceptance for presentation
August 14: Early registration deadline
August 21: Late registration deadline
September 7: Submission deadline for pre-symposium proceedings
September 14-16: IFL Symposium
December 1: Submission deadline for post-symposium proceedings
January 15, 2016: Notification of acceptance for post-symposium proceedings
March 1, 2016: Camera-ready version for post-symposium proceedings
Submission details
Prospective authors are encouraged to submit papers or extended abstracts to be published in the draft proceedings and to present them at the symposium. All contributions must be written in English. Papers must adhere to the standard ACM two columns conference format. For the pre-symposium proceedings we adopt a 'weak' page limit of 12 pages. For the post-symposium proceedings the page limit of 12 pages is firm. A suitable document template for LaTeX can be found at:
http://www.acm.org/sigs/sigplan/authorInformation....
Authors submit through EasyChair:
https://easychair.org/conferences/?conf=ifl2015
Topics
IFL welcomes submissions describing practical and theoretical work as well as submissions describing applications and tools in the context of functional programming. If you are not sure whether your work is appropriate for IFL 2015, please contact the PC chair at rlaemmel-AT-acm.org. Topics of interest include, but are not limited to:
language concepts
type systems, type checking, type inferencing
compilation techniques
staged compilation
run-time function specialization
run-time code generation
partial evaluation
(abstract) interpretation
metaprogramming
generic programming
automatic program generation
array processing
concurrent/parallel programming
concurrent/parallel program execution
embedded systems
web applications
(embedded) domain specific languages
security
novel memory management techniques
run-time profiling performance measurements
debugging and tracing
virtual/abstract machine architectures
validation, verification of functional programs
tools and programming techniques
(industrial) applications
Peter Landin Prize
The Peter Landin Prize is awarded to the best paper presented at the symposium every year. The honored article is selected by the program committee based on the submissions received for the formal review process. The prize carries a cash award equivalent to 150 Euros.
Programme committee
Chair: Ralf Lämmel, University of Koblenz-Landau, Germany
Malgorzata Biernacka, University of Wroclaw, Poland
Laura M. Castro, University of A Coruña, Spain
Martin Erwig, Oregon State University, USA
Dan Ghica, University of Birmingham, UK
Andrew Gill, University of Kansas, USA
Stephan Herhut, Google, USA
Zhenjiang Hu, National Institute of Informatics (NII), Japan
Mauro Jaskelioff, CIFASIS/Universidad Nacional de Rosario, Argentina
Frédéric Jouault, ESEO, France
Oleg Kiselyov, Tohoku University, Japan
Lindsey Kuper, Indiana University, USA
Rita Loogen, Philipps-Universität Marburg, Germany
Akimasa Morihata, University of Tokyo, Japan
Atsushi Ohori, Tohoku University, Japan
Bruno C. D. S. Oliveira, The University of Hong Kong, Hong Kong
Frank Piessens, Katholieke Universiteit Leuven, Belgium
Norman Ramsey, Tufts University, USA
Matthew Roberts, Macquarie University, Australia
Manfred Schmidt-Schauss, Goethe-University Frankfurt, Germany
Simon Thompson, University of Kent, UK
Stephanie Weirich, University of Pennsylvania, USA
Steve Zdancewic, University of Pennsylvania , USA
Venue
The 27th IFL will be held in association with the Faculty of Computer Science, University of Koblenz-Landau, Campus Koblenz. Koblenz is well connected by train to several international airports. For instance, Koblenz can be reached from Frankfurt by high-speed train ICE within an hour. The modern Koblenz campus is close to the city center and can be reached by foot, bus, or cab. See the website for more information on the venue.