The Coq mailing list

["Gaboardi, Marco" <gaboardi AT buffalo.edu>]

            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

                  http://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. Events can either be sponsored by SIGPLAN
(http://acm.org/sigplan/) or supported through in-cooperation status.

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:   5 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 AT buffalo.edu).

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

Sponsorship vs in-cooperation status

Events can either be sponsored by SIGPLAN (http://acm.org/sigplan/) 
or supported through in-cooperation status.
Sponsored workshops are required to produce a final report after the
workshop has taken place that is suitable for publication in SIGPLAN
Notices. Further information about SIGPLAN sponsorship and
in-cooperation status of workshops is available here:

   http://www.sigplan.org/Resources/Proposals/Cooperated
   http://www.sigplan.org/Resources/Proposals/Sponsored

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

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

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

Further information

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