From crabapple.srv.cs.cmu.edu!jgmorris Tue Jun 15 09:28:25 EDT 1993 Article: 89 of comp.lang.ml Xref: crabapple.srv.cs.cmu.edu comp.lang.ml:89 Newsgroups: comp.lang.ml Path: crabapple.srv.cs.cmu.edu!jgmorris From: Bernard Lang Subject: ACM POPL'94 Conference: Call for papers Message-ID: Originator: jgmorris@VACHE.VENARI.CS.CMU.EDU Sender: Bernard Lang Nntp-Posting-Host: vache.venari.cs.cmu.edu Organization: School of Computer Science, Carnegie Mellon References: Date: Mon, 14 Jun 1993 20:40:07 GMT Approved: comp-lang-ml@cs.cmu.edu Lines: 75 Call for Papers The 21st Annual ACM SIGPLAN--SIGACT Symposium on Principles Of Programming Languages Portland, Oregon January 16--19, 1994 The twenty-first symposium on Principles of Programming Languages will provide a forum for discussion of principles, innovations, and accomplishments in the design, definition, analysis, and implementation of programming languages and systems. Reports on experiences with the application or use of such principles and innovations are encouraged. Papers presented at the symposium must describe work that has not previously been published or presented at a conference. The program committee welcomes papers on a diversity of topics, particularly those that set out new directions. The symposium is not limited to topics discussed in previous symposia nor to formal approaches. Authors concerned about the appropriateness of a topic may communicate by electronic mail with the program chair prior to submission. Authors should submit 14 copies (printed double-sided if possible) of a technical summary of a prospective paper to the program chair. The length of the summary must not exceed 5000 words excluding bibliography and figures. Excessively long summaries will be rejected immediately. The summary should explain the contribution of the paper, both in general and in technical terms. It is important to identify what has been accomplished, to explain why it is significant, and to compare with previous work. Papers will be judged on originality, significance, correctness, and clarity. Authors should make every effort to make the technical content of their papers understandable to a broad audience. Some specific suggestions for writing summaries are available in the file "suggestions" by anonymous ftp from either of the two directories established for conference-related announcements: parcftp.xerox.com:pub/popl94 and ftp.inria.fr:INRIA/publication/ChLoE/SIGPLAN/popl94 Submissions must be received by July 26, 1993. They should include a return postal address and an electronic mail address (if available). Authors will be notified of the acceptance or rejection of their papers by September 13, 1993. Full versions of the accepted papers must be received in camera-ready form by October 19, 1993. Authors of accepted papers will be required to sign ACM copyright release forms. Proceedings will be distributed at the conference and subsequently will be available for purchase from ACM Press. Program Chair General Chairs Local Arrangements Chair Hans-J. Boehm Bernard Lang Tim Sheard Xerox Corporation INRIA Rocquencourt Oregon Graduate Institute Palo Alto Research Ctr. lang@margaux.inria.fr sheard@cse.ogi.edu 3333 Coyote Hill Rd. Palo Alto, CA 94304 USA Daniel Yellin boehm@parc.xerox.com IBM T.J. Watson Research dmy@watson.ibm.com Program Committee: Bob Ballance Object Science Corp. & UNM Gerard Berry Ecole des Mines, Sophia-Antipolis Hans-J. Boehm Xerox PARC Luca Cardelli DEC SRC Marina Chen Yale University Rodney Farrow Declarative Systems John Launchbury Glasgow University Peter Lee Carnegie Mellon University Dale Miller University of Pennsylvania William Pugh University of Maryland Vivek Sarkar IBM Santa Teresa Lab Carolyn Talcott Stanford University Kenny Zadeck IBM T.J.Watson Research