International Workshop on Automated Verification of Critical Systems

Logo for AVoCS
Next Workshop: Pisa, Italy, 26-29 September 2016


The aim of AVoCS 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 different techniques, or industrial case studies are encouraged.

The technical programme of the workshops consists of invited and contributed talks and also allows for short presentations of ongoing work. The workshops are relatively informal, with an emphasis on discussion.

With its format of preliminary proceedings as a technical reports, post-proceedings in an electronic journal plus a possible publication in a printed journal, AVoCS offers a unique opportunity to develop a research result from a workshop presentation to a proper journal publication.


Topics include: