[Caml-list] POPL 2026 Call for Workshops

[Caml-list] POPL 2026 Call for Workshops

[Ningning Xie]

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

The 53rd ACM SIGPLAN Symposium on Principles of Programming Languages (POPL
2026) will be held in Rennes, France. POPL provides a forum for the
discussion
of fundamental principles and important innovations in the design,
definition,
analysis, transformation, implementation and verification of programming
languages, programming systems, and programming abstractions. Events
focusing on
experimental and theoretical topics are welcome.

We invite proposals for workshops and other events to be co-located with
POPL 2026. All co-located events are sponsored by SIGPLAN
(http://acm.org/sigplan/).

Workshops should be more informal and focused than POPL itself, and include
sessions that enable interaction among the workshop attendees. The
preference is
for one-day workshops, but other schedules can also be considered.

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

Submission details

Deadline for submission: 25 July 2025

Notification of acceptance: 1 August 2025

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://popl26.sigplan.org/track/POPL-2026-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 2026 co-located event proposals should be
addressed
to the workshops chairs, Robert Rand (rand@uchicago.edu) and Alan Schmitt
(alan.schmitt@inria.fr).

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