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.
(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.
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|