POPL 2018
Sun 7 - Sat 13 January 2018 Los Angeles, California, United States
POPL 2018 (series) /

WorkshopsPOPL 2018

Call for Workshops and co-located Events

                         POPL 2018

           45th ACM SIGPLAN-SIGACT  Symposium on
            Principles of Programming Languages

                 POPL: 8-13 January 2018
         Affiliated Events: 8-9, 13 January 2018
                      Los Angeles, USA

                  https://popl18.sigplan.org

The 45th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2018) will be held in Los Angeles, USA.

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 2018. 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, and be fairly low cost. The preference is for one-day workshops, but other schedules can also be considered.

Submission details

Deadline for submission: 15 May 2017
Notification of acceptance: 1 June 2017

A workshop proposal should provide the following information.

  • Name of the workshop.
  • Duration of the workshop.
  • 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.
  • History of the workshop.

Proposal must be submitted in pdf or txt form by email to the workshop chair Marco Gaboardi ( gaboardi@buffalo.edu ).

SIGPLAN Sponsorship

POPL Co-located Events are sponsored by SIGPLAN (http://acm.org/sigplan/). There are two kind of Co-located Events:

  1. Conference-approved:
    • A conference-approved workshop is organized under the aegis of a SIGPLAN host conference.
    • Accepted submissions are not published in any way, and not lodged in the ACM Digital Library.
    • A conference-approved workshop may not use the SIGPLAN name or logo. It may, however, use the name of the host conference.
  2. SIGPLAN-approved:
    • A SIGPLAN-approved workshop has a call for submissions and a submission deadline.
    • Submissions are evaluated by a Programme Committee, and thus subject to peer review.
    • The Programme Committee respects the SIGPLAN Diversity Policy.
    • The proposal for a SIGPLAN-approved workshop, including the composition of the Programme Committee, is approved by the SIGPLAN Executive Committee.
    • If there is a proceedings of any kind, the proceedings must be lodged in the ACM Digital Library, and the papers in it are considered published.

See http://www.sigplan.org/Resources/Guidelines/Workshops/ for more information.

Selection committee

All submissions will be evaluated by a committee comprising the following members of the POPL 2018 organizing committee, together with the members of the SIGPLAN executive committee.

  • Marco Gaboardi, University at Buffalo, SUNY, Workshops chair
  • Ranjit Jhala, University of California, San Diego, General chair
  • Andrew Myers, Cornell University, Program chair
  • Peter Thiemann, Freiburg University, SIGPLAN vice-chair

Further information

Any queries regarding POPL 2018 co-located event proposals should be addressed to the workshops chair, Marco Gaboardi ( gaboardi@buffalo.edu ).

Selection Committee