The Coq mailing list

["Donaldson, Alastair F" <alastair.donaldson AT imperial.ac.uk>]

Dear all

Please find below the Call for Workshops and Co-located Events for the POPL 2024 conference, which is also here:

https://popl24.sigplan.org/track/POPL-2024-workshops-and-co-located-events

We would be grateful if you could help distribute this call among your networks.

Many thanks

Alastair Donaldson and John Wickerson

POPL 2024 Publicity Chairs

    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

          https://popl24.sigplan.org

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 AT sfu.ca) and Christoph Matheja (chmat AT 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)