POPL: Symposium on Principles of Programming Languages

FacebookTwitterLinkedInGoogle

 

Past:   Proceedings on DBLP

Future:  Post a CFP for 2018 or later   |   Invite the Organizers Email

 
 

All CFPs on WikiCFP

Event When Where Deadline
POPL 2017 44th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Jan 18, 2017 - Jan 20, 2017 Paris, France Jul 6, 2016 (Jul 1, 2016)
POPL 2016 43rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Jan 20, 2016 - Jan 22, 2016 St. Petersburg, Florida, USA Jul 10, 2015 (Jul 3, 2015)
POPL 2014 Symposium on Principles of Programming Languages
Jan 22, 2014 - Jan 24, 2014 The US Grant, San Diego, CA, USA Jul 12, 2013 (Jul 5, 2013)
POPL 2013 The 40th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Jan 23, 2013 - Jan 25, 2013 Rome, Italy Jul 10, 2012 (Jul 6, 2012)
POPL 2012 The 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Jan 25, 2012 - Jan 27, 2012 Philadelphia, USA Jul 12, 2011 (Jul 8, 2011)
POPL 2011 The 38th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Jan 26, 2011 - Jan 28, 2011 San, Diego, CA, USA Jul 15, 2010 (Jul 8, 2010)
POPL 2010 Principles of Programming Languages
Jan 20, 2010 - Jan 22, 2010 Spain Jul 15, 2009 (Jul 8, 2009)
POPL 2009 The 36th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Jan 1, 2009 - Jan 31, 2009 TBD Jul 15, 2008 (Jul 8, 2008)
POPL 2008 The 35th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Jan 7, 2008 - Jan 12, 2008 San Francisco, CA, USA Jul 16, 2007
 
 

Present CFP : 2017

POPL 2017 Research Papers
You will find here all information regarding research papers.

Call for Papers
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. Advice on writing technical papers can be found on the SIGPLAN author information page.

A document that details principles underlying organizational and reviewing policies can be found here.

A document containing frequently asked questions about the reviewing and submission process, especially as it pertains to double-blind reviewing, can be found here.

Important Dates
Paper registration 1 July 2016
Paper submission 6 July 2016
Start of rebuttal period 14 September 2016
Rebuttal response 16 September 2016
Author notification 03 October 2016
Artifact registration 7 October 2016
Artifact submission 10 October 2016
Artifact notification 31 October 2016
Camera-ready deadline 7 November 2016
Main conference 18-20 January 2017
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 (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 2017 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. David Walker has put together a document answering frequently asked questions that should address many common concerns.

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 will be provided soon. 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.
 

Related Resources

POPL 2016   43rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
SPLASH 2017   ACM SIGPLAN conference on Systems, Programming, Languages and Applications: Software for Humanity
PODC 2016   ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing
ECML-PKDD 2016   European Conference on Machine Learning and Principles and Practice of Knowledge Discovery
PODS 2017   36th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems
PLDI 2017   ACM SIGPLAN Symposium on Programming Language Design & Implementation
ECML-PKDD 2017   European Conference on Machine Learning and Principles and Practice of Knowledge Discovery
SIGIR 2017   The 40th International ACM SIGIR Conference on Research and Development in Information Retrieval
PPoPP 2017   22nd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming
SLATE 2017   Symposium on Languages, Applications and Technologies