I
IFL 2009
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 address removed). 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.
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 address removed). 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.