Edmund.Clarke@A.CS.CMU.EDU (07/31/86)
Enclosed is the popl87 call for papers. Please post to all ARPAnet Hosts. --ED
---------------------------------------------------------------------
Call For Papers
The Fourteenth Annual ACM SIGACT-SIGPLAN Symposium on
Principles of Programming Languages
MUNICH, WEST GERMANY, January 21-23, 1987
The fourteenth POPL symposium will address fundamental principles and
important innovations in the design, definition, and implementation of
programming languages and systems. Both theoretical and applied pa-
pers are solicited. In both the theoretical and applied domains, pa-
pers at the symposium must present new ideas that have the potential
to improve the understanding of principles of programming languages in
the Computer Science Community. In particular, papers at the sympo-
sium must contain material not presented previously in any formal fo-
rum. Papers describing work in which an implemented system embodies
an important principle in such a way that the usefulness of that prin-
ciple is better understood, are especially encouraged. The symposium
is not limited to topics included in previous POPL symposia -- papers
introducing important new topics are desired as well. Authors should
submit 11 copies(1) of a technical summary to the program committee
chairman. The initial submission should not be a complete paper, but
it must contain enough information for the committee to judge its rel-
evance, clarity, correctness, originality, and significance. In par-
ticular, it is important to include specific results, sketches of
their derivations, and comparisons with related work. Because of the
large number of submissions (165 were submitted to the 13th POPL Sym-
posium), the committee must make its judgement on the basis of a mini-
mum of text. Submissions should be limited to 10 pages, typed
double-spaced, or typeset 10-point on 16-point spacing. The total
text should not exceed 3,000 words. Longer submissions may be trun-
cated arbitrarily by the program committee. Submissions must be re-
ceived by August 8, 1986. Late papers may be eliminated arbitrarily.
Each paper submitted will be considered by the program committee, con-
sisting of
Michael J. O'Donnell The University of Chicago (Chairman)
Gregory Andrews University of Arizona
Marc Auslander IBM, T. J. Watson Research Center
Edmund Clarke Carnegie-Mellon University
Harald Ganzinger Universitaet Dortmund
Neil Jones University of Copenhagen
Gilles Kahn INRIA Sophia-Antipolis
Alan Mycroft Cambridge University
Fernando Pereira SRI International
Thomas Reps University of Wisconsin
Norihisa Suzuki IBM, T. J. Watson Research Center
Authors will be notified of acceptance or rejection by September 22,
1986. Full versions of the accepted papers must be received in
camera-ready form by October 15, 1985. Authors of accepted papers
will be expected to sign a copyright release form. Proceedings will
be distributed at the symposium, and will be available subsequently
from ACM.
Program Chair Local Arrangements
Michael J. O'Donnell Prof. Manfred Paul
Attn: POPL87 Institut fuer Informatik
The University of Chicago Technische Universitaet Muenchen
Department of Computer Science Arcisstraesse 21
Ryerson Hall, 1100 E. 58th St. Postfach 202420
Chicago, IL 60637 D-8000 Muenchen 2
U.S.A. WEST GERMANY
(1) Persons submitting papers from countries in which access to copy-
ing machines is extremely difficult may submit single copies.