[Caml-list] POPL 2027 Call for Papers

[Caml-list] POPL 2027 Call for Papers

[Ningning Xie]

[-- Attachment #1: Type: text/plain, Size: 4837 bytes --]

POPL 2027 Call for Papers
Sun 10 - Sat 16 January 2027
Mexico City, Mexico
https://popl27.sigplan.org/
=============================

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

**NEW FOR 2027**
- Clarification about expectations concerning mechanized proofs; see
Submission
  Guidelines:

https://popl27.sigplan.org/track/POPL-2027-popl-research-papers#submission-guidelines
- At least one author of each paper submission must be registered as a
Reserve
  Reviewer as per the Reserve Reviewer Policy:

https://popl27.sigplan.org/track/POPL-2027-popl-research-papers#reserve-reviewer-policy

See details:
https://popl27.sigplan.org/track/POPL-2027-popl-research-papers

## Important Dates

- Paper submission deadline: Thursday July 9, 2026
- Author response period: Mon 7 - Thu 10 Sep, 2026
- Author notification: Mon 5 Oct, 2026
- Revision deadline: Mon 26 Oct, 2026
- Final acceptance notification: Mon 9 Nov, 2026
- Camera ready deadline: Fri 20 Nov, 2026

## Submission Site Information

The submission site is https://popl27.hotcrp.com.

Papers may be resubmitted to the submission site multiple times up until the
deadline, but only the last version submitted before the deadline will be
reviewed. There is no abstract deadline. The submission site requires
entering
author names and affiliations, relevant topics, and potential conflicts.
Addition or removal of authors after the submission deadline will need to be
approved by the Program Chair (as this kind of change potentially
undermines the
goal of eliminating conflicts during paper assignment).

The submission deadline is 11:59PM July 9, 2026 anywhere on earth:
https://en.wikipedia.org/wiki/Anywhere_on_Earth

## 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 (aka Program Committee, PC) 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 (https://www.sigplan.org/Resources/Author/).

## Double-Blind Reviewing

POPL 2027 will use a full double-blind reviewing process (similar to the one
used in recent years (POPL 2023 - 2026) but different from the lightweight
double-blind process used before then). This means that identities of
authors
will not be made visible to reviewers until after conditional-acceptance
decisions have been made, and then only for the conditionally-accepted
papers.

## Important update on ACM’s new open access publishing model for ACM
Conferences

Starting January 1, 2026, ACM has fully transitioned to Open Access. All ACM
publications, including those from ACM-sponsored conferences, will be 100%
Open
Access. Authors will have two primary options for publishing Open Access
articles with ACM: the ACM Open institutional model or by paying Article
Processing Charges (APCs). For a paper to be covered by ACM Open, the
corresponding author must be affiliated with a participating institution.
APC
pricing for 2027 conferences is currently under review and will be
finalized in
June. With over 2,600 institutions already part of ACM Open, the majority of
ACM-sponsored conference papers will not require APCs from authors or
conferences.

Authors from institutions not participating in ACM Open will need to pay an
APC
to publish their papers, unless they qualify for a waiver. To find out
whether
an APC applies to your article, please consult the list of participating
institutions (https://libraries.acm.org/acmopen/open-participants) in ACM
Open
and review the APC Waivers and Discounts Policy
(
https://www.acm.org/publications/policies/policy-on-open-access-apc-waivers-and-discounts
).

[-- Attachment #2: Type: text/html, Size: 5675 bytes --]