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.