daemon@ucbvax.UUCP (05/06/84)
From GSB@MIT-MC Sat May 5 15:01:09 1984
Call for Papers: 12th POPL
The twelfth annual ACM SIGACT-SIGPLAN symposium on
PRINCIPLES OF PROGRAMMING LANGUAGES
New Orleans, Louisiana, January 13-16, 1985
The POPL symposium is devoted to the principles of programming
languages. In recent years there have been many papers on
specific principles and specific programming languages embodying
those principles, which might lead one to believe that the symposium is
limited to papers on those topics.
We are eager for papers on important new topics, and therefore this
year we shall not attempt to prescribe particular topics. We
solicit papers that describe important new research results having
to do with the principles of programming languages. We not only
solicit, but seek and encourage, papers describing work in which an
implemented system embodies an important principle in such a way that
the usefulness of that principle can be better understood. All
submitted papers will be read by the program committee.
Brian Reid, Stanford University (Program Chairman)
Douglas Comer, Purdue University
Stuart Feldman, Bell Communications Research
Joseph Halpern, IBM Research
David MacQueen, AT&T Bell Laboratories
Michael O'Donnell, Johns Hopkins University
Vaughan Pratt, Sun Microsystems and Stanford Univ.
Guy Steele, Tartan Laboratories
David Wall, DEC Western Research Laboratory
Please submit nine copies of a 6- to 10-page summary of your paper to
the program chairman. Summaries must be typed double spaced, or typeset
10 on 16. It is important to include specific results, and specific
comparisons with other work. The committee will consider the relevance,
clarity, originality, significance, and overall quality of each
summary. Mail to:
Brian K. Reid
Computer Systems Laboratory, ERL 444
Department of Electrical Engineering
Stanford University
Stanford, California, 94305 U.S.A.
(Persons submitting papers from countries in which access to copying
machines is difficult or impossible are welcome to submit a single copy.)
Summaries must be received by the program chairman by August 3, 1984.
Authors will be notified of acceptance or rejection by September 25,
1984. The accepted papers must be received in camera-ready form by the
program chairman at the above address by November 9, 1984. Authors of
accepted papers will be expected to sign a copyright release form.
Proceedings will be distributed at the symposium and will be
subsequently available for purchase from ACM. The local arrangements
chairman is Bill Greene, University of New Orleans, Computer Science
Department, New Orleans, Louisiana 70148