[TYPES/announce] CFPs: POPL 2016 in St. Petersburg, FL, USA, January 20-22, 2016 [Deadline: 10 July 2015, AOE]

[Ruzica Piskac]

Call for Papers for the 43rd ACM SIGPLAN-SIGACT Symposium on Principles 
of Programming Languages (POPL 2016)
St. Petersburg, Florida, USA, January 20-22, 2016
http://conf.researchr.org/home/POPL-2016/ 
<https://urldefense.proofpoint.com/v2/url?u=http-3A__conf.researchr.org_home_POPL-2D2016_&d=AwMFaQ&c=-dg2m7zWuuDZ0MUcV7Sdqw&r=j79-cJ16iYo85iEKWqCQ1OC36a9y0sRzwTeXIcyCuXs&m=RWlxGXDsyzSD5QZ8lPzO4cgFYCHV1JZgNnZPHnfAy-w&s=K7FTbaK6A6oac5MWO9V98gQ4PhMrmIe4feTOi-CmN1A&e=>

Scope
======
The annual Symposium on Principles of Programming Languages is a forum 
for the discussion of all aspects of programming languages and 
programming systems. Both theoretical and experimental papers are 
welcome, on topics ranging from formal frameworks to experience reports. 
Papers discussing new ideas and new areas are encouraged, as are papers 
(often called "pearls") that elucidate existing concepts in ways that 
yield new insights. We are looking for any submission with the potential 
to make enduring contributions to the theory, design, implementation or 
application of programming languages.


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.

Explaining a known idea in a new way may make as strong a contribution 
as inventing a new idea. Hence, we encourage the submission of pearls: 
elegant essays that explain an old idea, but do so in a new way that 
clarifies the idea and yields new insights. There is no formal 
separation of categories; pearls will be held to the same standards as 
any other paper.

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. Authors should 
strive to make their papers understandable to a broad audience. More 
details can be found on the conference web page.

Important Dates
============
Paper registration               3 July 2015, AOE
Paper submission               10 July 2015, AOE
Submission URL https://popl16.hotcrp.com/ 
<https://urldefense.proofpoint.com/v2/url?u=https-3A__popl16.hotcrp.com_&d=AwMFaQ&c=-dg2m7zWuuDZ0MUcV7Sdqw&r=j79-cJ16iYo85iEKWqCQ1OC36a9y0sRzwTeXIcyCuXs&m=RWlxGXDsyzSD5QZ8lPzO4cgFYCHV1JZgNnZPHnfAy-w&s=vQSjUMF-bVt99ErZU_vCwESRluanIE3XAgw96XUbv-Q&e=>
Author response period    17 September, 12:00 noon CET - 19 September, 
12:00 noon CET
Author notification             5 October 2015
Camera-ready deadline      5 November 2015
Main conference                20-22 January 2016
Co-located events             17-19, 23 January 2016


Submission guidelines
==============
Prior to the registration deadline, the authors will register their 
paper by uploading information on the submission title, abstract (of at 
most 300 words), authors, topics, and conflicts to the conference web 
site. Papers that are not registered on time will be rejected.

Prior to the final paper submission deadline, the authors will upload 
their full paper in double blind format and formatted according to the 
ACM proceedings format. Each paper should have no more than 12 pages of 
text, excluding bibliography, in at least 9 pt format. Papers may be 
resubmitted multiple times up until the deadline. The last version 
submitted before the deadline will be the version that is reviewed. 
Papers that exceed the length requirement or are submitted late will be 
rejected. All deadlines are firm.

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. These materials should be 
uploaded at submission time, as a single pdf or a tarball, not via a 
URL. It will be made available to reviewers only after they have 
submitted their first-draft reviews and hence need not be anonymized. 
Reviewers are under no obligation to look at the supplementary material 
but may refer to it if they have questions about the material in the 
body of the paper.

Templates for ACM format are available for Word Perfect, Microsoft Word, 
and LaTeX at http://www.sigplan.org/Resources/Author 
<https://urldefense.proofpoint.com/v2/url?u=http-3A__www.sigplan.org_Resources_Author&d=AwMFaQ&c=-dg2m7zWuuDZ0MUcV7Sdqw&r=j79-cJ16iYo85iEKWqCQ1OC36a9y0sRzwTeXIcyCuXs&m=RWlxGXDsyzSD5QZ8lPzO4cgFYCHV1JZgNnZPHnfAy-w&s=t6Xj8WGAzYNw_MWF1ft1WePye7Ee1zpMEWDtYot3BWU&e=> 
(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 and the 
ACM Policy on Plagiarism. Concurrent submissions to other conferences, 
workshops, journals, or similar forums of publication are not allowed.

AUTHORS TAKE NOTE: The official publication date is the date the 
proceedings are made available in the ACM Digital Library. This date may 
be up to two weeks prior to the first day of your conference. The 
official publication date affects the deadline for any patent filings 
related to published work. (For those rare conferences whose proceedings 
are published in the ACM Digital Library after the conference is over, 
the official publication date remains the first day of the conference.)

POPL 2016 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 process 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). In 
addition, authors should feel free to disseminate their ideas or draft 
versions of their paper as they normally would. For instance, authors 
may post drafts of their papers on the web or give talks on their 
research ideas.


ARTIFACT EVALUATION:
===============
Authors of accepted papers will be invited to formally submit supporting 
materials to the Artifact Evaluation process. Artifact Evaluation is run 
by a separate committee whose task is to assess how the artifacts 
support the work described in the papers. This submission is voluntary 
and will not influence the final decision regarding the papers. Papers 
that go through the Artifact Evaluation process successfully will 
receive a seal of approval printed on the papers themselves. Additional 
information is to be found on the POPL AEC web page. Authors of accepted 
papers are encouraged to make these materials publicly available upon 
publication of the proceedings, by including them as "source materials" 
in the ACM Digital Library.



Organizing Committee POPL 2016
=====================
General Chair:            Rastislav Bodík, UC Berkeley
Program Chair:          Rupak Majumdar,  Max Planck Institute for 
Software Systems
Local Chair:                Jay Ligatti,  University of South Florida
Publicity Chair:           Ruzica Piskac, Yale University
Student Research Competition Chair:  Zachary Tatlock, University of 
Washington


Program Committee
===============
Bob Atkey, University of Edinburgh, UK
Andrej Bauer, University of Ljubljana, Slovenia
Bor-Yuh Evan Chang, University of Colorado Boulder, USA
Alastair Donaldson, Imperial College London, UK
Philippa Gardner, Imperial College London, UK
Alexey Gotsman, IMDEA, Spain
Arie Gurfinkel, SEI-CMU, USA
Chung-Kil Hur, Seoul National University, Korea
Somesh Jha, University of Wisconsin, USA
Aditya Kanade, IISc Bangalore, India
Laura Kovács, Chalmers University of Technology, Sweden
Boris Köpf, IMDEA, Spain
Shriram Krishnamurthi, Brown University, USA
Viktor Kuncak. EPFL, Switzerland
Marta Kwiatkowska, University of Oxford, UK
Matteo Maffei, Saarland University, Germany
Rupak Majumdar, MPI-SWS, Germany
David Monniaux, VERIMAG, France
Madanlal Musuvathi, Microsoft Research, USA
Prakash Panangaden, McGill School of Computer Science, Canada
Corina Pasareanu, NASA / CMU-SV, USA
Frank Pfenning, CMU, USA
Frank Piessens, KU Leuven, Belgium
Tiark Rompf. Purdue University, USA
Alexandra Silva, Radboud University Nijmegen, The Netherlands
Manu Sridharan, Samsung Research America, USA
Ashish Tiwari, SRI, USA
Emina Torlak, University of Washington, USA

Artifact Evaluation Committee Chairs
========================
Stephen Chong, Harvard University
Arjun Guha, University of Massachusetts Amherst


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20150620/641a1077/attachment-0001.html>