[Haskell] CFP: 23rd Symposium on Implementation and Application of Functional Languages (IFL 2011)

[Andy Gill]

CALL FOR PAPERS

23rd Symposium on Implementation and
Application of Functional Languages (IFL 2011)
October 3-5, 2011
University of Kansas
Lawrence, Kansas, USA
http://www.ittc.ku.edu/ifl2011


The Symposium returns to the US this year, hosted by the University of Kansas,
in scenic Lawrence, Kansas. Lawrence is a lively college town less than an hour
from Kansas City and the Kansas City International Airport (MCI). The symposium
dates are October 3-5, 2011.

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 2011 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 2011 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 2011 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: 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

Bryan O'Sullivan, author of Real World Haskell, and co-founder of
MailRank, Inc.

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 2011, please contact the PC chair at
andygill at ittc.ku.edu. 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 Electrical Engineering and Computer
Science of the University of Kansas.

(We are more liberal with the draft proceedings, also accepting (for example)
longer papers or SIGPLAN 2 column 12 page papers. For other formats contact
the chair. For the consideration for the final proceedings, the 16 page
LNCS format is required.)

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

Presentation submission deadline        August 15th, 2011
Notification of acceptance:             August 19th, 2011
Early registration deadline:            September 2nd, 2011
IFL 2011 Symposium:                     October 3-5, 2011
Submission for (post) review process:   November 30th, 2011
Notification Accept/Reject:             January 30th, 2012
Camera ready version:                   March 9th, 2012

PROGRAM COMMITTEE

Torben Amtoft, Kansas State University
Francesco Cesarini, Erlang Solutions Ltd
Olaf Chitil, University of Kent
Eelco Dolstra, Delft University of Technology
Martin Erwig, Oregon State University
Andy Gill, University of Kansas (Chair)
Alwyn Goodloe, NASA
Jurriaan Hage, Utrecht University
Kevin Hammond, University of St. Andrews
Bill Harrison, University of Missouri
Ralf Hinze, Oxford University
James Hook, Portland State University
Garrin Kimmell, University of Iowa
Andres Löh, Well-Typed LLP
Rita Loogen, Philipps-University Marburg
Neil Mitchell, Standard Chartered
Rex Page, Oklahoma University
Rinus Plasmeijer, Radboud University Nijmegen
Sven-Bodo Scholz, University of Hertfordshire
Mary Sheeran, Chalmers
Satnam Singh, Microsoft Research
Walid Taha, Halmstad University
Simon Thompson, University of Kent
Geoffrey Washburn, LogicBlox
----
Andy Gill, <andygill at ku.edu>
Assistant Professor
The University of Kansas, EECS Department
Information and Telecommunication Technology Center
http://www.ittc.ku.edu/csdl/fpg/Users/AndyGill