August 25
Aarhus, Denmark
Workshop contributions can be extended abstracts or short papers, including already published results. Details on the submission will follow. Accepted contributions will be invited for presentation at the workshop.
Accepted contributions will be published informally on the workshop page. After the workshop, a selection of the contributions will be invited to a special issue in the journal STTT.
Topics of interest include but are not limited to: