ICFP 2001: Call for Papers

ICFP 2001: International Conference on Functional Programming
Firenze (Florence), Italy; 3-5 September 2001
associated with PLI 2001: Colloquium on Principles, Logics,
and Implementations of High-Level Programming Languages

Important dates

Submission deadline 15 March 2001, 18:00 UTC
Notification of acceptance or rejection11 May 2001
Final paper due29 June 2001
Conference3-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:

  • 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.
  • Applications: scientific and numerical computing, symbolic computing and artificial intelligence, systems programming, databases, graphic user interfaces, multimedia programming, web programming.
  • Experience: FP in education and industry, ramifications on other paradigms and computing disciplines.
  • Functional pearls: elegant, instructive examples of functional programming.
  • Submission guidelines

    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.

    Program committee

    General chair

    Benjamin Pierce
    University of Pennsylvania

    Program chair

    Xavier Leroy
    INRIA Rocquencourt
    Domaine de Voluceau, B.P. 105
    78153 Le Chesnay, France
    E-mail: Xavier.Leroy@inria.fr
    Fax: + 33 - 1 - 39 63 56 84
    Phone: + 33 - 1 - 39 63 55 61

    Program committee

    Contact Web Administrator - Last modified: