posted by user: Abdallah || 17831 views || tracked by 54 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 2023   50th Symposium on Principles of Programming Languages
IEEE Xplore-Ei/Scopus-CTISC 2024   2024 6th International Conference on Advances in Computer Technology, Information Science and Communications (CTISC 2024) -EI Compendex
PLDI 2024   The 45th ACM SIGPLAN Conference on Programming Language Design and Implementation
MLANN 2024   2024 2nd Asia Conference on Machine Learning, Algorithms and Neural Networks (MLANN 2024)
ASPLOS 2024   The ACM International Conference on Architectural Support for Programming Languages and Operating Systems (Fall)
CVIPPR 2024   2024 2nd Asia Conference on Computer Vision, Image Processing and Pattern Recognition
OOPSLA 2024   The Object-Oriented Programming, Systems, Languages, and Applications 2024 (R2)
ACM-Ei/Scopus-CMLDS 2024   2024 International Conference on Computing, Machine Learning and Data Science (CMLDS 2024)
SLE 2023   16th ACM SIGPLAN International Conference on Software Language Engineering
WAD LIVE 2024   WeAreDevelopers LIVE - Season 7