VSTTE’10
Verified Software:
Theories, Tools and Experiments
VSTTE’10
Verified Software:
Theories, Tools and Experiments
16th-19th August
2010
Edinburgh, Scotland
The TOOLS & EXPERIMENTS Workshop at VSTTE 2010
Scope
The Third International Conference on Verified Software: Theories, Tools, and Experiments (VSTTE) is part of the Verified Software Initiative (VSI), a fifteen-year, cooperative, international project directed at the scientific challenges of large-scale software verification.
The VSTTE workshop on Tools & Experiments focuses on the development of verification tools and their experimental evaluation. The workshop 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.
Call for papers
VS-TOOLS & EXPERIMENTS 2010 invites submissions of technical papers of up to 10 pages (LNCS format) related to software verification in a broad sense. This includes research on the development of program verifiers, model checkers, static analyzers, theorem provers, testing tools, and other tools related to the goals of VSI, as well as tool integration and experiments and case studies on the specifications and verification of software. This list of topics is indicative, and is explicitly intended to be non-exhaustive.
In addition to technical papers we welcome challenge papers, up to 5 pages, that pose specific or general problems in tools and experiments that pertain to VSI. Such submissions should have the word "challenge" in their title.
Accepted papers will be made available online as an informal proceedings, but there will be no formal proceedings so publication elsewhere is not precluded.
Papers should be submitted via Easychair.
Important Dates
Submission deadline: 21 May 28 May
Notification of acceptance: 25 June
Final versions due: 23 July
Workshop: 19 August
Location
The TOOLS & EXPERIMENTS Workshop is part of VSTTE 2010 which will take place in Edinburgh.
Program committee
Leo Freitas, U. York
Rajeev Joshi, NASA/JPL Laboratory for Reliable Software (co-chair)
Moonzoo Kim, Korea Advanced Institute of Science and Technology
Joe Kiniry, IT Uni of Copenhagen
Daniel Kroening, Oxford
Tiziana Margaria, University of Potsdam (co-chair)
Thomas Santen, Microsoft
Gerhard Schellhorn, Uni Augsburg
Bernhard Steffen, Uni Dortmund