[Prev][Next][Index][Thread]

Call for Papers: ICFP 2004

Ninth Annual ACM SIGPLAN International Conference on Functional Programming

		      Call for Papers
			 ICFP 2004
		   September 20-22, 2004
		       Snowbird, Utah

* Important Dates
-----------------
Submission deadline   23:00 01 April, 2004 Apia, Samoan time (Thursday)
Author review period  23:00 17 May to 23:00 19 May, 2004, Apia, Samoan time
Author notification   26 May,  2004
Final paper due       07 July, 2004
Conference            20-22 September, 2004


* Scope
-------
ICFP 2004 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 functional programming,
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
   Algorithms and data structures, 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. Interfaces to foreign functions, services,
   components and low-level machine resources.

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, tracing and profiling.

Applications and domain-specific languages
   Systems programming, scientific and numerical computing,
   symbolic computing and artificial intelligence, systems
   programming, databases, graphical user interfaces,
   multimedia programming, application scripting, system
   administration, distributed-systems construction, web
   programming, XML and related languages.

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
-----------------------
Due date & time: Submissions must be filed at the web site by 23:00
Thursday, 01 April, Apia, Samoa time. Some equivalents to this time
are:

    * New York: 5:00 AM = 5h00 (02 April)
    * San Francisco: 2:00 AM = 2h00 (02 April)
    * Chicago: 4:00 AM = 4h00 (02 April)
    * Paris: Noon (02 April)
    * Hong Kong: 6:00 PM = 18h00 (02 April)
    * UTC: 10:00 AM (02 April)

Submission URL: http://icfp.acm.org (Available after March 1, 2004).

Authors should submit a 100-200 word abstract and a full paper by
23:00 Apia, Samoa Time on Thursday,  01 April, 2004. 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). Detailed formatting guidelines are
available at http://www.acm.org/sigs/pubs/proceed/template.html, along
with formatting templates or style files for LaTeX, Word Perfect, and
Word. 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.

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. The submission deadline and length limitations are firm.

Submissions will be carried out electronically via the Web, at the URL
given above. 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 must adhere to SIGPLAN's republication policy.  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.

Authors will be given a 48-hour period (23:00 17 May to 23:00 19 May
2004 Apia, Samoa time) to read and respond to the reviews for their
papers before the PC meeting.   Authors of submitted papers will
receive more details from the submission site.

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

* Conference Chair
------------------
Chris Okasaki
U.S. Military Academy, West Point

* Program Chair
---------------
Kathleen Fisher
AT&T Labs
Shannon Laboratory
189 Park Ave., E244
Florham Park, NJ, USA
kfisher at research.att.com
Phone: +1 973 360.8675
Fax: +1 973 360.8077

Program Committee
-----------------
    * Lennart Augustsson   (Sandburst Inc.)
    * Hans-J. Boehm (HP Laboratories)
    * Koen Claessen  (Chalmers University)
    * Adriana Compagnoni   (Stevens Institute of Technology)
    * Matthias Felleisen  (Northeastern)
    * Zhenjiang Hu  (University of Tokyo)
    * Erik Meijer (Microsoft SQLServer/WebData)
    * Manuel Serrano  (INRIA Sophia Antipolis)
    * Peter Sewell  (University of Cambridge)
    * Jérôme Siméon  (Bell Laboratories)
    * Christopher A. Stone  (Harvey Mudd College)
    * Martin Sulzmann  (National University of Singapore)
    * David Walker  (Princeton University)
    * Elena Zucca (Università di Genova)

This document can be obtained in the following formats:
HTML        http://www.cs.indiana.edu/icfp04/cfp.html
PostScript  http://www.cs.indiana.edu/icfp04/cfp.ps
PDF         http://www.cs.indiana.edu/icfp04/cfp.pdf
Plain text  http://www.cs.indiana.edu/icfp04/cfp.txt