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

Affiliated Events

• Foundations and Developments of Object-Oriented Languages (FOOL/WOOD)
  • January 14, 2006
• Partial Evaluation and Semantics-Based Program Manipulation (PEPM)
  • January 9-10, 2006
• Practical Applications of Declarative Languages (PADL)
  • January 9-10, 2006
• Programming Language Technologies for XML (PLAN-X)
  • January 14, 2006
• Semantics, Program Analysis and Computing Environments for Memory Management (SPACE 2006)
  • January 14, 2006
• Verification, Model Checking and Abstract Interpretation (VMCAI)
  • January 8-10, 2006
    
     

Suggestions or comments? Please contact David Walker (dpw at cs.princeton.edu).