[Prev][Next][Index][Thread]
POPL'03 Call for Papers
-
To: <concurrency@cwi.nl>, <papm@dcs.ed.ac.uk>, <types@cis.upenn.edu>, <lprolog@cis.upenn.edu>, <eapls@mailbase.ac.uk>, <theorynt@listserv.nodak.edu>, <eatcs-it@cs.unibo.it>, <mfpsmail@math.tulane.edu>, <eacsl@dimi.uniud.it>, <Csl@Dbai.Tuwien.Ac.At>, <lics@research.bell-labs.com>, <clp@comp.nus.edu.sg>, <amast@cs.utwente.nl>, <formal-methods@cs.uidaho.edu>, <facs@lboro.ac.uk>, <vdm-forum@mailbase.ac.uk>, <dss@cs.auc.dk>, <ccl-request@dfki.uni-sb.de>, <cpworld@gmu.edu>, <seworld@cs.colorado.edu>
-
Subject: POPL'03 Call for Papers
-
From: "Alex Aiken" <aiken@cs.berkeley.edu>
-
Date: Tue, 19 Mar 2002 23:14:11 -0800
-
Importance: Normal
-
Reply-To: <aiken@cs.berkeley.edu>
*********************************************************
POPL '03 Call for Papers
The 30th Annual ACM SIGPLAN-SIGACT Symposium on
Principles of Programming Languages
January 15-17, 2003
New Orleans, Louisiana
*********************************************************
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, and implementation
of programming languages, programming systems, and programming
abstractions. Submissions on a diversity of topics are sought,
particularly ones that identify new research directions. Both
practical and theoretical papers are welcome.
POPL'03 is not limited to topics discussed in previous symposia
or to formal approaches. Authors concerned about the appropriateness
of a topic may communicate with the program chair prior to submission.
Submission Guidelines
=====================
Papers are to be submitted in the form of an extended abstract of
5000 words or less -- i.e., approximately 10 pages, typeset 10
point on 16 point -- excluding bibliography and figures. Submissions
will be judged on originality, significance, correctness, and
clarity. An extended abstract should clearly express the contribution
of the work, both in general and in technical terms. It is essential
to identify what was accomplished, describe its significance,
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 extended
abstracts; 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 suitable extended
abstract can be found at:
http://www.acm.org/sigplan/conferences/author-info/
Submitted papers must describe work unpublished in refereed venues,
and not submitted for publication elsewhere (i.e., either a
conference or a journal). Papers that are too long or are
submitted late (see below) will be rejected by the program chair.
Authors of accepted papers will be required to sign ACM copyright
release forms.
Important Dates and Submission Details
======================================
* 5:00 PM EDT (= 21:00 UTC), Friday, July 19, 2002: Deadline for
submission of papers
* Tuesday, Sept. 24, 2002: Notification
* Tuesday, Nov. 12, 2002: Camera-ready copy due
* Jan. 15-17, 2003: POPL '03 in New Orleans
The submission deadlines given above are firm.
Submissions will be carried out electronically via the Web. Submission
instructions will be available at www.cs.berkeley.edu/~aiken/popl03.
Extended abstracts must be submitted as PostScript documents that are
interpretable by Ghostscript, or in PDF format, and they must
be printable on both USLetter and A4 paper. (Those individuals
for which this requirement is a hardship should contact the program
chair.)
*********************************************************
Program Chair
=============
Greg Morrisett
Computer Science Department
4133 Upson Hall
Cornell University
Ithaca, New York 14853-7501 USA
E-mail: jgm@cs.cornell.edu
Tel.: +1-607-255-3009
Fax: +1-607-255-4428
General Chair
=============
Alex Aiken
Computer Science Division
773 Soda Hall
University of California, Berkeley
Berkeley, California 94720-1776 USA
E-mail: aiken@cs.berekely.edu
Tel: +1-510-642-5319
Fax:+1-510-642-3962
Program Committee
=================
Lennart Augustsson, Chalmers Univ. of Technology, Sweden
Rastislav Bodik, University of Wisconsin
Kim Bruce, Williams College
Jack Davidson, University of Virginia
Amy Felty, University of Ottawa, Canada
John Field, IBM Research
Cormac Flanagan, Compaq Systems Research Labs
Joxan Jaffar, National University of Singapore
Greg Morrisett, Cornell University
Catuscia Palamidessi, Pennsylvania State University
Francois Pottier, INRIA Rocquencourt
Amr Sabry, Indiana University
Davide Sangiorgi, INRIA Sophia
Bjarne Steensgard, Microsoft Research
Joe Wells, Harriott-Watt University, Scotland