|Submission deadline||15 March 2001, 18:00 UTC|
|Notification of acceptance or rejection||11 May 2001|
|Final paper due||29 June 2001|
|Conference||3-5 September 2001|
ICFP 2001 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. Papers setting new directions in functional programming, or describing novel or exemplary applications of functional programming, are particularly encouraged. Topics of interest include, but are not limited to, the following:
Authors should submit a 100-200 word abstract and a full paper by 18:00 Universal Coordinated Time (UTC) on Thursday, March 15, 2001. Submissions should be no more than 12 pages (including bibliography) 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 this URL. Papers must be submitted in PDF format, or as PostScript documents that are interpretable by Ghostscript, and they must be printable on both USLetter and A4 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 will be notified of acceptance or rejection by May 11, 2001. The final version of accepted papers must be received in camera-ready form by June 29, 2001 for inclusion in the proceedings. Authors of accepted papers will be required to sign the ACM copyright form. Proceedings will be published by ACM Press.
General chairBenjamin Pierce
University of Pennsylvania
Program chairXavier Leroy
Domaine de Voluceau, B.P. 105
78153 Le Chesnay, France
Fax: + 33 - 1 - 39 63 56 84
Phone: + 33 - 1 - 39 63 55 61
Contact Web Administrator - Last modified: