[clean-list] Call for papers

[event at in.tu-clausthal.de]

------------------------------------------------------------------------
Event at CIG: To unsubscribe, read the info at the bottom of this message.
------------------------------------------------------------------------


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

------------------------------------------------------------------------
This e-mail was delivered to you by event at in.tu-clausthal.de, what is a
moderated list run by Computational Intelligence Group of Clausthal
University of Technology, Germany.  All event announcements sent through
this list are also listed in our conference planner at
http://cig.in.tu-clausthal.de/index.php?id=planner.
 
In the case of any requests, questions, or comments, do not hesitate and
contact event-owner at in.tu-clausthal.de ASAP.

If you want to unsubscribe from this list, please visit
http://www2.in.tu-clausthal.de/mailman/listinfo/event, or send an e-mail
with a subject unsubscribe to event-request at in.tu-clausthal.de. 
If you experience problems with your unsubscription, do not hesitate
and contact the list administrator at event-owner at in.tu-clausthal.de.

******************************************************
* CIG does not take any responsibility for validity  *
* of content of messages sent through this list.     *
******************************************************

Computational Intelligence Group
Department of Computer Science
Clausthal University of Technology
Germany
http://cig.in.tu-clausthal.de/