New submission category: Tool demo paper

SPIN 2018 announces a new paper category: Tool demo paper

Submit 4 pages presenting the foundations, capabilities, application domains and relevant examples using the tools, with a clear description of what is expected to be shown in a live demonstration (plus an appendix explaining the content of the demo).

Submission deadline (Extended): April 3, 2018 (anywhere on Earth).

Papers should be submitted via the EasyChair SPIN 2018 submission website: