[PRL] Fwd: CFPapers: 22nd Symposium on Implementation and Applications of Functional Languages (IFL 2010)
Matthias Felleisen
matthias at ccs.neu.edu
Fri Mar 19 09:20:27 EDT 2010
Begin forwarded message:
> From: jur <jur at CS.UU.NL>
> Date: March 19, 2010 9:05:11 AM EDT
> To: EAPLS at JISCMAIL.AC.UK
> Subject: CFPapers: 22nd Symposium on Implementation and Applications
> of Functional Languages (IFL 2010)
> Reply-To: jur <jur at CS.UU.NL>
>
> CALL FOR PAPERS
>
> 22nd Symposium on Implementation and Applications of Functional
> Languages (IFL 2010)
> September 1-3, 2010
> Utrecht University
> Alphen aan den Rijn, The Netherlands
> http://www.cs.uu.nl/wiki/bin/view/IFL2010/WebHome
>
>
> After a first successful visit to the USA, the Symposium on
> Implementation and Applications 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 jur at cs.uu.nl. 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.
>
> 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. Morazan Seton Hall University, USA
> Rex Page University of Oklahoma, USA
> Ricardo Pena 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 Voigtlaender University of Bonn, Germany
> Viktoria Zsok Eotvos Lorand University, Hungary
More information about the PRL
mailing list