[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] CFP: VSTTE workshops on Theory and on Experiments & Tools

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

	VSTTE 2010: Workshops on Theories, Tools and Experiments
	        Edinburgh, Scotland, 19th August 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:

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 21, 2010
Notification:  June 25, 2010
Final version: July 23, 2010
Workshops:     August 19, 2010, 9am-1pm

* 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

The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.