POPL 2027 Call for Papers

--000000000000e1c4eb0653e81495
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

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

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 =E2=80=93 but no=
t
required =E2=80=93
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-rev=
iewer-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 th=
e
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 b=
e
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 t=
o
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 technica=
l
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 on=
e
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=E2=80=99s new open access publishing model for A=
CM
Conferences

Starting January 1, 2026, ACM has fully transitioned to Open Access. All AC=
M
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 o=
f
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
).

--000000000000e1c4eb0653e81495
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr">POPL 2027 Call for Papers<br>Sun 10 - Sat 16 January 2027<=
br>Mexico City, Mexico<br><a href=3D"https://popl27.sigplan.org/">https://p=
opl27.sigplan.org/</a><br>=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D<br><br>PACMPL Issue POPL 2027 seeks=
 contributions on all aspects of programming<br>languages and programming s=
ystems, both theoretical and practical. Authors of<br>papers published in P=
ACMPL Issue POPL 2027 will be invited =E2=80=93 but not required =E2=80=93<=
br>to present their work in the POPL conference in January 2027, which is s=
ponsored<br>by ACM SIGPLAN, in cooperation with ACM SIGACT and ACM SIGLOG.<=
br><br>**NEW FOR 2027**<br>- Clarification about expectations concerning me=
chanized proofs; see Submission<br>=C2=A0 Guidelines:<br>=C2=A0 <a href=3D"=
https://popl27.sigplan.org/track/POPL-2027-popl-research-papers#submission-=
guidelines">https://popl27.sigplan.org/track/POPL-2027-popl-research-papers=
#submission-guidelines</a><br>- At least one author of each paper submissio=
n must be registered as a Reserve<br>=C2=A0 Reviewer as per the Reserve Rev=
iewer Policy:<br>=C2=A0 <a href=3D"https://popl27.sigplan.org/track/POPL-20=
27-popl-research-papers#reserve-reviewer-policy">https://popl27.sigplan.org=
/track/POPL-2027-popl-research-papers#reserve-reviewer-policy</a><br><br>Se=
e details:<br><a href=3D"https://popl27.sigplan.org/track/POPL-2027-popl-re=
search-papers">https://popl27.sigplan.org/track/POPL-2027-popl-research-pap=
ers</a><br><br>## Important Dates<br><br>- Paper submission deadline: Thurs=
day July 9, 2026<br>- Author response period: Mon 7 - Thu 10 Sep, 2026<br>-=
 Author notification: Mon 5 Oct, 2026<br>- Revision deadline: Mon 26 Oct, 2=
026<br>- Final acceptance notification: Mon 9 Nov, 2026<br>- Camera ready d=
eadline: Fri 20 Nov, 2026<br><br>## Submission Site Information<br><br>The =
submission site is <a href=3D"https://popl27.hotcrp.com">https://popl27.hot=
crp.com</a>.<br><br>Papers may be resubmitted to the submission site multip=
le times up until the<br>deadline, but only the last version submitted befo=
re the deadline will be<br>reviewed. There is no abstract deadline. The sub=
mission site requires entering<br>author names and affiliations, relevant t=
opics, and potential conflicts.<br>Addition or removal of authors after the=
 submission deadline will need to be<br>approved by the Program Chair (as t=
his kind of change potentially undermines the<br>goal of eliminating confli=
cts during paper assignment).<br><br>The submission deadline is 11:59PM Jul=
y 9, 2026 anywhere on earth:<br><a href=3D"https://en.wikipedia.org/wiki/An=
ywhere_on_Earth">https://en.wikipedia.org/wiki/Anywhere_on_Earth</a><br><br=
>## Scope<br><br>Principles of Programming Languages (POPL) is a forum for =
the discussion of all<br>aspects of programming languages and programming s=
ystems. Both theoretical and<br>experimental papers are welcome, on topics =
ranging from formal frameworks to<br>experience reports. We seek submission=
s that make principled, enduring<br>contributions to the theory, design, un=
derstanding, implementation, or<br>application of programming languages.<br=
><br>## Evaluation Criteria<br><br>The Review Committee (aka Program Commit=
tee, PC) will evaluate the technical<br>contribution of each submission as =
well as its accessibility to both experts and<br>the general POPL audience.=
 All papers will be judged on significance,<br>originality, relevance, corr=
ectness, and clarity. Each paper must explain its<br>scientific contributio=
n in both general and technical terms, identifying what<br>has been accompl=
ished, explaining why it is significant and comparing it with<br>previous w=
ork. Advice on writing technical papers can be found on the SIGPLAN<br>auth=
or information page (<a href=3D"https://www.sigplan.org/Resources/Author/">=
https://www.sigplan.org/Resources/Author/</a>).<br><br>## Double-Blind Revi=
ewing<br><br>POPL 2027 will use a full double-blind reviewing process (simi=
lar to the one<br>used in recent years (POPL 2023 - 2026) but different fro=
m the lightweight<br>double-blind process used before then). This means tha=
t identities of authors<br>will not be made visible to reviewers until afte=
r conditional-acceptance<br>decisions have been made, and then only for the=
 conditionally-accepted papers.<br><br>## Important update on ACM=E2=80=99s=
 new open access publishing model for ACM Conferences<br><br>Starting Janua=
ry 1, 2026, ACM has fully transitioned to Open Access. All ACM<br>publicati=
ons, including those from ACM-sponsored conferences, will be 100% Open<br>A=
ccess. Authors will have two primary options for publishing Open Access<br>=
articles with ACM: the ACM Open institutional model or by paying Article<br=
>Processing Charges (APCs). For a paper to be covered by ACM Open, the<br>c=
orresponding author must be affiliated with a participating institution. AP=
C<br>pricing for 2027 conferences is currently under review and will be fin=
alized in<br>June. With over 2,600 institutions already part of ACM Open, t=
he majority of<br>ACM-sponsored conference papers will not require APCs fro=
m authors or<br>conferences.<br><br>Authors from institutions not participa=
ting in ACM Open will need to pay an APC<br>to publish their papers, unless=
 they qualify for a waiver. To find out whether<br>an APC applies to your a=
rticle, please consult the list of participating<br>institutions (<a href=
=3D"https://libraries.acm.org/acmopen/open-participants">https://libraries.=
acm.org/acmopen/open-participants</a>) in ACM Open<br>and review the APC Wa=
ivers and Discounts Policy<br>(<a href=3D"https://www.acm.org/publications/=
policies/policy-on-open-access-apc-waivers-and-discounts">https://www.acm.o=
rg/publications/policies/policy-on-open-access-apc-waivers-and-discounts</a=
>).<br></div>

--000000000000e1c4eb0653e81495--