The 34th Annual



Principles of Programming Languages

Nice, France

Plaza Hotel

January 17-19, 2007


Preliminary Program


Local Arrangements

Call For Papers

Conference Organizers

Affiliated Events

Welcome to POPL 2007

POPL is the ACM SIGPLAN - SIGACT Symposium on Principles of Programming Languages.

Registration is open

Information about accommodations in Nice

Colloquium in memory of Gilles Kahn (Although not directly associated with POPL, this colloquium is close-by both in space and in time, and of interest to this community)

POPL 2007 Important Dates

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

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

Conference Organizers

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



Local Arrangements:


Joelle Despeyroux, Inria Sophia-Antipolis





Jeff Foster, University of Maryland





Sorin Lerner, UC San Diego


Affiliated Events

Suggestions or comments? Please contact Sorin Lerner (lerner at