Email Gateway (Aug 17 2022 at 14:43): Email Gateway (Aug 17 2022 at 14:43):From: Claude Marche <marche@lri.fr>
Call for papers
Workshop on Verified Software: Theories, Tools, and Experiments (VSTTE 2006)
http://research.microsoft.com/~leino/vstte2006/
This one-day FLoC 2006 workshop on Verified Software continues the
discussion initiated at the IFIP Working Conference on Verified Software
in Zurich, Switzerland. Consisting of contributed papers and invited
talks, the workshop will focus on the development of systematic methods
for specifying, building, and verifying high-quality software. This
includes topics like:
* Program logic
* Specification and verification techniques
* Design methodologies
* Automated verification tools
* Tool integration
* Achieving scale and automation in formal verification
* Experimental studies
* Benchmark applications and challenges
* Tool and benchmark repositories
The contributed papers, which should report on previously unpublished
work, can reflect current and preliminary work in areas of software
verification. New technical results, overviews of new developments in
software verification projects, short papers accompanying tool
demonstrations, as well as position papers on how to further advance the
goal of verified software are all welcome. The papers can be up to 8
pages in length (in any reasonable format). Papers are submitted at
http://www.easychair.org/VSTTE2006/.
The workshop registration and submission process is open to everyone.
Important dates
* Submission deadline: 19 May 2006
* Notification of acceptance: 9 June 2006
* Final version due: 7 July 2006
* Day of workshop: 22 August 2006
Proceedings of the workshop will be published as a Microsoft Research
technical report.
Program committee
* Marieke Huisman, INRIA Sophia Antipolis, France
* K. Rustan M. Leino (co-chair), Microsoft Research, USA
* Claude Marché, Université Paris-Sud, France
* Wolfgang J. Paul, Saarland University, Germany
* Wolfram Schulte (co-chair), Microsoft Research, USA
* Cesare Tinelli, University of Iowa, USA
* Arnaud Venet, Kestrel Technologies, USA
Last updated: Nov 21 2024 at 12:39 UTC