2005 Call for Papers
32nd Annual ACM
SIGPLAN - SIGACT Symposium on
Principles of Programming Languages
Long Beach, California
January 12-14, 2005
titles and short abstracts:
Friday, July 9, 2004, 17:00 UTC/GMT
Friday, July 16, 2004, 17:00 UTC/GMT
Notification of acceptance:
Monday, September 20, 2004
Final papers due:
Monday, November 1, 2004
January 12-14, 2005
Please note that the submission format is different this year.
See below for submission guidelines and LaTeX style files.
The POPL 2005 submission deadline has passed.
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
experimental and theoretical papers on principles and
innovations are welcome, ranging from formal frameworks to
reports on practical experiences.
Submissions on a diversity of topics are sought, particularly
ones that identify new research directions. POPL 2005 is not
limited to topics discussed in previous symposia. Authors
concerned about the appropriateness of a topic may communicate
by electronic mail with the program chair prior to submission.
Submissions should be full papers, similar in scope and size to
what would appear in the proceedings of the symposium.
Formatting requirements for submissions and other details are
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 many 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
Submitted papers must describe work unpublished in refereed
venues, and not submitted for publication elsewhere (including
journals and formal proceedings of conferences and workshops).
See the SIGPLAN republication policy for more details.
Authors will be notified of acceptance or rejection by September
20, 2004. The final version of accepted papers must be received
in camera-ready form by November 1, 2004 for inclusion in the
proceedings. Authors of accepted papers will be required to sign
ACM copyright release forms. Proceedings will be published by
Submissions, including text, figures, and bibliography must fit
in 15 pages, on two columns, with 10 point font on 12 point
baseline, columns 20pc (3.33in) wide and 54pc (9in) tall with a
column gutter of 2pc (0.33in). Pages should be numbered. (Please
note that this is not the standard ACM proceedings format: it is
less compact, and the page limit is correspondingly higher.
The format for final papers may be different.)
We encourage the use of this
LaTeX class file (acmconfbig.cls) or this
LaTeX style file (acmconfbig.sty).
Authors who feel it is absolutely necessary to include
additional material may place it in a well-marked appendix after
page 15, but committee members are under no obligation to review
Titles, abstracts, and full papers should be submitted via the
submission web site. The short abstracts should be
approximately 1-3 paragraphs in ASCII. The full papers should be
in PDF (preferably) or Postscript that is interpretable by Ghostscript and
printable on US Letter and A4 size paper.
The submission deadline for titles and short abstracts is
Friday, July 9, 2004, 17:00 UTC/GMT. The submission deadline for
the corresponding full papers is Friday, July 16, 2004, 17:00
Submissions deviating from these specifications and late
submissions may not be considered.
University of California, Santa
Computer Science Department
Cruz, CA 95064
University of California, Los
Computer Science Dept, 4531K
Los Angeles, CA 90095
Martín Abadi, UC Santa Cruz (chair)
Rastislav Bodik, UC Berkeley
Perry Cheng, IBM (T.J. Watson Research Center)
William Cook, UT Austin
Michael Ernst, MIT
Giorgio Ghelli, Università di Pisa
Yossi Gil, Technion
Ralf Hinze, Universität Bonn
Martin Hofmann, Ludwig-Maximilians-Universität München
Alan Jeffrey, DePaul University
Andrew Kennedy, Microsoft Research (Cambridge)
Naoki Kobayashi, Tokyo Institute of Technology
Julia Lawall, University of Copenhagen
Andrew Myers, Cornell University
Gordon Plotkin, University of Edinburgh
François Pottier, INRIA (Rocquencourt)
Sriram Rajamani, Microsoft Research (Redmond)
John Reppy, University of Chicago
Zhong Shao, Yale University
Henny Sipma, Stanford University