Irina Mariuca Asavoae – Model Checking for Mobile Security
Klaus Havelund & Doron Peled – First order runtime verification
Radu Iosif – Separation Logic
The organization of SPIN 2018 will send the notification of acceptance tomorrow April 27, 2018.
Sorry for the inconveniences.
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:
Submission deadline (Extended) extended: April 3, 2018.
Authors are encouraged to upload a draft (containing at least the title and abstract) as soon as possible to make it easier the review process. New versions can be uploaded by the extended deadline.
Submit your paper via EasyChair:https://easychair.org/conferences/?conf=spin20180
The deadline submission is on 18th February. Please, remember:
- Full Research Papers are16 pages long plus references.
- Short Papers are 6 pages long plus references.
Papers should be submitted via the EasyChair SPIN 2018 submission website: https://easychair.org/conferences/?conf=spin20180