The 33rd Annual ACM SIGPLAN - SIGACT

 Symposium on Principles of Programming Languages

Charleston, South Carolina

Charleston Place Hotel

January 11-13, 2006



Preliminary Program

Call For Papers

Conference Organizers

Affiliated Events

Welcome to POPL 2006

POPL is the ACM SIGPLAN - SIGACT Symposium on Principles of Programming Languages. POPL 2006 is now over.  However, we have slides from some of the invited talks.

  • Why Dependent Types Matter. 
    • James McKinna (pdf)
  • The Scala Experiment – Can We Provide Better Language Support for Component Systems? 
    • Martin Odersky. (pdf)
  • The Next Mainstream Programming Language: A Game Developer's Perspective. 
    • Tim Sweeney. (ppt)

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 on principles and innovations are welcome, ranging from formal frameworks to reports on practical experiences.

Submissions on a diversity of topics are sought, particularly ones that identify new research directions. POPL 2006 is not limited to topics discussed in previous symposia. Authors concerned about the appropriateness of a topic may communicate by electronic mail with the program chair prior to submission.

Conference Location

The conference is being held in Charleston, South Carolina at the Charleston Place Hotel.

Conference Organizers

General Chair:

Greg Morrisett
Harvard University
33 Oxford Street
Cambridge, MA 02138 USA
greg at eecs dot harvard dot edu


Program Chair:


Simon Peyton Jones
Microsoft Research Ltd,
7 JJ Thomson Ave,
Cambridge CB3 0FB, UK
simonpj at microsoft dot com


Program Committee: 


Giuseppe Castagna, CNRS, LIENS, ENS Paris
Manuel Chakravarty, University of New South Wales
Karl Crary, Carnegie Mellon University
Sophia Drossopoulou, Imperial College London
Paul Feautrier, ENS Lyon
Carl A Gunter, University of Illinois
Rajiv Gupta, University of Arizona
Fritz Henglein, DIKU, University of Copenhagen
Trevor Jim, AT&T
Shriram Krishnamurthi, Brown University
Gary T Leavens, Iowa State
Robert O'Callahan, Novell
Peter O'Hearn, Queen Mary, University of London
Andreas Podelski, Max Planck Institute, Saarbrücken
Andrei Sabelfeld, Chalmers University
Kostis Sagonas, Uppsala University
Davide Sangiorgi, University of Bologna
Philip Wadler, University of Edinburgh
Stephanie Weirich, University of Pennsylvania
Hongwei Xi, Boston Universtity





Manuel Fähndrich, Microsoft Research





David Walker, Princeton University


Affiliated Events

Suggestions or comments? Please contact David Walker (dpw at