[isabelle] 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.

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.