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 [EMAIL PROTECTED]
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
[EMAIL PROTECTED] 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
[EMAIL PROTECTED]
Program Committee
Alex Aiken, IBM Almaden, USA [EMAIL PROTECTED]
Andrew Appel, Princeton Univ., USA [EMAIL PROTECTED]
John Darlington, Imperial College, London [EMAIL PROTECTED]
Matthias Felleisen, Rice Univ., USA [EMAIL PROTECTED]
John Hughes, Chalmers Univ., Sweden [EMAIL PROTECTED]
Jean-Jacques Levy, INRIA, France [EMAIL PROTECTED]
Harry Mairson, Brandeis Univ. and DEC, USA [EMAIL PROTECTED]
Rishiyur Nikhil, DEC, USA [EMAIL PROTECTED]
Simon Peyton Jones, Univ. of Glasgow, Scotland [EMAIL PROTECTED]
Rinus Plasmeijer, Univ. of Nijmegen, Netherlands [EMAIL PROTECTED]
Guy Steele, Thinking Machines, USA [EMAIL PROTECTED]
Mads Tofte, Univ. of Copenhagen, Denmark [EMAIL PROTECTED]
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 [EMAIL PROTECTED]
+45 31 39 64 66
fax: +45 31 39 02 21
[EMAIL PROTECTED]
Submission information
and other inquires:
[EMAIL PROTECTED]
----------------------------------
* pending final approval
