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.