VSTTE: Verified Software: Theories, Tools, Experiments



Past:   Proceedings on DBLP

Future:  Post a CFP for 2017 or later   |   Invite the Organizers Email


All CFPs on WikiCFP

Event When Where Deadline
VSTTE 2016 Verified Software: Theories, Tools, Experiments
Jul 17, 2016 - Jul 18, 2016 Toronto, Canada May 2, 2016 (Apr 25, 2016)
VSTTE 2015 Verified Software: Theories, Tools, and Experiments
Jul 18, 2015 - Jul 19, 2015 San Francisco May 4, 2015 (Apr 27, 2015)
VSTTE 2013 Verified Software: Theories, Tools, and Experiments
May 17, 2013 - May 19, 2013 Atherton, CA Mar 1, 2013 (Feb 22, 2013)
VSTTE 2012 Verified Software: Theories, Tools and Experiments
Jan 28, 2012 - Jan 29, 2012 Philadelphia, USA Aug 31, 2011

Present CFP : 2016


The Eighth 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), Philadelphia (2012), Atherton (2013), Vienna (2014) and San Francisco (2015). 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.

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 and 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/certification 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.

Paper Submissions

Papers will be evaluated by at least three members of the Program Committee. We are accepting both long (limited to 16 pages) and short (limited to 10 pages) paper submissions, written in English. 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 should be submitted through: https://www.easychair.org/conferences/?conf=vstte2016.

Submissions that arrive late, are not in the proper format, or are too long will not be considered. The post-conference proceedings of VSTTE 2016 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 LNCS class files, obtainable from http://www.springer.de/comp/lncs/authors.html, is strongly encouraged.


Accepted papers will be published as post-Proceedings, to appear in Springer's Lectures Notes in Computer Science.

Important Dates

Abstract submission: April 25, 2016 (firm)
Full paper submission: May 2, 2016
Notification: June 6, 2016
Camera-ready: August 28, 2016

General Chair: Temeghen Kahsai (NASA)
Program Chairs: Marsha Chechik (Toronto) and Sandrine Blazy (Rennes)
Program Committee:

Sandrine Blazy (Rennes, France) Co-Chair
Marsha Chechik (Univ. of Toronto, Canada) Co-Chair
Ernie Cohen (Amazon, USA)
Temeghen Kahsai (NASA Ames, USA)
Natarajan Shankar (SRI, USA)
Arie Gurfinkel (SEI, USA)
Rustan Leino (Microsoft, USA)
Natasha Sharygina (Lugano, Switzerland)
Jean-Christophe Filliâtre (Univ. Paris-Sud, France)
Tiziana Margaria (Lero, Ireland)
Vijay Ganesh (Univ. of Waterloo, Canada)
Bill Harris (Georgia Tech, USA)
Nadia Polikarpova (MIT, USA)
Kristin Yvonne Rozier (University of Cincinnati, USA)
Richard Trefler (Univ. of Waterloo, Canada)
Mike Whalen (Univ. Minnessota, USA)
June Andronick (NICTA, Australia)
Frédéric Besson (INRIA, France)
Nikolaj Bjorner (Microsoft, USA)
Vladimir Klebanov (Karlsruhe Institute of Technology, Germany)
David Naumann (Stevens Institute of Technology, USA)
Deepak D'Souza (Indian Institute of Science, Bangalore, India)
Naijun Zhan (Chineese Academy of Sciences, China)

Related Resources

TLT 2017   15th International Workshop on Treebanks and Linguistic Theories
IJBES 2017   International journal of Biomedical Engineering and Science
ALENEX 2017   Algorithm Engineering and Experiments
ICALP 2017   44th International Colloquium on Automata, Languages, and Programming
TMPA 2017   4th International Conference on Tools and Methods for Program Analysis
CMVIT 2017   2017 International Conference on Machine Vision and Information Technology (CMVIT 2017)--IEEE(CPS)-Final Call !
PDP 2017   The 25th Euromicro International Conference on Parallel, Distributed and Network-Based Processing
ICFEM 2017   19th International Conference on Formal Engineering Methods
SOMET 2017   The 16th International Conference on Intelligent Software Methodologies, Tools, and Techniques
BIOEJ 2017   Bioscience & Engineering: An International Journal