International Conference on Functional Programming

Call for Papers
ICFP 2006
September 18-20, 2006
Portland Oregon

Important dates

Scope:

ICFP 2006 seeks original papers on the art and science of functional programming. Submissions are invited on all topics ranging from principles to practice, from foundations to features, from abstraction to application. The scope includes all languages that encourage functional programming, including both purely applicative and imperative languages, as well as languages with objects and concurrency. Particular topics of interest include:

• Applications and domain-specific languages: Systems programming, scientific and numerical computing, symbolic computing and artificial intelligence, databases, graphical user interfaces, multimedia programming, application scripting, system administration, distributed-systems and web programming, XML processing, security.
• Foundations: Formal semantics, lambda calculus, type theory, monads, continuations, control, state, effects.
• Design: Algorithms and data structures, modules and type systems, concurrency and distribution, components and composition, relations to object-oriented and logic programming.
• Implementation: Abstract machines, compile-time and run-time optimization, just-in-time compilers, memory management. Interfaces to foreign functions, services, components and low-level machine resources.
• Transformation and analysis: Abstract interpretation, partial evaluation, program transformation.
• Software-development techniques for functional programming: Design patterns, specification, verification, validation, debugging, test generation, tracing and profiling.
• Practice and experience: Functional programming in education and industry.
• Functional pearls: Elegant, instructive examples of functional programming.

Papers in the last two 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.

Submission guidelines

Due date & time: Submissions must be filed at http://www.easychair.org/ICFP2006/ by 23:00 Friday,  April 7,  Apia, Samoa time. Some equivalents to this time are

• New York: 6:00 AM = 6h00 (April 8)
• San Francisco: 3:00 AM = 3h00 (April 8)
• Chicago: 5:00 AM = 5h00 (April 8)
• Paris: 12:00 AM = 12h00 (April 8)
• Hong Kong: 6:00 PM = 18h00 (April 8)
• UTC: 10:00 AM (April 8)

Submission URL: http://www.easychair.org/ICFP2006/

Submission instructions: Authors should submit an abstract (300 words max) together with a full paper by the submission deadline. Improved versions of a paper may be submitted at any point before the submission deadline using the same web interface.

Each paper should explain its contributions in both general and technical terms, clearly identifying what has been accomplished, explaining 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.

Submitted papers must adhere to SIGPLAN's republication policy.  Authors of accepted papers will be required to sign the ACM copyright form. Proceedings will be published by ACM Press.

LaTeX class file: Available from the SIGPLAN Author Information page

Formatting instructions: Papers must be submitted in either PDF format or as PostScript documents that are interpretable by Ghostscript. 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.

Submissions should be no more than 12 pages (including bibliography) in standard ACM conference format: two columns, nine-point font on a ten-point baseline, with pages 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 page limit can do so in clearly marked appendices, on the understanding that reviewers are not required to read the appendices.

You need not include categories, keywords, etc. in the submission, though you are welcome to do so.

Submissions that do not meet these guidelines will not be considered. The submission deadline and length limitations are firm.

Author Response Period:

Authors will be given a 48-hour period (from May 14 at 11PM Apia, Samoan time until May 16 at 11PM) to read and respond to the reviews for their papers before the PC meeting.   Details of the response process will be announced by email a few days beforehand.

Special Issue of the Journal of Functional Programming

The top submitted papers, as determined by the program committee, will be invited to submit journal versions for a special issue of the Journal of Functional Programming.

Student Attendees:

Students who have a paper accepted for the conference are offered student membership of SIGPLAN free for one year. As members of SIGPLAN they may apply for travel fellowships from the PAC fund.

Organizers: