IFL 2009: Second Call for Papers

Call for Papers=20
IFL 2009
Seton Hall University
SOUTH ORANGE, NJ, USA
http://tltc.shu.edu/blogs/projects/IFL2009/


** NEW **

Accomodations information available:=20
http://tltc.shu.edu/blogs/projects/IFL2009/accommodations.html

Jane Street Capital has joined IFL 2009 as a sponsor

*********


The 21st International Symposium on Implementation and Application of=20
Functional Languages, IFL 2009, will be held=20
for the first time in the USA. The hosting institution is Seton Hall=20
University in South Orange, NJ, USA and the=20
symposium dates are September 23-25, 2009. It is our goal to make IFL a=20
regular event held in the USA and in=20
Europe. The goal of the IFL symposia is to bring together researchers=20
actively engaged in the implementation and=20
application of functional and function-based programming languages. IFL=20
2009 will be a venue for researchers to=20
present and discuss new ideas and concepts, work in progress, and=20
publication-ripe results related to the=20
implementation and application of functional languages and function-based=20
programming.

Following the IFL tradition, IFL 2009 will use a post-symposium review=20
process to produce a formal proceedings which=20
will be published by Springer in the Lecture Notes in Computer Science=20
series. All participants in IFL 2009 are=20
invited to submit either a draft paper or an extended abstract describing=20
work to be presented at the symposium.=20
These submissions will be screened by the program committee chair to make=20
sure they are within the scope of IFL and will=20
appear in the draft proceedings distributed at the symposium. Submissions=20
appearing in the draft proceedings are not=20
peer-reviewed publications. After the symposium, authors will be given the =

opportunity to incorporate the feedback from=20
discussions at the symposium and will be invited to submit a revised full=20
arcticle for the formal review process. These=20
revised submissions will be reviewed by the program committee using=20
prevailing academic standards to select the best=20
articles that will appear in the formal proceedings.


TOPICS

IFL welcomes submissions describing practical and theoretical work as well =

as submissions describing applications and tools.=20
If you are not sure if your work is appropriate for IFL 2009, please=20
contact the PC chair at [e-mail]. Topics of=20
interest include, but are not limited to:

 language concepts=20
 type checking=20
 contracts
 compilation techniques=20
 staged compilation
 runtime function specialization
 runtime code generation=20
 partial evaluation=20
 (abstract) interpretation=20
 generic programming techniques=20
 automatic program generation=20
 array processing=20
 concurrent/parallel programming=20
 concurrent/parallel program execution=20
 functional programming and embedded systems=20
 functional programming and web applications=20
 functional programming and security=20
 novel memory management techniques=20
 runtime profiling and performance measurements=20
 debugging and tracing=20
 virtual/abstract machine architectures=20
 validation and verification of functional programs=20
 tools and programming techniques=20
 FP in Education


PAPER SUBMISSIONS

Prospective authors are encouraged to submit papers or extended abstracts=20
to be published in the draft proceedings and to=20
present them at the symposium. All contributions must be written in=20
English, conform to the Springer-Verlag LNCS series=20
format and not exceed 16 pages. The draft proceedings will appear as a=20
technical report of the Department of Mathematics=20
and Computer Science of Seton Hall University.


IMPORTANT DATES

Registration deadline                   August 15, 2009
Presentation submission deadline        August 15, 2009
IFL 2009 Symposium                      September 23-25, 2009
Submission for review process deadline  November 1, 2009
Notification Accept/Reject              December 22, 2009
Camera ready version                    February 1, 2010


PROGRAM COMMITTEE

Peter Achten                       University of Nijmegen, The Netherlands
Jost Berthold                       Philipps-Universit=E4t Marburg, Germany
Andrew Butterfield             University of Dublin, Ireland
Robby Findler                     Northwestern University, USA
Kathleen Fisher                   AT&T Research, USA
Cormac Flanagan              University of California at Santa Cruz, USA
Matthew Flatt                        University of Utah, USA
Matthew Fluet                       Toyota Technological Institute at=20
Chicago, USA
Daniel Friedman                 Indiana University, USA
Andy Gill                                University of Kansas, USA
Clemens Grelck                  University of Amsterdam/Hertfordshire, The =

Netherlands/UK
Jurriaan Hage                      Utrecht University, The Netherlands
Ralf Hinze                              Oxford University, UK
Paul Hudak                           Yale University, USA
John Hughes                        Chalmers University of Technology,=20
Sweden
Patricia Johann                    University of Strathclyde, UK
Yukiyoshi Kameyama        University of Tsukuba, Japan
Marco T. Moraz=E1n (Chair)  Seton Hall University, USA
Rex Page                                University of Oklahoma, USA
Fernando Rubio                    Universidad Complutense de Madrid, Spain
Sven-Bodo Scholz               University of Hertfordshire, UK
Manuel Serrano                     INRIA Sophia-Antipolis, France
Chung-chieh Shan                Rutgers University, USA
David Walker                         Princeton University, USA
Vikt=F3ria Zs=F3k                          E=F6tv=F6s Lor=E1nd University, =
Hungary


PETER LANDIN PRIZE

The Peter Landin Prize is awarded to the best paper presented at the=20
symposium every year. The honored article is selected=20
by the program committee based on the submissions received for the formal=20
review process. The prize carries a cash award=20
equivalent to 150 euros.