The Coq mailing list

[Andreea Costea <andreeac AT comp.nus.edu.sg>]

========================================================================
                             SPLASH 2022
                         Call for Workshops

The ACM Conference on Systems, Programming, Languages, and Applications:
                       Software for Humanity

             December 5-10, 2022, Auckland, New Zealand

          https://2022.splashcon.org/track/splash-2022-Workshops
========================================================================

We encourage proposals for workshops on any topic relevant to SPLASH. If 
there is a topic that you feel passionate about, and want to connect 
with others who have similar interests, submit a workshop proposal! We 
more than welcome new, and unconventional ideas for workshop formats. 
The following suggestions are a starting point:

- Conference-style workshops allow participants to present their work to 
other domain experts. The smaller and more focused setting of a workshop 
allows for Q&A sessions and facilitates discussions. Presentations of 
work-in-progress are welcome.
- Retreats act as a platform for experts to gather to tackle issues of a 
predetermined research agenda. Retreats are highly interactive and 
goal-oriented, allowing participants to address open challenges, explore 
new and uncharted ideas.
- Agenda-setting workshops provide a forum for experts to determine a 
research agenda for a sub-field.
- Other common activities at workshops include poster sessions, hands-on 
practical work, and focus groups.

Workshops that include the presentation of research papers and that 
implement a SIGPLAN-approved selection process may archive proceedings 
in the ACM Digital Library. The workshop chairs will provide advice on 
achieving this for those interested. Workshop applications will be 
considered until **May 01, 2022**, or until all slots are allocated. We 
will also entertain requests for workshops to be held in remote or 
hybrid modes.

## Workshop Proposal Submission

Visit the submission link for the workshop proposal form and for more 
information on requirements and the evaluation process. To submit a 
workshop proposal, you will need to login to http://conf.research.org.

## Important Deadlines

- The deadline for proposal submission for all workshops is **May  01, 
2022**
- The deadline for paper/abstract submission for all workshops is 
**September  01, 2022**
- The early registration deadline for SPLASH is **TBD**. Before the 
SPLASH early registration deadline, all workshops must a) send out 
accept/reject notifications, and b) publish a draft schedule on the 
SPLASH website.

For workshops with proceedings published in the ACM Digital Library, 
**TBD** is the camera-ready deadline. Therefore, you should plan to 
notify authors several days before this date, so that they have time for 
revisions.

**TBD** dates will be announced as soon as the SPLASH dates they are 
dependent on are decided.

## Questions

Please [email the workshop co-chairs](mailto:workshops AT splashcon.org) 
with any questions.

## Submission Link

https://bit.ly/splash2022w

## Organizing Committee

- Mehdi Bagherzadeh, Oakland University, USA
- Raffi Khatchadourian, CUNY Hunter College, USA