[Agda] POPL 2025: Final Call for Workshops and Co-located Events (July 26 AOE)

Ningning Xie xnningxie at gmail.com
Fri Jul 19 22:07:44 CEST 2024


FINAL CALL FOR WORKSHOPS AND CO-LOCATED EVENTS

                    POPL 2025

      52nd ACM SIGPLAN-SIGACT  Symposium on
      Principles of Programming Languages

         Sun 19 - Sat 25, January 2025
           Denver, Colorado, United States

          https://popl25.sigplan.org

The 52nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming
Languages (POPL 2025) will be held in Denver, Colorado, United States.

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 2025. 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: 26 July 2024

Notification of acceptance: 2 August 2024

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 2025
Workshop Proposal: [workshop name], to the workshop co-chairs: Christoph
Matheja (chmat at dtu.dk) and Robert Rand (rand at uchicago.edu).

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

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 2025 co-located event proposals should be
addressed to the workshops chairs Christoph Matheja (chmat at dtu.dk) and
Robert Rand (rand at uchicago.edu).
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20240719/3cf0df17/attachment.html>


More information about the Agda mailing list