Tuesday
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, ...). 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 in Oxford (2001), Birmingham (2002), Southampton (2003), London (2004), and Warwick (2005).
Invited Speakers:
* Byron Cook, Microsoft Research, Cambridge
* Oded Maler, VERIMAG, Grenoble