Verified Software:

Theories, Tools and Experiments

16th-19th August


Edinburgh, Scotland



In addition to the main conference, VSTTE will host two workshops on August 18th & 19th:

  1. VS-Theory (18th August) focuses on theoretical foundations of software verification. Topics range from the difficult and essential study of soundness of delicate proof methods, to the discovery of new specification techniques and proof methods, to dramatic simplification or unification of existing methods, to as yet unknown breakthroughs.

  2. VS-Tools & Experiments (19th August) focuses on the development of verification tools and their experimental evaluation. Possible topics include interfaces between tools, tool integration platforms, and case studies.

The workshops will provide a forum to present new, possibly unfinished work and will also give the opportunity to propose research challenges, which will help form a research agenda for the Verified Software Initiative.


Papers must be written in English using Springer LNCS style. The page limit is 10 pages for technical papers and 5 pages for proposals of verification challenges.  The proceedings will be published as a technical report.

Important Dates

May 21, 2010 May 28, 2010: Submission

June 25, 2010: Notification

July 23, 2010: Final version

August 18 & 19, 2010: Workshops


  1. VS-Theory is co-chaired by

         David Naumann, Stevens Institute of Technology, USA and

         Hongseok Yang, Queen Mary, University of London, UK

  1. VS-Tools & Experiments is co-chaired by

         Tiziana Margaria, University of Potsdam, Germany and

         Rajeev Joshi, NASA/JPL Laboratory for Reliable Software, USA