------------------------------------------------------------------------
[EMAIL PROTECTED]: 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 [EMAIL PROTECTED], 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 [EMAIL PROTECTED] 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 [EMAIL PROTECTED]
If you experience problems with your unsubscription, do not hesitate
and contact the list administrator at [EMAIL PROTECTED]
******************************************************
* 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/
_________________________________________________________________________________
mozart-users mailing list
[email protected]
http://www.mozart-oz.org/mailman/listinfo/mozart-users
