The final program of the workshop will include regular papers, tool papers, and work-in-progress presentations. The program will also contain invited talks, invited papers, and tutorials to be determined by the program committee.
Regular papers must contain original contributions, be clearly written, include appropriate references, and comparison with related work. They must be unpublished and not submitted simultaneously for publication elsewhere.
Tool papers have to present a new tool, a new tool component, or novel extensions to an existing tool. They should provide a short description of the theoretical foundations with relevant citations, emphasize the design and implementation, and give a clear account of the tool’s functionality. The described tools must be publicly available via the web.
Work-in-progress papers present early-stage work or other types of innovative or thought-provoking work related to the topics of the workshop. The difference between work-in-progress and regular papers is that work-in-progress submissions represent work that has not reached yet a level of completion that would warrant the full refereed selection process. We encourage researchers and practitioners to submit work-in-progress papers as this provides a unique opportunity for sharing valuable ideas, eliciting useful feedback on ongoing work, and fostering discussions and collaborations among colleagues.
All submissions should be formatted according to the guidelines for Springer LNCS papers, and should be submitted electronically using EasyChair. Papers should be submitted electronically as a PDF file via the Easychair system at
Regular and work-in-progress papers should not exceed 15 pages including references. Tool papers can have a maximum of 6 pages including references and may have an appendix of up to 4 additional pages with usage details and tool demonstration.