[TYPES/announce] EXTENDED DEADLINE: VSTTE workshops on Theory and on Experiments & Tools

[David Naumann]

------ Apologies for multiple copies ------

 	VSTTE 2010: Workshops on Theories, Tools and Experiments
 	        Edinburgh, Scotland, 19th August 2010

       (*** NEW SUBMISSION DEADLINE:  May 28, 2010 *****)

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. VSTTE will host two workshops:

* VS-Theory 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.

* VS-Tools & Experiments focuses on the development of verification
tools and their experimental evaluation. 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. For further details, see the workshop web site:
http://www.macs.hw.ac.uk/vstte10/Workshops.html

Submissions
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. Details on the submission process
are available at http://www.macs.hw.ac.uk/vstte10/Workshops.html.

Important Dates
Submission:    May 28, 2010
Notification:  June 25, 2010
Final version: July 23, 2010
Workshops:     August 19, 2010, 9am-1pm

Chairs
* VS-Theory is co-chaired by
David Naumann, Stevens Institute of Technology, USA and
Hongseok Yang, Queen Mary, University of London, UK

* VS-Tools & Experiments is co-chaired by
Tiziana Margaria, University of Potsdam, Germany and
Rajeev Joshi, NASA/JPL Laboratory for Reliable Software, USA