Principles of Programming Languages


Call for Papers

POPL 2007
January 17-19, 2007

Nice, France



Important dates

Submission deadline 05:00 AM 15 July, 2006 EDT (New York time)
Author notification
23 Sept, 2006
Final paper due
To be announced
January 17-19, 2007

Scope & Paper Categories

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 are welcome.

The Program Committee seeks submissions on the entire range of topics. Furthermore POPL 2007 is not limited to topics discussed at previous symposia.

POPL 2007 will include a new category of short papers and short presentations. The objective is to provide authors with an opportunity to present innovative ideas (without working out a full paper) and to get feedback from a broad audience. Short papers should therefore emphasize the novelty in their submission over others.

Finally the Program Committee reserves the right to accept long submissions in both categories, that is, as either regular papers or as short papers for short presentations. Authors of long submissions who don't wish to be considered for short presentations and short papers may indicate so during the submission process.

Submission guidelines

Due date & time: Submissions must be filed at the web site by 5:00 AM EDT (New York time) Saturday 15 July 2006. Some equivalents to this time are

For other time-zones/locations, see the worldclock.

Submission URL: The submission deadline has passed

Both short and long submissions should use the standard ACM SIGPLAN conference format. For detailed style guidelines, see

The page limit for a long submissions is 12 pages (including any appendices); for short submissions it is 6 pages (including any appendices). The length limits in each category are strictly enforced.

Submissions will be carried out electronically via the Web, at the URL given above. Papers must be submitted in PDF format. They must be printable on US Letter sized paper. Individuals for which this requirement is a hardship should contact the program chair at least one week before the deadline.

Submitted papers must adhere to SIGPLAN's republication policy. Concurrent submissions to other journals, conferences, workshops, or similar forums of publication are not allowed. In general, each paper should explain its contributions in both general and technical terms, clearly identifying what has been accomplished, explaining why it is significant, and comparing it with previous work. Authors should strive to make the technical content of their papers understandable to a broad audience.

Authors of accepted papers will be required to sign the ACM copyright form. Proceedings will be published by ACM Press.

Student Attendees

Students who have a paper accepted for the conference are offered SIGPLAN student membership free for one year. As members of SIGPLAN they may apply for travel fellowships from the PAC fund.

General Chair: Martin Hofmann
Oettingenstr 67,
80538, Munich, GERMANY


Program Chair:


Matthias Felleisen (email: matthias at
College of Computer Science
Northeastern University
Boston, MA 02115


Program Committee: 


Hans Boehm

HP Laboratories

Craig Chambers

U Washington

Patrick Cousot

ENS, Paris

Benjamin Goldberg

NYU, New York

Andy Gordon

Microsoft Research, Cambridge

Dan Grossman

U Washington

John Hatcliff

Kansas State U

Tom Henzinger

EPFL, Lausanne

Paul Hudak


Mark Jones

Portland State University, Portland

Gabriele Keller

University of New South Wales

Oege de Moor


Eliot Moss

U Massachusetts, Amherst

Benjamin Pierce

U Pennsylvania

Jakob Rehof

Universität Dortmund

Olin Shivers

Georgia Tech, Atlanta

Scott Smith

Johns Hopkins, Baltimore

Kevin Sullivan

U Virginia

Carolyn Talcott

SRI International

David Walker