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

Preliminary CFP: ICFP '98



                      Preliminary Call for Papers

                         The 3rd ACM SIGPLAN
          International Conference on Functional Programming
                              (ICFP '98)

                        September 27-30, 1998
                       Baltimore, Maryland, USA
             URL: http://www.cs.rice.edu/~matthias/ICFP98

The third International Conference on Functional Programming provides
a forum for researchers, developers, teachers, as well as users who
love programming with functions.  The conference combines the Lisp and
Functional Programming (LFP) conference and the Functional Programming
and Computer Architecture (FPCA) conference, and is sponsored by ACM
SIGPLAN.

ICFP '98 seeks original papers on the full spectrum of functional
programming: from principles to practice, from experiments to design,
and from theory to application.  Among the topics of interest to ICFP
'98 are:

  Theory                                Design and Implementation
  ------                                -------------------------
  formal semantics                      novel languages or features
  lambda calculus                       modules and type systems
  monads/continuations                  abstract machines
  state/effects/control                 compiler optimizations
  type theory                           run-time/memory management

  Systems/Applications                  Transformation/Analysis
  ------------                          -----------------------
  parallel/distributed computing        abstract interpretation
  systems programming                   partial evaluation
  multimedia programming                specific analyses
  symbolic/scientific computing         transformation techniques
  using FP in education/industry        specification/verification
  
Submitted papers must describe new ideas or experimental results that
have not previously been published in refereed venues; simultaneous
submissions to other conferences 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 make every effort to make the technical content of their
papers understandable to a broad audience.

Prospective authors should submit a 100-200 word ASCII abstract and a
5000 word postscript summary (A4 or US letter size) by 12:00 UTC 
April 15, 1998.  Papers exceeding these limits will be rejected or
arbitrarily truncated.  Late submissions will not be considered.
There is a preferred LaTeX style (URL: http://TBA).

By default, submission is computer-driven.  Permission to submit a
paper using an alternative method must be obtained from Paul Hudak.
Submission is only complete when the electronic version of the paper
has been successfully received and printed.  Authors are kindly
requested to study the details of the submission procedure at least
two weeks before the deadline (URL: http://TBA).

Authors will be notified of acceptance or rejection by June 21.  Final
version of the accepted papers must be received in camera-ready form
by July 14, for inclusion in the proceedings.  Authors of accepted
papers will be expected to sign an ACM copyright release form.
Proceedings will be published by ACM Press.

General Chair: 
Matthias Felleisen, Rice University, <matthias@cs.rice.edu>.

Program Chairmen:
Paul Hudak, Yale University, <paul.hudak@yale.edu>
Christian Queinnec, Universite Paris 6 & INRIA-Rocquencourt, 
                                <christian.queinnec@lip6.fr>

Program Committee:
Giuseppe Attardi, Universita di Pisa
Daniel P Friedman, Indiana University
Andrew D Gordon, Cambridge University
Robert Harper, Carnegie-Mellon University
Paul Hudak, Yale University
Takayasu Ito, Tohoku University, Sendai
Julia Lawall, Oberlin College
Hanne Riis Nielson, Aarhus University
Erik Meijer, Utrecht University
Christian Queinnec, Universite Paris 6 & INRIA-Rocquencourt
Benjamin Zorn, University of Colorado, Boulder