SPLASH 2022
Mon 5 - Sat 10 December 2022 Auckland, New Zealand

Following its long-standing tradition, SPLASH will host a variety of workshops, allowing their participants to meet and discuss research questions with peers, to mature new and exciting ideas, and to build up communities and start new collaborations. SPLASH workshops complement the main tracks of the conference and provide meetings in a smaller and more specialized setting.

Accepted Workshops

Title
Formal Techniques for Safety-Critical Systems (FTSCS)
Workshops
Link to publication
Human Aspects of Types and Reasoning Assistants (HATRA)
Workshops
Link to publication
Live Programming (LIVE)
Workshops
Link to publication
Programming Abstractions and Interactive Tools, Notations, and Environments (PAINT)
Workshops
Link to publication
Reactive and Event-Based Languages and Systems (REBLS)
Workshops
Link to publication
Sources of Unsoundness in Verification (Unsound)
Workshops
Link to publication
Virtual Machines and Language Implementations (VMIL)
Workshops
Link to publication

Call for 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.researchr.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, October 24, 2022 is the camera-ready deadline. Therefore, you should plan to notify the 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? Use the SPLASH Workshops contact form.