The Coq mailing list

[Michael Greenberg <michael.greenberg AT pomona.edu>]

          CALL FOR WORKSHOPS AND CO-LOCATED EVENTS

                           POPL 2021

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

                   POPL: 17-22 January 2021
          Affiliated Events: 17-19, 22 January 2021
                      Copenhagen, Denmark

                 http://popl21.sigplan.org

The 48th ACM SIGPLAN-SIGACT Symposium on Principles of Programming
Languages (POPL 2021) will be held in Copenhagen, Denmark.

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 2021. 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:      29 May 2020
 Notification of acceptance:   12 June 2020

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 (Covid-19 crises)

Proposals must be submitted in pdf form by email to the workshop chairs
Ruzica Piskac 
(ruzica.piskac AT yale.edu)
 and Jan Hoffmann 
(jhoffmann AT cmu.edu).

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

Effects of the Covid-19 crises

The planning for POPL 2021 is affected by the global covid-19 crises.
POPL will take place January 17-22, 2021, as a physical, virtual, or
hybrid physical/virtual meeting. Independent of how the situation
evolves, authors and other participants will have the choice to
participate in-person or remotely at POPL 2021.

The workshop proposals should describe plans for remote participation
and in particular indicate

- if the organizers are committing to opening the workshop to remote
  participation and

- whether the workshop will take place in the event that there will
  not be an in-person POPL.

Advice and resources for enabling remote participation are available at
https://www.acm.org/virtual-conferences .

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

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 2021 organizing committee, together with
the members of the SIGPLAN executive committee.


 Jan Hoffmann         Carnegie Mellon University    Workshops co-chair

 Ruzica Piskac        Yale University               Workshops co-chair

 Andreas Podelski     University of Freiburg        General chair

 Azadeh Farzan        University of Toronto         Program chair

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

Further information

Any query regarding POPL 2021 co-located event proposals should be
addressed to the workshops chairs Ruzica Piskac
(ruzica.piskac AT yale.edu)
 and Jan Hoffmann 
(jhoffmann AT cmu.edu).