[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Chicken-users] First Call for Papers for IFL 2015
From: |
publicityifl |
Subject: |
[Chicken-users] First Call for Papers for IFL 2015 |
Date: |
Sun, 10 May 2015 13:02:33 -0700 (PDT) |
Hello,
Please, find below the first call for papers for IFL 2015.
Please forward these to anyone you think may be interested.
Apologies for any duplicates you may receive.
best regards,
Jurriaan Hage
Publicity Chair of IFL
---
IFL 2015 - Call for papers
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/Republication
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.htm
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 address@hidden 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.
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [Chicken-users] First Call for Papers for IFL 2015,
publicityifl <=