24-26 September 2014

University of Twente, Enschede

14th International Workshop on Automated Verification of Critical Systems

AVoCS 2014

The 14th International Workshop on Automated Verification of Critical Systems will take place at the University of Twente in Enschede, the Netherlands. The preliminary introduction by Jaco van de Pol from the last year's AVoCS is available here.

The workshop will run from Wednesday 24th September morning to lunchtime on Friday 26th September 2014.

AVoCS 2014 is coorganised and colocated with SPES_XT Summer School on Model-based design and analysis of cyber-physical systems. A registration reduction is offered for participants attending both events.

Workshop Photo

The AVoCS 2014 workshop is now concluded, the picture with the participants is available here.

Workshop Pre-proceedings Available

The AVoCS 2014 pre-proceedings are now available, you can download them here.

Deadline Extension

Note that the deadlines for AVoCS abstract and paper submission have been extended, the abstracts are due June 23rd, the deadline for the papers is June 30th.


The AVoCS Workshop sponsors are:

About AVoCS

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, SAT/SMT constraint solving, abstract interpretation, and refinement pertaining to various types of critical systems which need to meet stringent dependability requirements (safety-critical, security-critical, business-critical, performance-critical, etc.). Contributions that describe different techniques, or industrial case studies are encouraged. The technical programme 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 Editions

Below are links to the last five editions of AVoCS: