POPL 2024
Sun 14 - Sat 20 January 2024 London, United Kingdom

Call for Workshops and Co-located Events


                    POPL 2024

      51st ACM SIGPLAN-SIGACT  Symposium on
      Principles of Programming Languages

         Sun 14 - Sat 20, January 2024
            London, United Kingdom


The 51st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2024) will be held in London, United Kingdom

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.

Proposals are invited for workshops and other events to be co-located with POPL 2024. All co-located events are sponsored by SIGPLAN (http://acm.org/sigplan/).

Workshops should be more informal and focused than POPL itself, 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 2023 Notification for acceptance: 1 August 2023

A workshop proposal should provide the following information:

  • Name of the workshop.
  • 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.
  • A short description (150-200 words) of the topic.
  • 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

Proposals must be submitted in pdf form by email with the subject POPL 2024 Workshop Proposal: <workshop name>, to the workshop co-chairs: Anders Miltner (miltner@sfu.ca) and Christoph Matheja (chmat@dtu.dk).

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 following members of the POPL 2024 organizing committee, together with the members of the SIGPLAN executive committee.

Workshops co-chairs: Anders Miltner (Simon Fraser University) and Christoph Matheja (Technical University of Denmark)

General chair: Philippa Gardner (Imperial College London) Program chair: Derek Dreyer (MPI-SWS)