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

Gudmund Grov ggrov at staffmail.ed.ac.uk
Thu Apr 15 12:16:49 EDT 2010

------ 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.

More information about the Haskell mailing list