posted by user: jyotirmoy || 1776 views || tracked by 6 users: [display]

VSTTE 2015 : Verified Software: Theories, Tools, and Experiments

FacebookTwitterLinkedInGoogle


Conference Series : Verified Software: Theories, Tools, Experiments
 
Link: https://sites.google.com/site/vstte2015/
 
When Jul 18, 2015 - Jul 19, 2015
Where San Francisco
Abstract Registration Due Apr 27, 2015
Submission Deadline May 4, 2015
Notification Due Dec 8, 2014
Final Version Due Aug 28, 2015
 

Call For Papers

The Seventh IFIP Working Conference on Verified Software: Theories, Tools, and Experiments follows a successful inaugural working conference at Zurich in 2005 followed by conferences in Toronto (2008), Edinburgh (2010), and Philadelphia (2012). The goal of this conference is to advance the state of the art in the science and technology of software verification, through the interaction of theory development, tool evolution, and experimental validation.

Scope: We welcome submissions describing significant advances in the production of verified software, i.e., software that has been proved to meet its functional specifications. We are especially interested
in submissions describing large-scale verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge. We welcome papers describing novel experiments and case studies evaluating verification techniques and technologies. Topics of interest include education, requirements modeling, specification languages, specification/verification case-studies, formal calculi, software design methods, automatic code generation, refinement methodologies, compositional analysis, verification tools (e.g., static analysis, dynamic analysis, model checking, theorem proving, satisfiability), tool integration, benchmarks, challenge problems, and integrated verification environments.

Submission: We are accepting both long (limited to 20 pages) and short (limited to 12 pages) paper submissions. Short submissions also cover Verification Pearls describing an elegant proof or proof technique. Submitted research papers and system descriptions must be original and not submitted for publication elsewhere. Research paper submissions must be in LNCS format and must include a cogent and self-contained description of the ideas, methods, results, and comparison to existing work. Submissions of theoretical, practical, and experimental contributions are equally encouraged, including those that focus on specific problems or problem domains.

Papers can be submitted at http://www.easychair.org/conferences/?conf=vstte2015.
Submissions that arrive late, are not in the proper format, or are too long will not be considered. The post-conference proceedings of VSTTE 2013 will be published by Springer-Verlag in the LNCS series. Authors of accepted papers will be requested to sign a form transferring copyright of their contribution to Springer-Verlag. The use of LaTeX and the Springer llncs class files, obtainable from http://www.springer.de/comp/lncs/authors.html, is strongly encouraged.

Related Resources

TLT 2019   17th International Workshop on Treebanks and Linguistic Theories
TACAS 2019   International Conference on Tools and Algorithms for the Construction and Analysis of Systems
VALUETOOLS 2019   12th EAI International Conference on Performance Evaluation Methodologies and Tools
ALENEX 2019   SIAM Algorithm & Experiments
ECBS 2019   Engineering of Computer-Based Systems
COMPUTATION TOOLS 2019   The Tenth International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking
TOOLS 2019   Technology of Object-Oriented Languages and Systems
BAWAVNC@ITNG 2019   Special track on Biostatistical Analysis, Wavelet Analysis, and Verified Numerical Computations(BAWAVNC) at the ITNG 2019
RCoSE/DDrEE 2019   Joint 4th International Workshop on Rapid Continuous Software Engineering and 1st International Workshop on Data-Driven Decisions, Experimentation and Evolution
IEEE ICC 2019 workshop 5G-Trials 2019   IEEE ICC 2019 workshop 5G-Trials – From 5G Experiments to Business Validation