POPL '00 Call for Papers

The 27th Annual ACM SIGPLAN-SIGACT Symposium on
Principles of Programming Languages

Boston, Massachusetts, January 19-21, 2000

Contents


News

Consult this space for the latest updates.
Last updated: Sat Oct 9 13:42:28 CDT 1999


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. In addition, as described below, we are also soliciting proposals for debates.

POPL '00 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 40-50 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 here.

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.

Proposals for Debates

The traditional POPL paper explains something about programming languages and/or language technology either by giving a mathematical proof, by presenting experimental evidence, or by showing (for instance) that certain examples can be easily constructed in some language. (However, we do not mean to suggest that these are the only types of papers that are acceptable.) Such a framework may not be the most suitable way to articulate certain principles. Therefore, in addition to the standard sort of submission, this year we are asking for pairs of groups to suggest debates -- to be accompanied in the published proceedings by papers summarizing the differing positions -- that elucidate some set of issues that are not as suited to being covered in an ordinary paper. Proposals for debates should identify the proposition being debated, the people who will argue the different positions, and describe the positions they will take. A lengthier description of what we are seeking can be found here.

Debate proposals should be of a length sufficient for the program committee to judge the quality of the arguments that would be set forth during the proposed debate, and whether it is likely to be a worthwhile event for POPL '00 attendees. A debate proposal as short as a couple of pages may suffice; at most, they should be the length of an ordinary submission.

Submissions of debate proposals should be carried out via the same electronic submission form that is being used for submissions of papers. The accompanying abstract should clearly state that the submission is a debate proposal.

Important Dates and Submission Details

The submission deadlines given above are firm.

Note: The original Call for Papers contained a requirement that authors submit a title and 100-200 word abstract by July 12, 1999. This requirement has been abandoned. Just submit the title and abstract via the electronic submission form at the same time that you submit your paper or debate proposal (i.e., before 6:00 AM CDT (= 11:00 AM UTC), Monday, July 19, 1999). Do not try to submit a title and abstract separately.

Submissions will be carried out electronically via the Web. Extended abstracts and debate proposals 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.)

Go to POPL'00 Submission Page: Submit Paper or Debate Proposal


Program Chair

Thomas Reps
Computer Sciences Department
University of Wisconsin
1210 West Dayton Street
Madison, WI 53706-1685
E-mail: reps at cs.wisc.edu
Tel.: +1-608-262-2091
Fax: +1-608-262-9777

General Chair

Mark Wegman
IBM T.J. Watson Research Center
P.O. Box 704
Yorktown Heights, NY 10598
E-mail: wegman at us.ibm.com
Tel.: +1-914-784-7809
Fax: +1-914-784-7455

Program Committee

Ole Agesen, Sun
Rance Cleaveland, SUNY-Stony Brook
Charles Consel, U. Rennes/IRISA, France
Orna Grumberg, Technion, Israel
John Mitchell, Stanford Univ.
George Necula, U.C.-Berkeley
Jens Palsberg, Purdue Univ.
G. Ramalingam, IBM T.J. Watson Research Center
Thomas Reps, U. Wisconsin
David Sands, Chalmers Univ. of Technology, Sweden
Pascal Van Hentenryck, Brown Univ.
Daniel Weise, Microsoft Research
Reinhard Wilhelm, U. Saarland, Germany


This page is maintained by Thomas Reps (reps at cs.wisc.edu).

Last modified: Thu Jan 14 14:22:24 CST 1999.