Important Dates:
| Submission deadline: | 13 April, 2005 at 6PM (US Eastern time) |
| On-line response to reviews: | from 19 May at 6PM (US Eastern) until 21 May at 6PM (US Eastern) |
| Author notification: | 3 June, 2005 |
| Camera-ready copy: | 10 July, 2005 |
Scope:
ICFP 2005 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 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.
Submission Guidelines:
Due date & time: Submissions must be filed at the web site by 18:00 (US Eastern time) on Wednesday, 13 April, 2005. Some equivalents to this time are:
- San Francisco: 15:00
- Chicago: 17:00
- Paris: midnight
- Tallinn: 1:00AM (Thursday)
- Hong Kong: 6:00AM (Thursday)
- UTC: 22:00
For other time-zones/locations, see the world clock.
Submission URL: http://www.softconf.com/start/ICFP2005/submit.html
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 http://www.cis.upenn.edu/~bcpierce/icfp05/sigplanconf
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.
Submitted papers should no more than 21 pages, including bibliography and figures, in the following format: one column, eleven point font on a thirteen point baseline, with pages 42pc (7.1in) wide and 54.5pc (9.3in) tall. (For comparison, this corresponds to about 7000 words or 12 pages in the two-column format that will be used for the printed proceedings.)
Authors using Latex to prepare their submissions should use the new improved SIGPLAN proceedings style, available via the link above. The one-column submission format is obtained by adding the [onecolumn,11pt,preprint] options to the \documentclass command like this: \documentclass[onecolumn,11pt,preprint]{sigplanconf}. Please download a fresh copy of the sigplanconf.cls style file if you have already gotten one from another source -- the version being used by PLDI this year uses different measurements for its onecolumn variant.
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 19 May at 6PM US Eastern time
until 21 May at 6PM) 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:
| Conference Chair: | Olivier Danvy (BRICS, University of Aarhus) |
| Program Chair: | Benjamin C. Pierce (University of Pennsylvania) |
| Program Committee: | Mariangiola Dezani (Universitá di Torino) |
| Mary Fernández (AT&T Labs) | |
| Matthew Flatt (University of Utah) | |
| Cédric Fournet (Microsoft Research) | |
| Jacques Garrigue (Nagoya University) | |
| Jason Hickey (California Institute of Technology) | |
| John Hughes (Chalmers University) | |
| Johan Jeuring (Utrecht University) | |
| Frank Pfenning (Carnegie Mellon University) | |
| Benjamin Pierce (University of Pennsylvania) | |
| Andrew Pitts (University of Cambridge) | |
| Norman Ramsey (Harvard University) | |
| Manuel Serrano (INRIA Sophia Antipolis) | |
| Peter Thiemann (Universität Freiburg) | |
| Jan Vitek (Purdue University) |
Benjamin C. Pierce