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

Call for Papers: ICFP'99



 
                              Call for Papers

         The 1999 International Conference on Functional Programming
                                   (ICFP)

                               Paris, France,
                     September 27 - September 29, 1999

ICFP 99 is part of the colloquium on Principles, Logics, and Implementations
of high-level programming languages (PLI 99).

   * Submission Deadline: March 10, 1999
   * Notification of Acceptance or Rejection: May 8, 1999
   * Final Paper Due: June 21, 1999

The fourth ACM SIGPLAN International Conference on Functional Programming
provides a forum for researchers, developers, teachers, and all users of
functional programming languages. The conference considers all languages
that encourage programming with functions, including both purely applicative
and imperative languages, as well as languages that support objects and
concurrency.

The conference will be held in Paris on September 27-29, as part of the
Colloquium on Principles, Logics, and Implementations of High-Level
Programming Languages (PLI). Further information about ICFP99 can be found
on the World-Wide Web at http://pauillac.inria.fr/pli/icfp/. Information
about PLI is available at http://pauillac.inria.fr/pli/.

ICFP99 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 experiments to design,
and from theory to application. Papers setting new directions in functional
programming are particularly encouraged. Topics of interest include:

   * Foundations: formal semantics; type theory; lambda calculus; monads and
     continuations; state, effects, and control.
   * Language Design: novel languages or features; modules and type systems;
     multiparadigm programming.
   * Implementation: abstract machines; optimizations; run-time systems and
     memory management.
   * Systems, Applications and Experience: parallel and distributed
     computing; systems programming; multimedia programming; symbolic and
     scientific computing; FP in education and industry; ramifications on
     other paradigms and computing disciplines.
   * Transformation and Analysis: abstract interpretation; partial
     evaluation; specific analyses; transformation techniques;
     specifications and verification.

Submitted papers must describe new ideas or experimental results that have
not previously been published in refereed venues. Simultaneous submissions
to other conferences or refereed venues is unacceptable. Papers will be
judged on relevance, originality, significance, correctness, and clarity.
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 try to make
the technical content of their papers understandable to a broad audience.

Prospective authors should submit a 100-200 word abstract and a 5,000 word
extended summary by 23:00 Universal Coordinated Time (UTC) on March 10, 1999
(this is 6pm Eastern Standard Time on March 10). The abstract must be in
plain text (ASCII) format, and the summary must be in PostScript format (A4
or US letter size). Submissions that are not in the proper format will be
immediately rejected. Submissions that exceed the word-count limits may be
arbitrarily truncated. If you feel you must add material beyond the 5,000
word limit, you are advised to do this in the form of appendices. However,
reviewers will not be obligated to read the appendices, and thus you are
strongly advised to make the main part of the summary be self-contained. The
deadline is a hard deadline; late submissions will not be considered.

Authors are strongly encouraged to make their submissions via a web-based
submission form. Submission is complete only when the electronic version of
the paper has been successfully acknowledged by the submission system. If
you do not have the ability to make your submission via the World-Wide Web,
you may send your submission by an alternate means by first getting
permission and submission instructions from the Program Chair. You are
kindly requested to study the details of the submission procedure at least
two weeks before the deadline and determine well ahead of time whether you
require an alternate means of submission.

Authors will be notified of acceptance or rejection by May 8, 1999. The full
version of the accepted papers must be received in camera-ready form by June
21 for inclusion in the proceedings. Authors of accepted papers will be
required to sign the ACM copyright form (PostScript format). Proceedings
will be published by ACM Press.

General Chair: Didier Remy, INRIA (France)
Program Chairman: Peter Lee, Carnegie Mellon University (USA)
Program Committee:

   * Lennart Augustsson, Chalmers University (Sweden)
   * Alain Deutsch, INRIA (France)
   * Sophia Drossopoulou, Imperial College (UK)
   * Conal Elliott, Microsoft Research (USA)
   * Andrzej Filinski, Aarhus University (Denmark)
   * Kathleen Fisher, AT&T Laboratories (USA)
   * Jacques Garrigue, Kyoto University (Japan)
   * Peter Lee, Carnegie Mellon University (USA)
   * Rishiyur S. Nikhil, Compaq Computer Corporation (USA)
   * Benjamin Pierce, University of Pennsylvania (USA)
   * Manuel Serrano, University of Nice (France)
   * Peter Thiemann, University of Nottingham (UK) and University of
     Tuebingen (Germany)

  ------------------------------------------------------------------------
All requests for further information can be addressed to Peter Lee at
petel+icfp99@cs.cmu.edu