[TYPES/announce] POPL 2014: Call for papers

[Viktor Vafeiadis]

POPL 2014: 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
San Diego, USA

http://popl.mpi-sws.org/2014/

Dates
--------

Paper registration:      Friday July 5, 2013,  16:00 UTC
Paper submission:        Friday July 12, 2013, 16:00 UTC
Author response period:  Tuesday September 10 - Friday September 13, 2013
Author notification:     Wednesday October 2, 2013
Conference:              January 22 - January 24, 2014

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.


Evaluation
--------------

The program committee 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. 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 appendices and bibliography)
formatted according to the ACM proceedings format.  Papers that exceed
the length requirement or are submitted late will be rejected.

Templates for ACM format are available for Word Perfect, Microsoft
Word, and LaTeX at
http://www.acm.org/sigs/sigplan/authorInformation.htm (use the 9 pt
preprint template). Submissions should be in PDF and printable on US
Letter and A4 sized paper.

Submitted papers must adhere to the SIGPLAN Republication
Policy. Concurrent submissions to other conferences, workshops,
journals, or similar forums of publication are not allowed.

All accepted papers will be available from the ACM Digital Library
two weeks prior to the conference, starting from January 8, 2014.
The official publication date is the date the proceedings are made
available in the ACM Digital Library. The official publication date
affects the deadline for any patent filings related to published work.

POPL 2014 will employ a lightweight double-blind reviewing process. To
facilitate this, submitted papers must adhere to two rules:

   author names and institutions must be omitted, and

   references to authors' own related work should be in the third
   person (e.g., not "We build on our previous work ..." but rather
   "We build on the work of ...").

The purpose of this is to help the PC and external reviewers come to
an initial judgement about the paper without bias, not to make it
impossible for them to discover the authors if they were to try.
Nothing should be done in the name of anonymity that weakens the
submission or makes the job of reviewing the paper more difficult
(e.g., important background references should not be omitted or
anonymized), and submitted papers may be posted to author web pages
etc. as usual. The program chair has put together a document answering
frequently asked questions that hopefully addresses many common
concerns.

POPL 2014 will not have an external review committee, relying instead
on the PC and on expert reviewers drawn from the whole community.  To
assist the PC in identifying expert reviewers, authors will be invited
to suggest, at submission time, the names of up to 5 candidate
reviewers that they believe have the appropriate expertise.  Authors
should not contact these in advance, and the PC may or may not call
for reviews from any of those suggested.

We encourage authors to provide any supplementary material that is
required to support the claims made in the paper, such as detailed
proofs, proof scripts, or experimental data. This should be uploaded
at submission time, as a single pdf or a tarball, not via a URL.
It need not be anonymised, and so will be made available to reviewers
only after they have submitted their first-draft review.  As usual,
reviewers are under no obligation to look at the supplementary
material.

We will also repeat the survey from POPL 2009 to gather statistics on
the use of proof assistants.

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


Organisers
---------------

General Chair:  Suresh Jagannathan, Purdue University
Program Chair:  Peter Sewell, University of Cambridge

Program Committee:

* Andrew W. Appel, Princeton
* Gilles Barthe, IMDEA
* Nick Benton, MSR Cambridge
* Lars Birkedal, Aarhus University
* Ahmed Bouajjani, University Paris Diderot
* James Cheney, University of Edinburgh
* Mads Dam, KTH Royal Institute of Technology
* Dino Distefano, Queen Mary, University of London
* Thomas Dillig, College of William & Mary
* Sophia Drossopoulou, Imperial College London
* Nate Foster, Cornell University
* Atsushi Igarashi, Kyoto University
* Alan Jeffrey, Alcatel-Lucent Bell Labs
* Neelakantan R. Krishnaswami, University of Birmingham
* Aditya V. Nori, MSR India
* Noam Rinetzky, Tel Aviv University
* Xavier Rival, INRIA Paris-Rocquencourt, ENS Paris, CNRS
* Andrey Rybalchenko, TUM
* Jeremy G. Siek, University of Colorado at Boulder
* Nikhil Swamy, MSR Redmond
* Ross Tate, Cornell University
* Tayssir Touili, CNRS Paris
* Aaron J. Turon, MPI-SWS
* Viktor Vafeiadis, MPI-SWS
* Stephanie Weirich, University of Pennsylvania
* Thomas Wies, New York University
* Elena Zucca, Università degli Studi di Genova


Workshops Chair: David Horn, Northeastern
Treasurer Co-Chairs: Ross Tate, Cornell
                    Bor-Yuh Evan Chang, UC Boulder
Publicity Chair: Viktor Vafeiadis, MPI
Student Activities Chair: Tobias Wrigstad, Uppsala