<br><font size=2 face="sans-serif">Call for Papers </font>
<br><font size=2 face="sans-serif">IFL 2009</font>
<br><font size=2 face="sans-serif">Seton Hall University</font>
<br><font size=2 face="sans-serif">SOUTH ORANGE, NJ, USA</font>
<br><a href=http://tltc.shu.edu/blogs/projects/IFL2009/><font size=2 face="sans-serif">http://tltc.shu.edu/blogs/projects/IFL2009/</font></a>
<br>
<br>
<br><font size=2 face="sans-serif">** NEW **</font>
<br>
<br><font size=2 face="sans-serif">Accomodations information available:
</font><a href=http://tltc.shu.edu/blogs/projects/IFL2009/accommodations.html><font size=2 face="sans-serif">http://tltc.shu.edu/blogs/projects/IFL2009/accommodations.html</font></a>
<br>
<br><font size=2 face="sans-serif">Jane Street Capital has joined IFL 2009
as a sponsor</font>
<br>
<br><font size=2 face="sans-serif">*********</font>
<br>
<br>
<br><font size=2 face="sans-serif">The 21st International Symposium on
Implementation and Application of Functional Languages, IFL 2009, will
be held </font>
<br><font size=2 face="sans-serif">for the first time in the USA. The hosting
institution is Seton Hall University in South Orange, NJ, USA and the </font>
<br><font size=2 face="sans-serif">symposium dates are September 23-25,
2009. It is our goal to make IFL a regular event held in the USA and in
</font>
<br><font size=2 face="sans-serif">Europe. The goal of the IFL symposia
is to bring together researchers actively engaged in the implementation
and </font>
<br><font size=2 face="sans-serif">application of functional and function-based
programming languages. IFL 2009 will be a venue for researchers to </font>
<br><font size=2 face="sans-serif">present and discuss new ideas and concepts,
work in progress, and publication-ripe results related to the </font>
<br><font size=2 face="sans-serif">implementation and application of functional
languages and function-based programming.</font>
<br>
<br><font size=2 face="sans-serif">Following the IFL tradition, IFL 2009
will use a post-symposium review process to produce a formal proceedings
which </font>
<br><font size=2 face="sans-serif">will be published by Springer in the
Lecture Notes in Computer Science series. All participants in IFL 2009
are </font>
<br><font size=2 face="sans-serif">invited to submit either a draft paper
or an extended abstract describing work to be presented at the symposium.
</font>
<br><font size=2 face="sans-serif">These submissions will be screened by
the program committee chair to make sure they are within the scope of IFL
and will </font>
<br><font size=2 face="sans-serif">appear in the draft proceedings distributed
at the symposium. Submissions appearing in the draft proceedings are not
</font>
<br><font size=2 face="sans-serif">peer-reviewed publications. After the
symposium, authors will be given the opportunity to incorporate the feedback
from </font>
<br><font size=2 face="sans-serif">discussions at the symposium and will
be invited to submit a revised full arcticle for the formal review process.
These </font>
<br><font size=2 face="sans-serif">revised submissions will be reviewed
by the program committee using prevailing academic standards to select
the best </font>
<br><font size=2 face="sans-serif">articles that will appear in the formal
proceedings.</font>
<br>
<br>
<br><font size=2 face="sans-serif">TOPICS</font>
<br>
<br><font size=2 face="sans-serif">IFL welcomes submissions describing
practical and theoretical work as well as submissions describing applications
and tools. </font>
<br><font size=2 face="sans-serif">If you are not sure if your work is
appropriate for IFL 2009, please contact the PC chair at ifl2009@shu.edu.
Topics of </font>
<br><font size=2 face="sans-serif">interest include, but are not limited
to:</font>
<br>
<br><font size=2 face="sans-serif">&nbsp;language concepts </font>
<br><font size=2 face="sans-serif">&nbsp;type checking </font>
<br><font size=2 face="sans-serif">&nbsp;contracts</font>
<br><font size=2 face="sans-serif">&nbsp;compilation techniques </font>
<br><font size=2 face="sans-serif">&nbsp;staged compilation</font>
<br><font size=2 face="sans-serif">&nbsp;runtime function specialization</font>
<br><font size=2 face="sans-serif">&nbsp;runtime code generation </font>
<br><font size=2 face="sans-serif">&nbsp;partial evaluation &nbsp;</font>
<br><font size=2 face="sans-serif">&nbsp;(abstract) interpretation </font>
<br><font size=2 face="sans-serif">&nbsp;generic programming techniques
</font>
<br><font size=2 face="sans-serif">&nbsp;automatic program generation </font>
<br><font size=2 face="sans-serif">&nbsp;array processing </font>
<br><font size=2 face="sans-serif">&nbsp;concurrent/parallel programming
</font>
<br><font size=2 face="sans-serif">&nbsp;concurrent/parallel program execution
</font>
<br><font size=2 face="sans-serif">&nbsp;functional programming and embedded
systems </font>
<br><font size=2 face="sans-serif">&nbsp;functional programming and web
applications </font>
<br><font size=2 face="sans-serif">&nbsp;functional programming and security
</font>
<br><font size=2 face="sans-serif">&nbsp;novel memory management techniques
</font>
<br><font size=2 face="sans-serif">&nbsp;runtime profiling and performance
measurements </font>
<br><font size=2 face="sans-serif">&nbsp;debugging and tracing </font>
<br><font size=2 face="sans-serif">&nbsp;virtual/abstract machine architectures
</font>
<br><font size=2 face="sans-serif">&nbsp;validation and verification of
functional programs &nbsp; </font>
<br><font size=2 face="sans-serif">&nbsp;tools and programming techniques
</font>
<br><font size=2 face="sans-serif">&nbsp;FP in Education</font>
<br>
<br>
<br><font size=2 face="sans-serif">PAPER SUBMISSIONS</font>
<br>
<br><font size=2 face="sans-serif">Prospective authors are encouraged to
submit papers or extended abstracts to be published in the draft proceedings
and to </font>
<br><font size=2 face="sans-serif">present them at the symposium. All contributions
must be written in English, conform to the Springer-Verlag LNCS series
</font>
<br><font size=2 face="sans-serif">format and not exceed 16 pages. The
draft proceedings will appear as a technical report of the Department of
Mathematics </font>
<br><font size=2 face="sans-serif">and Computer Science of Seton Hall University.</font>
<br>
<br>
<br><font size=2 face="sans-serif">IMPORTANT DATES</font>
<br>
<br><font size=2 face="sans-serif">Registration deadline &nbsp; &nbsp;
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; August 15, 2009</font>
<br><font size=2 face="sans-serif">Presentation submission deadline &nbsp;
&nbsp; &nbsp; &nbsp;August 15, 2009</font>
<br><font size=2 face="sans-serif">IFL 2009 Symposium &nbsp; &nbsp; &nbsp;
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;September 23-25,
2009</font>
<br><font size=2 face="sans-serif">Submission for review process deadline
&nbsp;November 1, 2009</font>
<br><font size=2 face="sans-serif">Notification Accept/Reject &nbsp; &nbsp;
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp;December 22, 2009</font>
<br><font size=2 face="sans-serif">Camera ready version &nbsp; &nbsp; &nbsp;
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;February 1, 2010</font>
<br>
<br>
<br><font size=2 face="sans-serif">PROGRAM COMMITTEE</font>
<br>
<br><font size=2 face="sans-serif">Peter Achten &nbsp; &nbsp; &nbsp; &nbsp;
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; University of Nijmegen,
The Netherlands</font>
<br><font size=2 face="sans-serif">Jost Berthold &nbsp; &nbsp; &nbsp; &nbsp;
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; Philipps-Universität Marburg,
Germany</font>
<br><font size=2 face="sans-serif">Andrew Butterfield &nbsp; &nbsp; &nbsp;
&nbsp; &nbsp; &nbsp; University of Dublin, Ireland</font>
<br><font size=2 face="sans-serif">Robby Findler &nbsp; &nbsp; &nbsp; &nbsp;
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; Northwestern University, USA</font>
<br><font size=2 face="sans-serif">Kathleen Fisher &nbsp; &nbsp; &nbsp;
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; AT&amp;T Research, USA</font>
<br><font size=2 face="sans-serif">Cormac Flanagan &nbsp; &nbsp; &nbsp;
&nbsp; &nbsp; &nbsp; &nbsp;University of California at Santa Cruz, USA</font>
<br><font size=2 face="sans-serif">Matthew Flatt &nbsp; &nbsp; &nbsp; &nbsp;
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;University of Utah,
USA</font>
<br><font size=2 face="sans-serif">Matthew Fluet &nbsp; &nbsp; &nbsp; &nbsp;
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; Toyota Technological Institute
at Chicago, USA</font>
<br><font size=2 face="sans-serif">Daniel Friedman &nbsp; &nbsp; &nbsp;
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; Indiana University, USA</font>
<br><font size=2 face="sans-serif">Andy Gill &nbsp; &nbsp; &nbsp; &nbsp;
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;
&nbsp;University of Kansas, USA</font>
<br><font size=2 face="sans-serif">Clemens Grelck &nbsp; &nbsp; &nbsp;
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;University of Amsterdam/Hertfordshire,
The Netherlands/UK</font>
<br><font size=2 face="sans-serif">Jurriaan Hage &nbsp; &nbsp; &nbsp; &nbsp;
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;Utrecht University, The
Netherlands</font>
<br><font size=2 face="sans-serif">Ralf Hinze &nbsp; &nbsp; &nbsp; &nbsp;
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;Oxford
University, UK</font>
<br><font size=2 face="sans-serif">Paul Hudak &nbsp; &nbsp; &nbsp; &nbsp;
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; Yale University,
USA</font>
<br><font size=2 face="sans-serif">John Hughes &nbsp; &nbsp; &nbsp; &nbsp;
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;Chalmers University
of Technology, Sweden</font>
<br><font size=2 face="sans-serif">Patricia Johann &nbsp; &nbsp; &nbsp;
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;University of Strathclyde,
UK</font>
<br><font size=2 face="sans-serif">Yukiyoshi Kameyama &nbsp; &nbsp; &nbsp;
&nbsp;University of Tsukuba, Japan</font>
<br><font size=2 face="sans-serif">Marco T. Morazán (Chair) &nbsp;Seton
Hall University, USA</font>
<br><font size=2 face="sans-serif">Rex Page &nbsp; &nbsp; &nbsp; &nbsp;
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;
&nbsp;University of Oklahoma, USA</font>
<br><font size=2 face="sans-serif">Fernando Rubio &nbsp; &nbsp; &nbsp;
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;Universidad Complutense
de Madrid, Spain</font>
<br><font size=2 face="sans-serif">Sven-Bodo Scholz &nbsp; &nbsp; &nbsp;
&nbsp; &nbsp; &nbsp; &nbsp; University of Hertfordshire, UK</font>
<br><font size=2 face="sans-serif">Manuel Serrano &nbsp; &nbsp; &nbsp;
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; INRIA Sophia-Antipolis,
France</font>
<br><font size=2 face="sans-serif">Chung-chieh Shan &nbsp; &nbsp; &nbsp;
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp;Rutgers University, USA</font>
<br><font size=2 face="sans-serif">David Walker &nbsp; &nbsp; &nbsp; &nbsp;
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; Princeton University,
USA</font>
<br><font size=2 face="sans-serif">Viktória Zsók &nbsp; &nbsp; &nbsp; &nbsp;
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;Eötvös Loránd
University, Hungary</font>
<br>
<br>
<br><font size=2 face="sans-serif">PETER LANDIN PRIZE</font>
<br>
<br><font size=2 face="sans-serif">The Peter Landin Prize is awarded to
the best paper presented at the symposium every year. The honored article
is selected </font>
<br><font size=2 face="sans-serif">by the program committee based on the
submissions received for the formal review process. The prize carries a
cash award </font>
<br><font size=2 face="sans-serif">equivalent to 150 euros.</font>
<br>