Subject: FPCA '93 Call for Papers
************************ CALL FOR PAPERS *********************************
Conference on Functional Programming Languages and Computer Architecture
June 9 - 11, 1993
University of Copenhagen, Denmark
*Sponsored by IFIP WG 2.8, ACM SIGPLAN/SIGARCH, and
MIT Laboratory for Computer Science
The sixth conference on Functional Programming Languages and
Computer Architectures will cover the design and theory of functional
programming languages, their applications, and their implementations
on parallel and sequential architectures. Topics include (but are not
limited to): language design, type theory, formal semantics; compilation
techniques for sequential and parallel machines, compile-time analysis,
optimizations, program transformations; partial evaluation; programming
methods; generalizations of the functional programming paradigm for state,
control, non-determinism, and parallelism; special-purpose functional
languages; architectural and system support for storage management, for
garbage collection, and for input/output in functional languages. Papers
accepted for the conference must contain material not presented previously
in any formal forum.
Authors are also encouraged to submit papers describing practical
experience gained from writing substantial applications in functional
languages or experience in implementing functional languages. Such papers
should provide some insight into the ease or difficulty of the process.
Authors may submit full-length papers (10 pages) or short papers (4 pages)
which will be presented in a separate session. Each paper must contain a
150-word abstract, and names and affiliations of all the authors.
Submissions should be typeset 10-point on 16-point spacing in two-column
conference style format. For uniformity of submissions, a LaTeX style file
is made available by electronic mail request at ······@jj.lcs.mit.edu.
Papers will be judged on relevance, clarity, correctness, originality
and significance.
Authors should submit 14 copies of a full paper to the Chairman of the
Program Committee (if copying facilities are not available one copy will do).
In addition, each submission should be accompanied by electronic mail to
······@jj.lcs.mit.edu with a single postal address and electronic mail
address for communication and complete title, author and affiliation
information.
Submissions must be received by December 25, 1992. Authors will be
notified of acceptance or rejection by February 20, 1993. Full versions of
the accepted papers must be received in camera-ready form by March 26, 1993,
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 and will be distributed at the symposium.
Program Committee Chair
Arvind
Attn: FPCA '93
MIT Lab for Computer Science
545 Tech Sq., Rm. 210
Cambridge, MA 02139
(617) 253-6090
fax: (617) 253-6652
······@lcs.mit.edu
Program Committee
Alex Aiken, IBM Almaden, USA ·····@almaden.ibm.com
Andrew Appel, Princeton Univ., USA ·····@princeton.edu
John Darlington, Imperial College, London ··@doc.ic.ac.uk
Matthias Felleisen, Rice Univ., USA ·········@rice.edu
John Hughes, Chalmers Univ., Sweden ····@cs.chalmers.se
Jean-Jacques Levy, INRIA, France ····@brouilly.inria.fr
Harry Mairson, Brandeis Univ. and DEC, USA ·······@crl.dec.com
Rishiyur Nikhil, DEC, USA ······@crl.dec.com
Simon Peyton Jones, Univ. of Glasgow, Scotland ·······@dcs.glasgow.ac.uk
Rinus Plasmeijer, Univ. of Nijmegen, Netherlands ·····@cs.kun.nl
Guy Steele, Thinking Machines, USA ···@think.com
Mads Tofte, Univ. of Copenhagen, Denmark ·····@diku.dk
Local Arrangements Chair Conference Chair
Fritz Henglein John Williams
Univ of Copenhagen IBM Almaden Research Center K53-803
Dept of Computer Science 650 Harry Road
Universitetsparken 1 San Jose, CA 95120
DK-2100 Copenhagen 0 (408) 927-1888
Denmark ········@almaden.ibm.com
+45 31 39 64 66
fax: +45 31 39 02 21
········@diku.dk
Submission information
and other inquires:
······@jj.cs.mit.edu
----------------------------------
* pending final approval