[isabelle] CFP: Workshop on Verified Software: Theories, Tools, and Experiments (VSTTE 2006)

Call for papers

Workshop on Verified Software: Theories, Tools, and Experiments (VSTTE 2006)

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 

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


| Claude Marché           | mailto:Claude.Marche at lri.fr |
| LRI - Bât. 490          | http://www.lri.fr/~marche/  |
| Université de Paris-Sud | phoneto: +33 1 69 15 64 85  |
| F-91405 ORSAY Cedex     | faxto: +33 1 69 15 65 86    |

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