The 40th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2013) will be held in Rome, Italy.

POPL provides 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.

Proposals are invited for workshops and other events to be co-located with POPL 2013. Events can either be sponsored by SIGPLAN or supported through in-cooperation status.

Workshops should be more informal and focused than POPL itself, include sessions that enable interaction among the workshop attendees, and be fairly low cost. The preference is for one-day workshops, but other schedules can also be considered.

Submission details

(NEW) A submission form is available here:

Deadline for submission: 22 April 2012
Notification of acceptance: 30 May 2012

Sponsored workshops are required to produce a final report after the workshop has taken place that is suitable for publication in SIGPLAN Notices. Further information about SIGPLAN sponsorship and in-cooperation status of workshops is available here. Further information about SIGPLAN sponsored events is available here, and about events sponsored in-cooperation with SIGPLAN is available here.

Selection committee

All event proposals will be evaluated by a committee comprising the following members of the POPL 2013 organising committee, together with the members of the SIGPLAN executive committee.

Roberto Giacobazzi University of Verona General chair
Radhia Cousot ENS Program chair
Matt Might University of Utah Workshops co-chair
David Van Horn Northeastern University Workshops co-chair

Further information

Any queries regarding POPL 2013 co-located event proposals should be addressed to the workshops chairs, Matt Might and David Van Horn.