[Prev][Next][Index][Thread]
POPL 2004 Call for Papers
-
To: "'David Walker'" <dpw@CS.Princeton.EDU>
-
Subject: POPL 2004 Call for Papers
-
From: "David Walker" <dpw@CS.Princeton.EDU>
-
Date: Fri, 23 May 2003 08:41:12 -0400
-
Cc: <eatcs-it@cs.unibo.it>, <eacsl@dimi.uniud.it>, <icfp@dcs.gla.ac.uk>, <kgs@logic.tuwien.ac.at>, <lprolog@cs.umn.edu>, <mercury-ads@cs.mu.oz.au>, <nl-kr@cs.rpi.edu>, <nuprllist@cs.cornell.edu>, <plt-scheme@fast.cs.utah.edu>, <prolog-vendors@sics.se>, <pvs@csl.sri.com>, <rewriting@ens-lyon.fr>, <rrrs-authors@martigny.ai.mit.edu>, <sicstus-users@sics.se>, "'Types'" <types@cis.upenn.edu>
-
Importance: Normal
-
In-Reply-To: <DDEBLBNLHHFPPGPJBJBJKEELCJAA.dpw@cs.princeton.edu>
-
Organization: Princeton University
-
Reply-To: <dpw@CS.Princeton.EDU>
POPL 2004 Call for Papers
The 31st Annual
ACM SIGPLAN-SIGACT
Symposium on Principles of Programming Languages
January 14-16, 2004
Venice, Italy
http://www.cs.princeton.edu/~dpw/popl/04/
Important Dates
Submission deadline: Friday, July 18, 2003, 17:00 UTC/GMT
Notification of acceptance: 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.
Conference Organization
Program Chair
Xavier Leroy
INRIA Rocquencourt
Domaine de Voluceau, B.P. 105
78153 Le Chesnay, France
E-mail: Xavier.Leroy@inria.fr
Fax: + 33 - 1 - 39 63 51 93
Phone: + 33 - 1 - 39 63 55 61
General Chair
Neil D. Jones
DIKU (Computer Science Department)
University of Copenhagen
Universitetsparken 1
DK-2100 Copenhagen East, Denmark
E-mail: neil@diku.dk
Fax: + 45 - 35321401
Phone: + 45 - 35321410
Local Organization Chair
Agostino Cortesi
dipartimento di informatica
universita' ca' foscari
via torino 155
30170 Venezia
E-mail: cortesi@dsi.unive.it
Fax: 0039 041 234.8419
Phone: 0039 041 234.8450
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