Boston, Massachusetts, January 19-21, 2000
Consult this space for the latest updates.
Last updated: Sat Oct 9 13:42:28 CDT 1999
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.
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.
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
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|
Ole Agesen, Sun
This page is maintained by Thomas Reps (reps at cs.wisc.edu).
Last modified: Thu Jan 14 14:22:24 CST 1999.