The Coq mailing list

["William J. Bowman" <wjb AT williamjbowman.com>]

Please distribute widely:

# Call for Workshops and Tutorials

PLDI 2022 is a world-class forum for researchers and practitioners in 
programming language design and implementation. As in previous years, PLDI is 
soliciting proposals for co-located workshops and tutorials that will take 
place on Monday June 20th, and Tuesday June 21st. Please propose your 
workshop or tutorial via the submission system.

The following details will be asked on submission:

* Name of the workshop/tutorial.
* Duration of the workshop/tutorial.
* Organizers: names, affiliation, contact information, brief (100 words) 
biography.
* A short description (150-200 words) of the topic.
* Event format: workshop/tutorial; type of submissions, if any; review 
process; results dissemination.
* Expected attendance and target audience within the PLDI community.
* How you plan to foster an inclusive environment and promote a diverse 
attendance.
* Information on any previous iterations of the workshop or tutorial.

*Note:* Workshops must make their own acceptance decisions by April 21, 2022 
if there will be proceedings (final versions due May 5, 2022), or May 5, 2022.

## Submission
Submission site: 
https://pldi22.sigplan.org/createProposal/d625158d-7188-4844-88cd-9bf71182aa9a

Workshops that would like their proceedings included in the ACM Digital 
Library must submit a proposal by November 18, 2021.

Workshops and tutorials that will have no formal proceedings should submit a 
proposal by November 30, 2021.

## Review

Proposals are reviewed by the Workshop and Tutorials Chairs, and if 
necessary, by the PLDI general chair.

* Proposals will be evaluated according to the relevance of the topic, the 
expertise and experience of the workshop organizers, and their potential to 
attract participants.
* Proposals submitted between November 18th and 30th will be evaluated on a 
first-come-first-served basis.

## Notification

We will notify workshop/tutorial acceptance by December 9th.

## Timeline

Submission deadline (with proceedings): November 18

Submission deadline (no proceedings): November 30

Notification: December 9

## Dissemination

A proposal should clearly state how the results of the workshop — i.e., 
published papers and other outcomes — will be made available to participants 
and others before and after the workshop event. The Workshops and Tutorials 
Chair will provide guidance to the organizers of accepted workshops that wish 
to publish proceedings in the ACM Digital Library. For those that choose to 
publish their papers in ACM Digital Library, please add the following text in 
the workshop call for papers and on the website:

*AUTHORS TAKE NOTE:* The official publication date is the date the 
proceedings are made available in the ACM Digital Library. This date may be 
up to two weeks prior to the first day of your conference. The official 
publication date affects the deadline for any patent filings related to 
published work. (For those rare conferences whose proceedings are published 
in the ACM Digital Library after the conference is over, the official 
publication date remains the first day of the conference.)

Workshops that elect to publish proceedings can do so in the ACM Digital 
Library with sponsoring by SIGPLAN. The application for SIGPLAN sponsorship 
includes reviewing the proposed program committee with the SIGPLAN Executive 
Committee, a process which the chairs will help facilitate.

## Workshop Co-Chairs
- Nadia Polikarpova, U. of California at San Diego
- Alexandra Silva, U. College London