NetNews Usenet Archive 1992 #20/NN_1992_20.iso/spool/comp/lang/lisp/2400

Internet Message Format | 1992-09-10 | 5.2 KB

Xref: sparky comp.lang.lisp:2400 comp.arch:9337 comp.lang.functional:1089 comp.lang.misc:3003 comp.lang.scheme:2173 comp.lang.sigplan:30 comp.parallel:2098 comp.compilers:1538 comp.theory:1907
Path: sparky!uunet!zaphod.mps.ohio-state.edu!darwin.sura.net!udel!gvls1!faatcrl!iecc!compilers-sender
From: [e-mail] (Lori Lynn Avirett-Mackenzie)
Newsgroups: comp.lang.lisp,comp.arch,comp.lang.functional,comp.lang.misc,comp.lang.scheme,comp.lang.sigplan,comp.parallel,comp.compilers,comp.theory
Subject: FPCA '93 Call for Papers
Keywords: CFP, functional, theory
Message-ID: <[e-mail]>
Date: 9 Sep 92 21:46:59 GMT
Sender: [e-mail]
Reply-To: Lori Lynn Avirett-Mackenzie <[e-mail]>
Organization: MIT Lab for Computer Science, Cambridge, Mass.
Lines: 100
Approved: [e-mail]


************************ CALL FOR PAPERS *********************************

Conference on Functional Programming Languages and Computer Architecture
               June 9 - 11, 1993
            University of Copenhagen, Denmark

Sponsored by ACM SIGPLAN/SIGARCH, in cooperation with the MIT Laboratory
for Computer Science, DIKU (Department of Computer Science, University of
             Copenhagen), and IFIP Working Group 2.8.

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
[e-mail].

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 [e-mail] 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
[phone]
fax: [phone]
[e-mail]

Program Committee

Alex Aiken, IBM Almaden, USA             [e-mail]
Andrew Appel, Princeton Univ., USA         [e-mail]
John Darlington, Imperial College, London     [e-mail]
Matthias Felleisen, Rice Univ., USA         [e-mail]
John Hughes, Chalmers Univ., Sweden         [e-mail]
Jean-Jacques Levy, INRIA, France         [e-mail]
Harry Mairson, Brandeis Univ. and DEC, USA     [e-mail]
Rishiyur Nikhil, DEC, USA             [e-mail]
Simon Peyton Jones, Univ. of Glasgow, Scotland     [e-mail]
Rinus Plasmeijer, Univ. of Nijmegen, Netherlands [e-mail]
Guy Steele, Thinking Machines, USA          [e-mail]
Mads Tofte, Univ. of Copenhagen, Denmark     [e-mail]

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            [phone]
Denmark                         [e-mail]
[phone]
fax:  [phone]
[e-mail]

Submission information
and other inquiries:

[e-mail]
--
Send compilers articles to [e-mail] or
{ima | spdcc | world}!iecc!compilers.  Meta-mail to compilers-request.