Submitted papers must be in English, presenting original work. They must be unpublished and not submitted for publication elsewhere.
All submissions must be in English, adhere to the EPTCS formatting style and are limited to 12 pages (not counting bibliography and appendices), but shorter extended abstracts are welcome.
Tool papers should provide the URL of the tool (if available) and illustrate the maturity and robustness of the tool. They must also comprise an appendix of reasonable length (roughly 6 pages, although minor deviations will be tolerated, if necessary) with the description of the demonstration, including screenshots. As usual, appendices will be used for evaluation purposes only and will not be included for publication.
Contributions must be submitted electronically in PDF through the EasyChair author interface:
Submissions not adhering to the specified format and length may be rejected immediately.
Lightweight double-blind policy
All submitted papers will be reviewed by at least three independent reviewers under a lightweight double-blind policy. The authors would be expected to invest reasonable effort into concealing their identities. However, the main goal is to allow for unbiased review: anonymisation should not affect the quality of submissions, nor in any way hamper their evaluation. In particular, references to technical reports, case study models or tool distributions are acceptable and should be provided where necessary.