[TYPES/announce] POPL 2021 Call for Papers -- deadline Thursday, July 9th, AoE

Michael Greenberg michael.greenberg at pomona.edu
Tue Mar 31 12:19:53 EDT 2020


POPL 2021 Call for Papers (https://popl21.sigplan.org/)

  Important Dates:
    Thu 09 Jul 2020: Submission deadline

    Sun 17 - Fri 22 Jan 2021: Conference

  General chair: Andreas Podelski
  Program chair: Azadeh Farzan
  PC members: https://popl21.sigplan.org/committee/POPL-2021-research-papers-program-committee

POPL 2021 will take place during the announced dates, as a physical or
virtual meeting. We will be monitoring the Covid-19 situation and will
announce a decision on the nature of the meeting.  The paper
submission deadline is firm and not subject to change.

  Full CfP
  https://popl21.sigplan.org/track/POPL-2021-research-papers#POPL-2021-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. 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 must
​​explain its scientific contribution in both general and technical
​​terms, identifying what has been accomplished, explaining why it is
​​significant, and comparing it with previous work.  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. A
response must be concise, addressing specific points raised in review;
in particular, it must not introduce new technical results. Reviewers
will write a short reaction to these author responses. 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. There is no formal External
Review Committee, though experts outside the committee will be
consulted. Reviews will be accompanied by a short summary of the
reasons behind the committee’s decision with the goal of clarifying
the reasons behind the decision.
​​
For additional information about the reviewing process, see:

  - ​Principles of POPL: a presentation of the underlying
    organizational and reviewing policies for POPL
    http://popl.mpi-sws.org/PrinciplesofPOPL.pdf

  - ​​Frequently asked questions about the reviewing and submission
    process, especially double-blind reviewing.
    https://popl19.sigplan.org/track/POPL-2019-Research-Papers#Submission-and-Reviewing-FAQ
    
# Submission guidelines

The following two points are easy to overlook:

  - ​​Conflicts: Each author of a submission has to log into the
    submission system and properly declare all potential conflicts of
    interest in the author profile form. A conflict caught late in the
    reviewing process leads to a voided review which may be infeasible
    to replace.

  - ​​Anonymity: POPL 2021 will employ a lightweight double-blind
    reviewing process. Make sure that your submitted paper is fully
    anonymized.
​
Prior to the paper submission deadline, the authors will upload their
full anonymized paper. Each paper should have no more than 25 pages of
text, excluding bibliography, using the new ACM Proceedings
format. 

See the full CfP for more detail.
https://popl21.sigplan.org/track/POPL-2021-research-papers#POPL-2021-Call-for-Papers
​​
# ​​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 2021 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.

See the full CfP for more detail
https://popl21.sigplan.org/track/POPL-2021-research-papers#POPL-2021-Call-for-Papers


# Publication and Presentation
​​
Papers may not be presented at the conference if they have not been
published by ACM under one of the allowed copyright options.  All
papers will be archived by the ACM Digital Library. Authors will have
the option of including supplementary material with their paper.
​​
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 the conference. The official publication
date affects the deadline for any patent filings related to published
work.
​​
​​Authors of accepted papers are required to give a short talk (roughly
25 minutes long) at the conference, according to the conference
schedule.
​​
# ​​Distinguished Paper Awards
​​
At most 10% of the accepted papers of POPL 2021 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.
​​


More information about the Types-announce mailing list