[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