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

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

FacebookTwitterLinkedInGoogle


Conference Series : Symposium on Principles of Programming Languages
 
Link: http://popl.mpi-sws.org/2013/
 
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

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. 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").

Evaluation

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 http://sigplan.org/authorInformation.htm (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 http://popl2013.ens.fr 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.

Organisers

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 2017   44th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
COLT 2018   Computational Learning Theory
NATP 2017   3rd International Conference on Natural Language Processing
ECML-PKDD 2017   European Conference on Machine Learning and Principles and Practice of Knowledge Discovery
IJFCST 2017   International Journal in Foundations of Computer Science & Technology
ASPLOS 2018   23rd International Conference on Architectural Support for Programming Languages and Operating Systems
PODS 2017   36th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems
IJESA 2017   International Journal of Embedded Systems and Applications
CCEAI 2018   2018 2nd International Conference on Control Engineering and Artificial Intelligence (CCEAI 2018)
COLT 2018   Conference on Learning Theory