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.

Invited speakers

• Neil Gershenfeld, MIT.
• Thomas A. Henzinger, EPFL.

Accepted papers

The list of accepted papers is now out.

Hotel information

All the conference events will take place at The Melia Castilla Hotel. We have reserved a room block at the price of 110 euros + 7% tax per room per day. To get to the ACM Group rate, participants should fill the room reservation request form and send it either by email to reservas.grupos@hotelmeliacastilla.com or by fax to +34-91-567-51 66. We realize that you may want to consider other hotels. Before you decide, please read why you should try to stay at the conference hotel .

Visa support information

International registrants should be particularly aware and careful about visa requirements, and should plan travel well in advance. Please note that ACM does not issue formal "letters of invitation" to any of its conferences.

All visa inquiries must be handled by ACM HQ. Please send your request for a letter in support of a visa application to Supportletters@acm.org, and include:

• Your full name (as it appears on your passport)
• Mailing address
• Email address
• Phone number
• Fax number
• The name of the conference you are attending
• Registration Confirmation Number
• Authors of papers/posters should also include the title

Please note that receipt of a visa letter takes approximately 3-4 weeks, so it is highly recommended that you submit your request early.

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 workshop schedule

The events co-located with POPL 2010 are:

• 11th 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