[Chicken-users] Call for Papers IFL 2013

[publicityifl]

Hello,

Please, find below the first call for papers for IFL 2013.
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

CALL FOR PAPERS

25th SYMPOSIUM ON IMPLEMENTATION AND APPLICATION OF FUNCTIONAL LANGUAGES - IFL 
2013

RADBOUD UNIVERSITY NIJMEGEN, THE NETHERLANDS
ACM In-Cooperation / ACM SIGPLAN

AUGUST 28 - 30 2013

"Landgoed Holthurnsche Hof"

http://ifl2013.cs.ru.nl



We are proud to announce that the 25th edition of the IFL series returns to its 
roots at 
the Radboud University Nijmegen in the Netherlands. The symposium is held from 
28th 
to 30th of August 2013.

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 2013 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. 

Following the IFL tradition, IFL 2013 will use a post-symposium review process 
to 
produce the formal proceedings which will be published in the ACM Digital 
Library. All 
participants of IFL 2013 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. 

Invited Speaker
---------------
Lennart Augustsson, currently employed by the Standard Chartered Bank, 
well-known for 
his work on Haskell, parallel Haskell, Cayenne, and Bluespec, is the invited 
speaker of 
IFL 2013. He will be talking about practical applications of functional 
programming. 

Submission Details
------------------
Submission deadline draft papers:                          July 31 
Notification of acceptance for presentation:               August 2 
Early registration deadline:                               August 7
Late registration deadline:                                August 14 
Submission deadline for pre-symposium proceedings:         August 21
25th IFL Symposium:                                        August 28-30 
Submission deadline for post-symposium proceedings:        November 11
Notification of acceptance for post-symposium proceedings: December 18
Camera-ready version for post-symposium proceedings:       February 3 2014 

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

Papers are to be submitted via the conference's EasyChair submission page: 

    https://www.easychair.org/conferences/?conf=ifl2013

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 2013, 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 honoured 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
-------------------

•  Thomas Arts, Quviq, Gothenburg, Sweden
•  Andrew Butterfield, Trinity College, Dublin, Ireland
•  Edwin Brady, University of St. Andrews, UK
•  Clemens Grelck, University of Amsterdam, Netherlands
•  Adam Granicz, IntelliFactory, Budapest, Hungary
•  Jeremy Gibbons, University of Oxford, UK
•  Fritz Henglein, University of Copenhagen, Denmark
•  Stephan Herhut, Intel Labs, Santa Clara, US
•  Ralf Hinze (co-chair), University of Oxford, UK
•  Zoltán Horváth, Eötvös Loránd University, Budapest, Hungary
•  Zhenjiang Hu, University of Tokyo, Japan
•  Mauro Jaskelioff, Universidad Nacional de Rosario, Argentina
•  Johan Jeuring, University of Utrecht, Netherlands
•  Rita Loogen, University of Marburg, Germany
•  Marco T. Morazán, Seton Hall University, New Jersey, US
•  Dominic Orchard, University of Cambridge, UK
•  Rinus Plasmeijer (chair), Radboud University Nijmegen, Netherlands
•  Tim Sheard, Portland State University, US
•  Sam Tobin-Hochstadt, Northeastern University / Indiana University, US
•  Peter Thiemann, University of Freiburg, Germany
•  Simon Thompson, University of Kent, UK

Venue
-----
The 25th IFL is organized by the Radboud University Nijmegen, Model Based 
Software 
Development Department at the Nijmegen Institute for Computing and Information 
Sciences. 
The event is held in the Landgoed “Holthurnsche Hof”, a rural estate in the 
woodlands 
surrounding Nijmegen. It can be reached quickly and easily by public transport.