Sixth International Workshop on Automated Verification of Critical Systems

Scope

The aim of AVoCS 2006 is to contribute to the interaction and exchange of ideas among members of the international research community on tools and techniques for the verification of critical systems. The subject is to be interpreted broadly and inclusively. It covers all aspects of automated verification, including model checking, theorem proving, abstract interpretation, and refinement pertaining to various types of critical systems (safety-critical, security-critical, business-critical, performance-critical, etc.). Contributions that describe combinations of different techniques, and industrial case studies are particularly welcome.

The technical program will consist of invited and contributed talks and also allow for short presentations of ongoing work. The workshop will be relatively informal, with an emphasis on discussion.

Previous AVoCS workshops were held at the University of Oxford (2001), the University of Birmingham (2002), the University of Southampton (2003), the Royal Society in London (2004), and the University of Warwick (2005).

Topics

Topics include:

• Model Checking
• Automatic and Interactive Theorem Proving
• Abstract Interpretation
• Specification and Refinement
• Requirements Capture and Analysis
• Verification of Software and Hardware
• Verification of Security-Critical Systems
• Probabilistic and Real-Time Systems
• Verified System Development
• Industrial Applications

Invited speakers

• Byron Cook (Microsoft Research)
• Oded Maler (Grenoble)
• Bill Roscoe (Oxford)

Important dates

June 2: Submission deadline for abstracts of regular papers
June 9: Extended submission deadline for regular papers
July 15: Acceptance notification
July 28: Updated regular papers for printed proceedings
August 4: Extended submission deadline for short presentations
31 August: Early registration fees !!!!
12 September: Deadline for registration
18-19 September: Workshop