POPL 2013: 40th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages Rome, Italy January 23-25, 2013

Important dates

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.

Location

POPL'13 will be held at the Parco dei Principi Hotel in Rome, Italy.

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	University College 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

External Review Committee:   [Show external review committee]

Alex Aiken, Stanford University, USA Matthias Blume, Google, USA Gilles Barthe, IMDEA Software, Spain Lars Birkedal, IT U. of Copenhagen, Denmark Hans-J. Boehm, HP Labs, USA Avik Chaudhuri, Adobe Systems, USA Swarat Chaudhuri, Rice University, USA Derek Dreyer, MPI-SWS, Germany Michael Emmi, Univ. Paris Diderot, France Jérôme Feret, INRIA, France Cédric Fournet, Microsoft Research, UK Daniel Frampton, Australian National U., Australia Simon Gay, University of Glasgow, UK Giorgio Ghelli, Università di Pisa, Italy Benjamin Goldberg, New York University, USA Robert Grimm, New York University, USA Vineet Gupta, Google, USA Chris Hawblitzel, Microsoft Research, USA Jonathan Hayman, INRIA, France Michael Hicks, University of Maryland, USA Martin Hofmann, Ludwig-Maximilians U., Germany Ranjit Jhala, University of California, San Diego, USA K. Rustan M. Leino, Microsoft Research, USA Sorin Lerner, University of California, San Diego, USA Francesca Levi, Università di Pisa, Italy Yitzhak Mandelbaum, SEI-CMU Damien Massé, U. de Bretagne Occidentale, France Isabella Mastroeni, Università di Verona, Italy Maged M. Michael, IBM Research, USA Jan Midtgaard, Aarhus University, Denmark

Todd Millstein, Univ. of California, Los Angeles, USA Greg Morrisett, Harvard University, USA Leonardo de Moura, Microsoft Research, USA Andrew C. Myers, Cornell University, USA George Necula, Univ. of California, Berkeley, USA Tamiya Onodera, IBM Research, Japan Jens Palsberg, Univ. of California, Los Angeles, USA Prakash Panangaden, McGill University, Canada Erez Petrank, Technion, Israel Andreas Podelski, University of Freiburg, Germany François Pottier, INRIA, France Maurizio Proietti, CNR, Italy German Puebla, Univ. Politecnica de Madrid, Spain Martin C. Rinard, MIT, USA Xavier Rival, INRIA, France Sukyoung Ryu, KAIST, Korea Francesca Scozzari, Univ. di Chieti-Pescara, Italy Jeremy G. Siek, Univ. of Colorado, Boulder, USA Armando Solar-Lezama, MIT, USA James Stichnoth, Intel, USA Eijiro Sumii, Tohoku University, Japan Tachio Terauchi, Nagoya University, Japan Ashish Tiwari, SRI International, USA Viktor Vafeiadis, MPI-SWS, Germany David Van Horn, Northeastern University, USA Arnaud Venet, NASA Ames Research Center, USA Janis Voigtländer, University of Bonn, Germany Mitchell Wand, Northeastern University, USA Eran Yahav, Technion, Israel Francesco Zappa Nardelli, INRIA, France

Sponsors