Confirmed Invited Speakers

Irina Mariuca Asavoae – Model Checking for Mobile Security
Klaus Havelund & Doron Peled – First order runtime verification
Radu Iosif – Separation Logic

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: