posted by user: wimmer || 5484 views || tracked by 25 users: [display]

SPIN 2014 : 21st International SPIN Symposium on Model Checking of Software

FacebookTwitterLinkedInGoogle

Link: http://spin2014.org/
 
When Jul 21, 2014 - Jul 23, 2014
Where San Jose, Bay Area, California
Submission Deadline Apr 11, 2014
Notification Due May 23, 2014
Categories    software engineering   formal methods   verification
 

Call For Papers

21st International Symposium on Model Checking Software - SPIN 2014
San Jose, CA, USA, July 21-23, 2014
http://spin2014.org/

SPIN 2014 is co-located with International Symposium on Software Testing and Analysis (ISSTA 2014). SPIN and ISSTA will hold joint sessions on July 23rd and ISSTA will continue until July 25. Reduced registration will be available for those attending all or part of both symposiums.
Aim and Scope:

The SPIN Symposium is a forum for practitioners and researchers interested in software verification and engineering. There are two tracks for paper submissions.

Software Verification Track: Theoretical techniques, novel algorithms and empirical evaluation for state-space exploration based techniques. We welcome submissions describing the development and application of state space exploration techniques in testing and verifying embedded software, mobile platforms, security-critical software, enterprise and web applications, and other interesting software platforms.
Software Engineering Track: Techniques and approaches that extend or leverage existing state-space exploration based techniques such as model checking and symbolic execution to assist in automating software engineering tasks such as design, implementation, analysis, testing, and maintenance of software systems.

Submission Guidelines:

SPIN 2014 invites high quality contributions describing significant, original, and unpublished results for submission in two categories:

Research papers describing fully developed work and complete results (10 pages)
Short papers describing tools, experience reports, descriptions of new ideas, or work in progress with preliminary results (4 pages)

The submitted papers should be in the ACM format. All accepted papers will be included in the proceedings and will appear in the ACM digital library. At least one author of each accepted paper must attend the symposium and present the paper.

Papers submitted to SPIN 2014 should not have been previously published and must not be under review for publication elsewhere. All papers that conform to submission guidelines will be peer-reviewed by members of the program committee. Submissions will be evaluated on the basis of originality, importance of contribution, soundness, evaluation, quality of presentation, and appropriate comparison to related work.
Important Dates:

Abstract Submission: March 7, 2014
Paper Submission: March 14, 2014
Author Notification: April 30, 2014
Camera-Ready Paper: May 9, 2014

Related Resources

MoDRE 2019   9th International Workshop on Model-Driven Requirements Engineering (MoDRE)
ACM-MLNLP-Ei/Scopus 2019   2019 2nd International Conference on Machine Learning and Natural Language Processing
EI-CMSME 2020   2020 3rd International Joint Conference on Materials Science and Mechanical Engineering (CMSME 2020)
ATVA 2019   International Symposium on Automated Technology for Verification and Analysis
CFIMA 2020-Ei Compendex & Scopus 2020   2020 International Conference on Frontiers of Intelligent Manufacturing and Automation (CFIMA 2020)
MODELSWARD 2020   8th International Conference on Model-Driven Engineering and Software Development
JPF 2019   Java Pathfinder Workshop 2019
ICST 2020   13th IEEE Conference on Software Testing, Validation and Verification
VECoS 2019   13th International Conference on Verification and Evaluation of Computer and Communication Systems
CIIS--Ei, Scopus 2019   2019 The 2nd International Conference on Computational Intelligence and Intelligent Systems (CIIS 2019)--Ei Compendex, Scopus