POPL 2007

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

Conference

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
Ludwig-Maximilians-Universitat
Oettingenstr 67,
80538, Munich, GERMANY

Program Chair:

Matthias Felleisen (email: matthias at ccs.neu.edu)
College of Computer Science
Northeastern University
Boston, MA 02115
USA

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	Yale
Mark Jones	Portland State University, Portland
Gabriele Keller	University of New South Wales
Oege de Moor	Oxford
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	Princeton

Local Arrangements:

Joelle Despeyroux, Inria Sophia-Antipolis

Treasurer:

Jeff Foster, University of Maryland

Publicity:

Sorin Lerner, UC San Diego

Affiliated Events

Declarative Aspects of Multicore Programming (DAMP)
- January 16, 2007
Foundations and Developments of Object-Oriented Languages (FOOL/WOOD)
- January 20, 2007
Partial Evaluation and Semantics-Based Program Manipulation (PEPM)
- January 15-16, 2007
Practical Applications of Declarative Languages (PADL)
- January 14-15, 2007
Programming Language Technologies for XML (PLAN-X)
- January 20, 2007
Types in Language Design and Implementation (TLDI)
- January 16, 2007
Verification, Model Checking and Abstract Interpretation (VMCAI)
- January 14-16, 2007

Suggestions or comments? Please contact Sorin Lerner (lerner at cs.ucsd.edu).