Important dates

Hotel registration deadline	28 December 2009 (Monday)
Early registration deadline	22 December 2009 (Tuesday)
Registration URL	http://www.regonline.com/popl2010
Conference	20-22 January (Wednesday-Friday) 2010

Scope

The annual Symposium on Principles of Programming Languages is a forum for the discussion of all aspects of programming languages and systems, with emphasis on how principles underpin practice. Both theoretical and experimental papers are welcome, on topics ranging from formal frameworks to experience reports.

Program

The conference program is now out.

Local arrangements and visa information

Student Attendees

Students with accepted papers or posters are encouraged to apply for a SIGPLAN PAC grant that will help to cover travel expenses to POPL. Details on the PAC program and the application can be found here. PAC also offers support for companion travel.

Colocated conference and workshops

The events co-located with POPL 2010 are:

• International Conference on Verification, Model Checking, and Abstract Interpretation ( VMCAI 2010)
• Workshop on Functional and (Constraint) Logic Programming (WFLP 2010)
• Workshop on Partial Evaluation and Program Manipulation ( PEPM 2010)
• Symposium on Practical Aspects of Declarative Languages ( PADL 2010)
• Workshop on Types in Language Design and Implementation ( TLDI 2010)
• Workshop on Programming Languages meets Program Verification (PLPV 2010)
• Workshop on Declarative Aspects of Multicore Programming ( DAMP 2010)

Organizers

Sponsors