The Coq mailing list

[Kristopher K Micinski <kkmicins AT syr.edu>]

POPL 2023 Call for Papers (https://popl23.sigplan.org/)

PACMPL Issue POPL 2023 seeks contributions on all aspects of programming
languages and programming systems, both theoretical and practical. Authors
of papers published in PACMPL Issue POPL 2023 will be invited to present
their work in the POPL conference in January 2023, which is sponsored by
ACM SIGPLAN, in cooperation with ACM SIGACT and ACM SIGLOG. 

# Important Dates

Thu 07 Jul 2022: Submission Deadline
Tue 06 Sep 2022: Start of Author Response period
Fri 09 Sep 2022: End of Author Response period
Tue 27 Sep 2022: Notification of Conditional Acceptance
Wed 26 Oct 2022: Deadline for submission of revisions
Mon 07 Nov 2022: Notification of Final Acceptance
Thu 10 Nov 2022: Camera-Ready Deadline

Wed 18 - Fri 20 Jan 2023: Conference

For the fiftieth POPL and the 50th anniversary of POPL, we will be back
where POPL #1 happened: Boston, Massachusetts.

Location: Boston Park Plaza, Boston, USA
General chair: Andrew Myers
Program chair: Amal Ahmed
Program Committee members:
https://popl23.sigplan.org/committee/POPL-2023-popl-research-papers-program-committee


Full CFP:
https://popl23.sigplan.org/track/POPL-2023-popl-research-papers#POPL-2023-Call-for-Papers

NEW THIS YEAR: POPL 2023 will use a double-blind reviewing process (instead
of the lightweight double-blind process used in recent years). This means
that identities of authors will not be visible to reviewers until after
acceptance decisions have been made. For authors, the main change is that
there is no option to upload non-anonymized supplementary material; only
anonymized supplementary material may be submitted. 


# Scope

Principles of Programming Languages (POPL) 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. 

# Evaluation Criteria

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

Deadlines and formatting requirements will be strictly enforced.

# Evaluation Process

NEW THIS YEAR: POPL 2023 will use a double-blind reviewing process (instead
of the lightweight double-blind process used in recent years). This means
that identities of authors will not be visible to reviewers until after
conditional-acceptance decisions have been made. For authors, the main
change is that there is no option to upload non-anonymized supplementary
material; only _anonymized_ supplementary material may be submitted. 

Also new this year: POPL 2023 will have three Associate Chairs who will
help the PC Chair monitor reviews, solicit external expert reviews for
submissions when there is not enough expertise on the committee, and
facilitate reviewer discussions. 

As in previous years, 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 the
reviews; in particular, it must not introduce new technical results.
Reviewers will write a short reaction to these author responses.

The Review Committee (RC) will discuss papers electronically and, new this
year, also during two days of synchronous, face-to-face, virtual Review
Committee meetings. There will be no physical RC 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.

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 Review
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 Review Committee
by the requested deadline or risk rejection.

# Double-Blind Reviewing 

POPL 2023 will use double-blind reviewing. This means that author names and
affiliations must be omitted from the submission. Additionally, if the
submission refers to prior work done by the authors, that reference should
be made in third person. These are firm submission requirements. Any
supplementary material must also be anonymized.

The FAQ on Double-Blind 
Reviewing(https://popl23.sigplan.org/track/POPL-2023-popl-research-papers#FAQ-on-Double-Blind-Reviewing)
clarifies the policy for the most common scenarios. But there are many
gray areas and trade-offs. If you have any doubts about how to interpret
the double-blind rules, please contact the Program Chair. Make sure to
contact the Program Chair for complex cases that are not fully covered by
the 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 2023 will employ a 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.

# Artifact Evaluation for Accepted Papers

Authors of conditionally 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. Artifact
submission is strongly encouraged but 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.

# Copyright, Publication, and Presentation

As a Gold Open Access journal, PACMPL is committed to making peer-reviewed
scientific research free of restrictions on both access and (re-)use.
Authors are strongly encouraged to support libre open access by licensing
their work with the Creative Commons Attribution 4.0 International (CC BY)
license, which grants readers liberal (re-)use rights.

Authors of accepted papers will be required to choose one of the following
publication rights:

 - Author licenses the work with a Creative Commons license, retains
   copyright, and (implicitly) grants ACM non-exclusive permission to
   publish (suggested choice).
 - Author retains copyright of the work and grants ACM a non-exclusive
   permission to publish license.
 - Author retains copyright of the work and grants ACM an exclusive
   permission to publish license.
 - Author transfers copyright of the work to ACM.

These choices follow from ACM Copyright Policy and ACM Author Rights,
corresponding to ACM's "author pays" option. While PACMPL may ask authors
who have funding for open-access fees to voluntarily cover the article
processing charge (currently, US$400), payment is not required for
publication. PACMPL and SIGPLAN continue to explore the best models for
funding open access, focusing on approaches that are sustainable in the
long-term while reducing short-term risk.

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 2023 will be designated as
Distinguished Papers. This award highlights papers that the POPL Review
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.