3RD CALL FOR PAPERS and 1ST CALL FOR PARTICIPATION
22nd Symposium on Implementation and Application of Functional Languages (IFL
2010)
September 1-3, 2010
Utrecht University
Alphen aan den Rijn, The Netherlands
http://www.cs.uu.nl/ifl2010
*******************************************************************************************
** Submission and Registration are now both OPEN
**
** If you intend to participate in IFL 2010, help us by registering as soon as
possible. **
**
**
** Submission closes July 25, Registration closes August 1
**
*******************************************************************************************
After a first successful visit to the USA, the Symposium on Implementation and
Application of Functional
Languages returns to Europe for its 22nd edition. The hosting institution is
Utrecht University in the
Netherlands, although the conference itself will take place in the
ornithological theme park Avifauna
in Alphen aan den Rijn, situated conveniently close to Schiphol (Amsterdam
Airport). The symposium dates
are September 1-3, 2010.
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 2010
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 2010 will use a post-symposium review process
to produce formal proceedings
which will be published by Springer Verlag in the Lecture Notes in Computer
Science series. All participants in
IFL 2010 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. Here
we follow the ACM Sigplan republication policy as defined on
http://www.sigplan.org/republicationpolicy.htm.
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. 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. These revised submissions will be
reviewed by the program committee
using prevailing academic standards to select the best articles, which will
appear in the formal proceedings.
INVITED SPEAKER
Johan Nordlander of Lulea University, the designer and developer of the Timber
language, is the invited
speaker at IFL 2010. Timber is a functional programming language that draws
some of its concepts from
object-oriented programming, and has built-in facilities for concurrent
execution. The language is
specifically targeted at implementing real-time embedded systems.
TOPICS
IFL welcomes submissions describing practical and theoretical work as well as
submissions describing
applications and tools. If you are not sure that your work is appropriate for
IFL 2010, please contact
the PC chair at [email protected]. Topics of interest include, but are not limited
to:
language concepts
type checking
contracts
compilation techniques
staged compilation
runtime function specialization
runtime code generation
partial evaluation
(abstract) interpretation
generic programming techniques
automatic program generation
array processing
concurrent/parallel programming
concurrent/parallel program execution
functional programming and embedded systems
functional programming and web applications
functional programming and security
novel memory management techniques
runtime profiling and performance measurements
debugging and tracing
virtual/abstract machine architectures
validation and verification of functional programs
tools and programming techniques
industrial applications of functional programming
PAPER SUBMISSIONS
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, conform to the Springer-Verlag
LNCS series format and not exceed 16 pages. The draft proceedings will appear
as a technical report of the
Department of Computer Science of Utrecht University.
SPONSORS
IFL 2010 is sponsored by Microsoft Research. As a result we can offer decreased
participation fees for Master students
and PhD students who plan to attend or present at IFL 2010.
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.
IMPORTANT DATES
Draft proceedings submission deadline July 25, 2010
Registration deadline August 1, 2010
IFL 2010 Symposium September 1-3, 2010
Submission for review process deadline October 25, 2010
Notification Accept/Reject December 22, 2010
Camera ready version February 17, 2011
PROGRAM COMMITTEE
Jost Berthold University of Copenhagen (DIKU), Denmark
Olaf Chitil University of Kent, UK
John Clements California Polytechnic State University, USA
Matthew Fluet Rochester Institute of Technology, USA
Andy Gill Kansas University, USA
Jurriaan Hage (Chair) University of Utrecht, Netherlands
Bastiaan Heeren Open University, Netherlands
Ralf Hinze University of Oxford, UK
John Hughes Chalmers University of Technology, Sweden
Yukiyoshi Kameyama University of Tsukuba, Japan
Gabriele Keller University of New South Wales, Australia
Pieter Koopman Radboud University Nijmegen, Netherlands
Luc Maranget INRIA, France
Simon Marlow Microsoft Research, UK
Marco T. Morazán Seton Hall University, USA
Rex Page University of Oklahoma, USA
Ricardo Peña Universidad Complutense de Madrid, Spain
Sven-Bodo Scholz University of Hertfordshire, UK
Tom Schrijvers Catholic University of Leuven, Belgium
Don Stewart Galois, USA
Wouter Swierstra Vector Fabrics, Netherlands
Don Syme Microsoft, UK
Peter Thiemann University of Freiburg, Germany
Phil Trinder Heriott-Watt University, Scotland
Janis Voigtländer University of Bonn, Germany
Viktória Zsók Eötvös Loránd University, Hungary
_______________________________________________
clean-list mailing list
[email protected]
http://mailman.science.ru.nl/mailman/listinfo/clean-list
