Important dates

Submission deadline	21 March 2002 18:00 UTC
Notification of acceptance or rejection	14 May 2002
Final paper due	TBD
Conference	October 4-6, 2002, Pittsburgh, PA, USA

Submission

Submission site: http://cmt.research.microsoft.com/ICFP02
Formatting guidelines: http://www.acm.org/sigs/pubs/proceed/template.html (you don't need to include categories, keywords, etc., though you are welcome to do so; also note that the ACM copyright notice is not required of submissions, only of accepted papers)

Scope

ICFP 2002 seeks original papers on the full spectrum of the art, science, and practice of functional programming. The conference invites submissions on all topics ranging from principles to practice, from foundations to features, and from abstraction to application. The scope covers all languages that encourage programming with functions, including both purely applicative and imperative languages, as well as languages that support objects and concurrency. Topics of interest include, but are not limited to, the following:

Foundations

formal semantics, lambda calculus, type theory, monads, continuations, control, state, effects.

Design

modules and type systems, concurrency and distribution, components and composition, relations to object-oriented and logic programming, multiparadigm programming.

Implementation

abstract machines, compile-time and run-time optimization, just-in-time compilers, memory management, foreign-function and component interfaces.

Transformation and analysis

abstract interpretation, partial evaluation, program transformation, theorem proving, specification and verification.

Software development techniques for functional programming

design patterns, specification, verification and validation, debugging, test generation, etc.

Human productivity of functional programming

visual, graphical (etc) approaches, evaluating language usability, empirical studies of human effectiveness, etc.

Applications and domain-specific languages

scientific and numerical computing, symbolic computing and artificial intelligence, systems programming, databases, graphic user interfaces, multimedia programming, Web programming.

Practice and experience

functional programming in education and industry, ramifications on other paradigms and computing disciplines.

Functional pearls

elegant, instructive examples of functional programming.

Papers in the latter three categories need not necessarily report original research results; they may instead, for example, report practical experience that will be useful to others, re-usable programming idioms, or elegant new ways of approaching a problem. The key criterion for such a paper is that it makes a contribution from which other practitioners can benefit. It is not enough simply to describe a program!

Submission guidelines

Authors should submit a 100-200 word abstract and a full paper by 18:00 Universal Coordinated Time on Thursday, March 21, 2002. Submissions should be no more than 12 pages (including bibliography and appendices) in standard ACM conference format: two columns, nine point font on ten point baseline, page 20pc (3.33in) wide and 54pc (9in) tall with a column gutter of 2pc (0.33in). Authors wishing to supply additional material to the reviewers beyond the 12 page limit can do so in clearly marked appendices, on the understanding that reviewers are not required to read the appendices. Submissions that do not meet these guidelines will not be considered. Suitable style files for Latex, Word, and Word Perfect can be found on the submission Web site. The submission deadline and length above are firm.

Submissions will be carried out electronically via the Web, at the URL given above. Papers must be submitted in PDF format, or as PostScript documents that are interpretable by Ghostscript, and they must be printable on US Letter sized paper. Individuals for which this requirement is a hardship should contact the program chair at least one week before the deadline.

Submitted papers must have content that has not previously been published in other conferences or refereed venues, and simultaneous submission to other conferences or refereed venues is unacceptable. Each paper should explain its contributions in both general and technical terms, clearly identifying what has been accomplished, saying why it is significant, and comparing it with previous work. Authors should strive to make the technical content of their papers understandable to a broad audience.

Authors of accepted papers will be required to sign the ACM copyright form. Proceedings will be published by ACM Press.

Program Chair

Simon Peyton Jones
Microsoft Research
7 J J Thomson Avenue
Cambridge CB3 0FB, England
simonpj@microsoft.com
Fax: +44 - 1223 - 479848
Phone: +44 - 1223 - 479999

Conference Chair

Mitchell Wand
College of Computer Science
Northeastern University
360 Huntington Avenue #161CN
Boston, MA 02115
wand@ccs.neu.edu
Phone: +1 (617) 373 2072
Fax: +1 (617) 373 5121

Program Committee

• Matthias Blume (Lucent)
• Margaret Burnett (Oregon State University)
• Manuel Chakravarty (University of New South Wales)
• Matthew Flatt (University of Utah)
• Haruo Hosoya (Kyoto University)
• Uwe Nestmann (EPFL, Lausanne)
• Chris Okasaki (United States Military Academy)
• Norman Ramsey (Harvard University)
• David Sands (Chalmers University)
• Olin Shivers (Georgia Tech)
• Stephanie Weirich (Cornell)
• Joe Wells (Heriot Watt University)