SPIN 2014 - International SPIN Symposium on Model Checking of Software

Organizers are invited to submit proposals for full-day and half-day workshop on topics related to software testing and analysis. Proposals should include a description of the theme and scope of the workshop, including its relevance to the field of software testing and analysis. The proposal should also provide information about the intended number of participants, the workshop format and the background of the organizers (including relevant past experience on organizing workshops). Proposals may be up to 2 pages in ACM conference format.
Tool Demonstrations
This track provides an opportunity for researchers, educators, practitioners, and software tool vendors to present their experiences, challenges, and solutions in software analysis and testing using live presentations of new tools and prototypes as well as interactive results and data sets. We invite new and innovative research tool demonstrations that show early implementations of research concepts as well as mature prototypes and tools demonstrating advances in usability, scalability, and applicability to new problem domains. Visit Tool Demonstrations page for additional information.