The Coq mailing list

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

========================================================================

                             SPLASH 2023

                      Call for Workshops Proposal

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

             October 22-27, 2023, Cascais, Portugal

          https://2023.splashcon.org/track/splash-2023-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 submission process details how to achieve this for those interested.

Workshop applications will be considered until **March 15, 2022**, or until all slots are allocated. At least one of the workshop organizers must be present at the workshop **in person**. Similarly, for an accepted workshop paper, at least one author must be present at the workshop **in person** to present the paper.



## 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 **March 15, 2023**
- The deadline for paper/abstract submission for all workshops is **July 12, 2023**
- 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://2023.splashcon.org/createProposal/d5d4ee14-2926-48f5-963a-f4c0bdd4a854



## Organizing Committee


- Mehdi Bagherzadeh, Oakland University, USA
- Amin Alipour, University of Houston, USA