POPL 2027 Call for Workshops

Ningning Xie <[email protected]> Wed, 10 Jun 2026 16:13:19 -0400
Newsgroups gmane.comp.lang.caml.inria,gmane.science.mathematics.logic.coq.club,gmane.comp.lang.agda,gmane.comp.lang.haskell.cafe,gmane.comp.science.types.announce
Message-ID <CABjRk3kgSrNGKponKDkXgpq6DLgLWd3xjo5pHn47BTDJnvFXJw@mail.gmail.com>
--000000000000abd7010653ebe02a
Content-Type: text/plain; charset="UTF-8"

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

Submission details

Deadline for submission: 24 July 2026

Notification of acceptance: 4 August 2026

A workshop proposal should provide the following information:

- Name of the workshop.
- A short description (150-200 words) of the workshop.
- Call for submissions.
- Duration of the workshop.
- Whether the workshop will be Conference-approved or SIGPLAN-approved (see
below).
- Organizers: names, affiliation, contact information, brief (100 words)
biography.
- Event format: workshop; type of submissions if any; review process;
results dissemination.
- Expected attendance and target audience.
- Potential PC members - please do not contact them before the workshop is
approved.
- History of the workshop.
- Plans for remote participation.

Please submit your proposals at
https://popl27.sigplan.org/track/POPL-2027-workshops-and-co-located-events

---------------------------------------------------------------------

SIGPLAN Sponsorship

POPL co-located events are sponsored by SIGPLAN (http://sigplan.org/).
There are two kinds of co-located events: Conference-approved (no
proceedings) and SIGPLAN-approved (proceedings in the ACM Digital
Library). See http://www.sigplan.org/Resources/Guidelines/Workshops/
for more information, including a full listing of prescriptions for
Conference-approved and SIGPLAN-approved workshops.

SIGPLAN-approved workshops must respect the SIGPLAN Diversity Policy.
Proposals for SIGPLAN-approved workshops must additionally include the
gender, country of affiliation, and professional status of potential
PC members. See https://www.sigplan.org/Resources/Policies/Diversity/
for more details.

---------------------------------------------------------------------

Selection committee

All submissions will be evaluated by a committee comprising the
workshops co-chairs, the general chair, and the program chair.

---------------------------------------------------------------------

Further information

Any questions regarding POPL 2027 co-located event proposals should be
addressed to the workshops chairs, Aws Albarghouthi ([email protected])
and Alan Schmitt ([email protected]).

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

<div dir=3D"ltr"><div dir=3D"ltr"><div dir=3D"ltr"><div dir=3D"ltr"><div di=
r=3D"ltr">POPL 2027 Call for Workshops<br>Sun 10 - Sat 16 January 2027<br>M=
exico City, Mexico<br><a href=3D"https://popl27.sigplan.org/" target=3D"_bl=
ank">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<span style=3D"color:=
rgb(0,0,0);font-family:Helvetica;font-size:12px"></span></div><div dir=3D"l=
tr"><span style=3D"color:rgb(0,0,0);font-family:Helvetica;font-size:12px"><=
br></span></div>Submission details<br><br>Deadline for submission: 24 July =
2026<br><br>Notification of acceptance: 4 August 2026<br><br>A workshop pro=
posal should provide the following information:<br><br>- Name of the worksh=
op.<br>- A short description (150-200 words) of the workshop.<br>- Call for=
 submissions.<br>- Duration of the workshop.<br>- Whether the workshop will=
 be Conference-approved or SIGPLAN-approved (see below).<br>- Organizers: n=
ames, affiliation, contact information, brief (100 words) biography.<br>- E=
vent format: workshop; type of submissions if any; review process; results =
dissemination.<br>- Expected attendance and target audience.<br>- Potential=
 PC members - please do not contact them before the workshop is approved.<b=
r>- History of the workshop.<br>- Plans for remote participation.<br><br>Pl=
ease submit your proposals at<br><a href=3D"https://popl27.sigplan.org/trac=
k/POPL-2027-workshops-and-co-located-events">https://popl27.sigplan.org/tra=
ck/POPL-2027-workshops-and-co-located-events</a><br><br>-------------------=
--------------------------------------------------<br><br>SIGPLAN Sponsorsh=
ip<br><br>POPL co-located events are sponsored by SIGPLAN (<a href=3D"http:=
//sigplan.org/">http://sigplan.org/</a>).<br>There are two kinds of co-loca=
ted events: Conference-approved (no<br>proceedings) and SIGPLAN-approved (p=
roceedings in the ACM Digital<br>Library). See <a href=3D"http://www.sigpla=
n.org/Resources/Guidelines/Workshops/">http://www.sigplan.org/Resources/Gui=
delines/Workshops/</a><br>for more information, including a full listing of=
 prescriptions for<br>Conference-approved and SIGPLAN-approved workshops.<b=
r><br>SIGPLAN-approved workshops must respect the SIGPLAN Diversity Policy.=
<br>Proposals for SIGPLAN-approved workshops must additionally include the<=
br>gender, country of affiliation, and professional status of potential<br>=
PC members. See <a href=3D"https://www.sigplan.org/Resources/Policies/Diver=
sity/">https://www.sigplan.org/Resources/Policies/Diversity/</a><br>for mor=
e details.<br><br>---------------------------------------------------------=
------------<br><br>Selection committee<br><br>All submissions will be eval=
uated by a committee comprising the<br>workshops co-chairs, the general cha=
ir, and the program chair.<br><br>-----------------------------------------=
----------------------------<br><br>Further information<br><br>Any question=
s regarding POPL 2027 co-located event proposals should be<br>addressed to =
the workshops chairs, Aws Albarghouthi (<a href=3D"mailto:[email protected]">=
[email protected]</a>)<br>and Alan Schmitt (<a href=3D"mailto:alan.schmitt@in=
ria.fr">[email protected]</a>).</div></div></div></div>

--000000000000abd7010653ebe02a--