posted by user: Abdallah || 10972 views || tracked by 57 users: [display]

POPL 2013 : The 40th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages


Conference Series : Symposium on Principles of Programming Languages
When Jan 23, 2013 - Jan 25, 2013
Where Rome, Italy
Abstract Registration Due Jul 6, 2012
Submission Deadline Jul 10, 2012
Notification Due Oct 1, 2012
Final Version Due Nov 1, 2012
Categories    programming languages   algorithms   computation theory

Call For Papers

POPL 2013: 40th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Rome, Italy
January 23-25, 2013
Important dates
Paper registration July 6, 2012, 11:59pm American Samoa time (Friday)
Paper submission July 10, 2012, 11:59pm American Samoa time (Tuesday, firm)
Author response period September 10, 2012 to September 13, 2012
Author notification October 1, 2012 (Monday)
Camera-ready submission deadline November 1, 2012
Early registration deadline December 31, 2012


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. Papers discussing new ideas and areas are most welcome, as are high-quality expositions or elucidations of existing concepts that are likely to yield new insights ("pearls").


A committee of experts will evaluate the technical contribution of each submission as well as its accessibility to both experts and the general POPL audience. All papers will be judged on significance, originality, relevance, correctness, and clarity. Each paper should explain its contributions in both general and technical terms, identifying what has been accomplished, explaining why it is significant, and comparing it with previous work. The submissions are not anonymous and should therefore include all author names, affiliations and contact information. More advice on writing technical papers can be found on the SIGPLAN author information page.

Submission guidelines

Authors should submit an abstract of at most 300 words and a full paper of no more than 12 pages (including bibliography and appendices) formatted according to the ACM proceedings format. SIGPLAN conference paper templates are available for LaTeX and Word at (use the 9 pt template). Submissions must be in PDF. The submission deadline and length limitations are firm.

Submitted papers must adhere to the SIGPLAN Re-publication Policy and the ACM Policy on Plagiarism. Concurrent submissions to other conferences, workshops, journals, or similar forums of publication are not allowed. Submissions that do not meet these guidelines may not be considered.

The URL for submission of abstracts and papers will be opened closer to the submission deadline.

Authors will have a four-day period to read and respond to the reviews of their papers before the PC meeting. Details of the response process will be announced by email a few days beforehand.

Authors of accepted submissions are expected to transfer the copyright to the ACM and may sign a release for video of their presentation. Authors are encouraged to publish auxiliary material with their paper; they retain copyright of auxiliary material.
Student Attendees

Students with accepted papers or students who are participating in the student session are encouraged to apply for a SIGPLAN PAC grant that will help covering travel expenses.


General Chair: Roberto Giacobazzi, Università di Verona, Dipartimento di Informatica, Strada Le Grazie 15, 37134 Verona, Italy

Workshop Co-Chairs: Matthew Might, University of Utah, USA; David Van Horn, Northeastern University, USA

Treasurer: Bor-Yuh Evan Chang, University of Colorado, USA

Publicity Chair: Viktor Vafeiadis, MPI-SWS, Germany

Student Activities Chair: Tobias Wrigstad, Uppsala University, Sweden

Program Chair: Radhia Cousot, École normale supérieure, 45 rue d'Ulm, 75230 Paris cedex 05, France

Program Committee:
Josh Berdine, Microsoft Research, UK
Sebastian Burckhardt, Microsoft Research, USA
William R. Cook University of Texas, Austin, USA
Radhia Cousot (chair), CNRS & ÉNS & INRIA, France
Nils Anders Danielsson, Chalmers & Gothenburg U., Sweden
Işıl Dillig, College of William & Mary, USA
Manuel Fähndrich, Microsoft Research, USA
Xinyu Feng, U. of Sci. and Tech. of China, China
Andrew D. Gordon, MSR & Univ. of Edinburgh, UK
Manuel Hermenegildo, IMDEA Software, Spain
Eric Koskinen, New York University, USA
Xavier Leroy, INRIA, France
Francesco Logozzo, Microsoft Research, USA
Laurent Mauborgne, IMDEA Software, Spain
Andrzej Murawski, University of Leicester, UK
Peter O'Hearn, Queen Mary, Univ. of London, UK
Benjamin C. Pierce, University of Pennsylvania, USA
Sriram Rajamani, Microsoft Research, India
Francesco Ranzato, Università di Padova, Italy
Andreas Rossberg, Google, Germany
Andrei Sabelfeld, Chalmers & Gothenburg U., Sweden
Peter Sewell, University of Cambridge, UK
Yannis Smaragdakis, U. Athens, Greece & U. Mass., USA
Martin Vechev, ETH Zurich, Switzerland
David Walker, Princeton University, USA
Tobias Wrigstad, Uppsala University, Sweden
Kwangkeun Yi, Seoul National University, Korea

Related Resources

POPL 2019   Symposium on Principles of Programming Languages
COCOA 2018   The 12th Annual International Conference on Combinatorial Optimization and Applications
Scala 2018   9th ACM SIGPLAN Symposium on Scala
IJAB 2018   International Journal of Advances in Biology
CAIJ 2018   Computer Applications: An International Journal
IJPLA 2018   International Journal of Programming Languages and Applications
ASPLOS 2019   Architectural Support for Programming Languages and Operating Systems
FACS 2018   15th International Conference on Formal Aspects of Component Software
ECML-PKDD 2018   European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases
APLAS 2018   16th Asian Symposium on Programming Languages and Systems