[TYPES/announce] POPL 2020 -- Call for Papers

[Michael Greenberg]

POPL 2020 Call for Papers (https://popl20.sigplan.org/)

  Important Dates:
    Wed 10 Jul 2019: Submission deadline
    Mon 16 Sep 2019: Start of rebuttal period
    Thu 19 Sep 2019: End of rebuttal period
    Mon 14 Oct 2019: Notification
    Thu 07 Nov 2019: Camera ready deadline

    Wed 22 - Fri 24 Jan 2020: Conference

  General chair: Brigitte Pientka
  PC chair: Lars Birkedal
  PC members: https://popl20.sigplan.org/committee/popl-2020-papers-program-committee

# 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. We seek submissions that make principled,
enduring contributions to the theory, design, understanding, implementation or
application of programming languages. The symposium is sponsored by ACM SIGPLAN,
in cooperation with ACM SIGACT and ACM SIGLOG.

# Evaluation criteria

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

# Evaluation process

Authors will have a multi-day period to respond to reviews, as indicated in the
Important Dates table. Responses are optional. They must not be overly long and
should not try to introduce new technical results. Reviewers will write a short
reaction to these author responses. Following the precedent set by POPL 2018,
the program committee will discuss papers entirely electronically rather than at
a physical programming committee meeting. This will avoid the time, cost and
environmental impact of transporting an increasingly large committee to one
point on the globe. Unlike in recent years, there will be no formal External
Review Committee, though experts outside the committee will be consulted when
their expertise is needed. Reviews will be accompanied by a short summary of the
reasons behind the committee’s decision. It is the goal of the program committee
to make it clear to the authors why each paper was or was not accepted.

# Submission guidelines

See https://popl20.sigplan.org/track/POPL-2020-Research-Papers#POPL-2020-Call-for-Papers
for detailed submission guidelines.

# 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. 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.

# PACMPL and Copyright

All papers accepted to POPL 2020 will be published as part of the new ACM
journal Proceedings of the ACM on Programming Languages (PACMPL). To conform
with ACM requirements for journal publication, all POPL papers will be
conditionally accepted; authors will be required to submit a short description
of the changes made to the final version of the paper, including how the changes
address any requirements imposed by the program committee. That the changes are
sufficient will be confirmed by the original reviewers prior to acceptance to
POPL. Authors of conditionally accepted papers must submit a satisfactory
revision to the program committee by the requested deadline or risk rejection.

For more information, see
https://popl20.sigplan.org/track/POPL-2020-Research-Papers#POPL-2020-Call-for-Papers

# Distinguished Paper Awards

At most 10% of the accepted papers of POPL 2020 will be designated as
Distinguished Papers. This award highlights papers that the POPL program
committee thinks should be read by a broad audience due to their relevance,
originality, significance and clarity. The selection of the distinguished papers
will be made based on the final version of the paper and through a second review
process.