POPL 2027 Last Call for Papers

--0000000000006a75a506561a8869
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
).

--0000000000006a75a506561a8869
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/" target=3D=
"_blank">https://popl27.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 Iss=
ue POPL 2027 seeks contributions on all aspects of programming<br>languages=
 and programming systems, both theoretical and practical. Authors of<br>pap=
ers published in PACMPL Issue POPL 2027 will be invited =E2=80=93 but not r=
equired =E2=80=93<br>to present their work in the POPL conference in Januar=
y 2027, which is sponsored<br>by ACM SIGPLAN, in cooperation with ACM SIGAC=
T and ACM SIGLOG.<br><br>**NEW FOR 2027**<br>- Clarification about expectat=
ions concerning mechanized proofs; see Submission<br>=C2=A0 Guidelines:<br>=
=C2=A0=C2=A0<a href=3D"https://popl27.sigplan.org/track/POPL-2027-popl-rese=
arch-papers#submission-guidelines" target=3D"_blank">https://popl27.sigplan=
.org/track/POPL-2027-popl-research-papers#submission-guidelines</a><br>- At=
 least one author of each paper submission must be registered as a Reserve<=
br>=C2=A0 Reviewer as per the Reserve Reviewer Policy:<br>=C2=A0=C2=A0<a hr=
ef=3D"https://popl27.sigplan.org/track/POPL-2027-popl-research-papers#reser=
ve-reviewer-policy" target=3D"_blank">https://popl27.sigplan.org/track/POPL=
-2027-popl-research-papers#reserve-reviewer-policy</a><br><br>See details:<=
br><a href=3D"https://popl27.sigplan.org/track/POPL-2027-popl-research-pape=
rs" target=3D"_blank">https://popl27.sigplan.org/track/POPL-2027-popl-resea=
rch-papers</a><br><br>## Important Dates<br><br>- Paper submission deadline=
: Thursday July 9, 2026<br>- Author response period: Mon 7 - Thu 10 Sep, 20=
26<br>- Author notification: Mon 5 Oct, 2026<br>- Revision deadline: Mon 26=
 Oct, 2026<br>- Final acceptance notification: Mon 9 Nov, 2026<br>- Camera =
ready deadline: Fri 20 Nov, 2026<br><br>## Submission Site Information<br><=
br>The submission site is=C2=A0<a href=3D"https://popl27.hotcrp.com/" targe=
t=3D"_blank">https://popl27.hotcrp.com</a>.<br><br>Papers may be resubmitte=
d to the submission site multiple times up until the<br>deadline, but only =
the last version submitted before the deadline will be<br>reviewed. There i=
s no abstract deadline. The submission site requires entering<br>author nam=
es and affiliations, relevant topics, and potential conflicts.<br>Addition =
or removal of authors after the submission deadline will need to be<br>appr=
oved by the Program Chair (as this kind of change potentially undermines th=
e<br>goal of eliminating conflicts during paper assignment).<br><br>The sub=
mission deadline is 11:59PM July 9, 2026 anywhere on earth:<br><a href=3D"h=
ttps://en.wikipedia.org/wiki/Anywhere_on_Earth" target=3D"_blank">https://e=
n.wikipedia.org/wiki/Anywhere_on_Earth</a><br><br>## Scope<br><br>Principle=
s of Programming Languages (POPL) is a forum for the discussion of all<br>a=
spects of programming languages and programming systems. Both theoretical a=
nd<br>experimental papers are welcome, on topics ranging from formal framew=
orks to<br>experience reports. We seek submissions that make principled, en=
during<br>contributions to the theory, design, understanding, implementatio=
n, or<br>application of programming languages.<br><br>## Evaluation Criteri=
a<br><br>The Review Committee (aka Program Committee, 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, correctness, and clarity. Each=
 paper must explain its<br>scientific contribution in both general and tech=
nical terms, identifying what<br>has been accomplished, explaining why it i=
s significant and comparing it with<br>previous work. Advice on writing tec=
hnical papers can be found on the SIGPLAN<br>author information page (<a hr=
ef=3D"https://www.sigplan.org/Resources/Author/" target=3D"_blank">https://=
www.sigplan.org/Resources/Author/</a>).<br><br>## Double-Blind Reviewing<br=
><br>POPL 2027 will use a full double-blind reviewing process (similar to t=
he one<br>used in recent years (POPL 2023 - 2026) but different from the li=
ghtweight<br>double-blind process used before then). This means that identi=
ties of authors<br>will not be made visible to reviewers until after condit=
ional-acceptance<br>decisions have been made, and then only for the conditi=
onally-accepted papers.<br><br>## Important update on ACM=E2=80=99s new ope=
n access publishing model for ACM Conferences<br><br>Starting January 1, 20=
26, ACM has fully transitioned to Open Access. All ACM<br>publications, inc=
luding those from ACM-sponsored conferences, will be 100% Open<br>Access. A=
uthors will have two primary options for publishing Open Access<br>articles=
 with ACM: the ACM Open institutional model or by paying Article<br>Process=
ing Charges (APCs). For a paper to be covered by ACM Open, the<br>correspon=
ding author must be affiliated with a participating institution. APC<br>pri=
cing for 2027 conferences is currently under review and will be finalized i=
n<br>June. With over 2,600 institutions already part of ACM Open, the major=
ity of<br>ACM-sponsored conference papers will not require APCs from author=
s or<br>conferences.<br><br>Authors from institutions not participating in =
ACM Open will need to pay an APC<br>to publish their papers, unless they qu=
alify for a waiver. To find out whether<br>an APC applies to your article, =
please consult the list of participating<br>institutions (<a href=3D"https:=
//libraries.acm.org/acmopen/open-participants" target=3D"_blank">https://li=
braries.acm.org/acmopen/open-participants</a>) in ACM Open<br>and review th=
e APC Waivers and Discounts Policy<br>(<a href=3D"https://www.acm.org/publi=
cations/policies/policy-on-open-access-apc-waivers-and-discounts" target=3D=
"_blank">https://www.acm.org/publications/policies/policy-on-open-access-ap=
c-waivers-and-discounts</a>).</div>

--0000000000006a75a506561a8869--