[Chicken-users] First Call for Papers for IFL 2015

[publicityifl]

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.