Conference Information
POPL 2021: ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages
Submission Date:
Notification Date:
Conference Date:
Copenhagen, Denmark
CCF: a   CORE: a*   QUALIS: a1   Viewed: 15628   Tracked: 39   Attend: 2

Conference Location
Call For Papers
POPL 2021 Call for Papers
POPL 2021 will welcome contributions from all members of the community. Independent of what will happen with global Covid-19 crisis and the complications of its aftermath, authors and other participants will be given the choice to participate in-person or remotely.

The paper submission deadline (July 9, 2020) is firm and not subject to change.

POPL will take place January 17-22, 2021, as a physical, virtual, or hybrid physical/virtual meeting. We will be monitoring the Covid-19 situation and will announce a decision on the nature of the meeting in time.

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.
Frequently asked questions about the reviewing and submission process, especially double-blind reviewing.
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. This format is chosen for compatibility with PACMPL. It is a single-column page layout with a 10 pt font, 12 pt line spacing, and wider margins than recent POPL page layouts. In this format, the main text block is 5.478 in (13.91 cm) wide and 7.884 in (20.03 cm) tall. Use of a different format (e.g., smaller fonts or a larger text block) is grounds for summary rejection. PACMPL templates for Microsoft Word and LaTeX can be found at the SIGPLAN author information page. In particular, authors using LaTeX should use the acmart-pacmpl-template.tex file (with the acmsmall option). Submissions should be in PDF and printable on both US Letter and A4 paper. Papers may be resubmitted to the submission site multiple times up until the deadline, but the last version submitted before the deadline will be the version reviewed. Papers that exceed the length requirement, that deviate from the expected format, or that are submitted late will be rejected.

Deadlines expire at the end of the day, anywhere on earth on the Important Dates displayed to the right. 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.

POPL 2021 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 judgment 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. In particular, important background references should not be omitted or anonymized. In addition, authors are free to disseminate their ideas or draft versions of their paper as usual. For example, authors may post drafts of their papers on the web or give talks on their research ideas. A document answering frequently asked questions addresses many common concerns.

The submission itself is the object of review and so it should strive to convince the reader of at least the plausibility of reported results. Still, 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 must be uploaded at submission time, as a single pdf or a tarball, not via a URL. Two forms of supplementary material may be submitted.
Last updated by Dexin Liu in 2020-12-19
Acceptance Ratio
Related Conferences
CCFCOREQUALISShortFull NameSubmissionNotificationConference
b5PAAPInternational Symposium on Parallel Architectures, Algorithms and Programming2020-11-102020-11-242020-12-28
aa*a1ASPLOSInternational Conference on Architectural Support for Programming Languages and Operating Systems2020-08-142020-11-192021-04-16
aa*a1OSDIUSENIX Symposium on Operating Systems Design and Implementation2020-12-032021-03-162021-07-14
ba*a2ICFPACM SIGPLAN International Conference on Functional Programming2020-03-032020-04-212020-08-28
bb1I-SPANInternational Symposium on Pervasive Systems, Algorithms, and Networks2019-05-312019-06-142019-09-16
INFOCOMPInternational Conference on Advanced Communications and Computation2021-03-022021-04-122021-05-30
aa*a1PLDIACM SIGPLAN conference on Programming Language Design and Implementation2020-11-202020-02-252021-06-20
ICBATInternational Conference on Biotechnology and Agroforestry Technology2020-04-15 2020-04-17
cbb1PEPMACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation2020-10-082020-11-122021-01-17
aa*a1OOPSLAObject-Oriented Programming Systems, Languages and Applications2021-04-162021-06-022021-10-17
Related Journals
CCFFull NameImpact FactorPublisherISSN
International Journal of Programming Languages and Applications AIRCC1839-6291
bScience of Computer Programming1.088Elsevier0167-6423
cInternational Journal on Document Analysis and Recognition0.885Springer1433-2833
bComputational Complexity0.487Springer1016-3328
Fuzzy Optimization and Decision Making1.893Springer1568-4539
VLSI DesignHindawi1065-514X
bJournal of Functional Programming1.37Cambridge University Press0956-7968
Mathematical Programming Computation Springer1867-2949
Magnetic Resonance Imaging2.112Elsevier0730-725X
Information Processing and Management3.892Elsevier0306-4573