Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] POPL 2024: Call for Workshops and Co-located E...

Email Gateway (Jun 06 2023 at 18:33):

From: "Donaldson, Alastair F" <alastair.donaldson@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@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)

Last updated: Jan 04 2025 at 20:18 UTC