POPL 2004 Call for Papers The 31st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages January 14-16, 2004 Venice, Italy Important dates Submission deadline Friday, July 18, 2003, 17:00 UTC/GMT Notification of acceptance or rejection Monday, September 22, 2003 Final paper due Monday, November 3, 2003 Conference January 14-16, 2004 Scope of the Conference The annual Symposium on Principles of Programming Languages is a forum for the discussion of fundamental principles and important innovations in the design, definition, analysis, transformation, implementation and verification of programming languages, programming systems, and programming abstractions. Both practical and theoretical papers on principles and innovations are welcome, ranging from formal frameworks to reports on experiences with their use. Submissions on a diversity of topics are sought, particularly ones that identify new research directions. POPL 2004 is not limited to topics discussed in previous symposia or to formal approaches. In particular, papers integrating new principles into widely used systems are encouraged. Authors concerned about the appropriateness of a topic may communicate by electronic mail with the program chair prior to submission. Submission Guidelines Papers are to be submitted in the form of a full paper of no more than 12 pages (including bibliography) in standard ACM conference format (two columns, nine point font on ten point baseline). Submissions will be judged on originality, significance, correctness, and clarity. A submitted paper should clearly express the contribution of the work, both in general and in technical terms. It is essential to identify what was accomplished, describe the significance of the work, and explain how the paper compares with, and improves upon, previous work. Authors should bear in mind that individual program-committee members will be asked to referee approximately 30-40 submissions; while every effort will be made to assign submissions to an appropriate subset of the program committee, very few papers are likely to be reviewed solely by experts in a paper's topic area. A good rule of thumb is that an informed colleague (with expertise in programming languages) should be able to form an initial judgment of the technical content of a submission in 40 minutes. Some advice about how to prepare a good submission can be found here. Submitted papers must describe work unpublished in refereed venues, and not submitted for publication elsewhere (i.e., either a conference or a journal). (See the SIGPLAN republication policy for more details.) Papers that are too long or are submitted late (see below) will not be considered. Authors will be notified of acceptance or rejection by September 22, 2003. The final version of accepted papers must be received in camera-ready form by November 3, 2003 for inclusion in the proceedings. Authors of accepted papers will be required to sign ACM copyright release forms. Proceedings will be published by ACM Press. Submission Details The full paper, including text, figures, and bibliography must fit in 12 pages in standard ACM conference format: two columns, nine point font on ten point baseline, columns 20pc (3.33in) wide and 54pc (9in) tall with a column gutter of 2pc (0.33in). Authors who feel it is absolutely necessary to include additional material may place it in an appendix after page 12, but committee members are under no obligation to review this material. Suitable style files for Latex, Word, and Word Perfect can be found on the submission Web site. The submission deadline is Friday, July 18, 2003, 17:00 UTC/GMT. This is a firm deadline: late submissions will not be considered. Program Chair Xavier Leroy, INRIA Rocquencourt Domaine de Voluceau, B.P. 105, 78153 Le Chesnay, France E-mail: Xavier.Leroy@inria.fr Program Committee Martín Abadi, University of California at Santa Cruz Zena Ariola, University of Oregon David F. Bacon, IBM T.J Watson Research Center Thomas Ball, Microsoft Research Maurizio Gabbrielli, University of Bologna Philippa Gardner, Imperial College Robert Harper, Carnegie Mellon University Atsushi Igarashi, Kyoto University John Launchbury, Galois Connection & Oregon Graduate Institute Xavier Leroy, INRIA Rocquencourt Mooly Sagiv, Tel Aviv University Michael Schwartzbach, BRICS, University of Aarhus Peter Sewell, University of Cambridge Mary Lou Soffa, University of Pittsburgh General Chair Neil D. Jones, DIKU, University of Copenhagen Universitetsparken 1, DK-2100 Copenhagen East, Denmark E-mail: neil@diku.dk Submission Web site: http://cristal.inria.fr/POPL2004/