AVOCS 2013 - 13th Automated Verification of Critical Systems (AVOCS) 2013 Workshop

The aim of Automated Verification of Critical Systems (AVoCS) 2013 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, 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.
There will be a few studentships available in order to support PhD students who present a paper at the workshop.
Topics include (but are not limited to)
Model Checking
Automatic and Interactive Theorem Proving
SAT, SMT or Constraint Solving for Verification
Abstract Interpretation
Specification and Refinement
Requirements Capture and Analysis
Verification of Software and Hardware
Specification and Verification of Fault Tolerance and Resilience
Probabilistic and Real-Time Systems
Dependable Systems
Verified System Development
Industrial Applications
See http://www.avocs2013.org.uk for submission details
Program Committee
Phil Brooke (University of Teeside, UK)
Radu Calinescu (University of York, UK)
Alessandro Fantechi (University of Florence, Italy)
Michael Goldsmith (University of Oxford, UK)
Gudmund Grov (Heriot-Watt, Edinburgh, UK)
Anne Haxthausen (TU, Denmark)
Constance Heitmeyer (Naval Research Laboratory, US)
Thai Son Hoang (ETH, Zurich)
Cliff Jones (Newcastle University, UK)
Gerald Lüttgen (University of Bamberg, Germany)
Stephan Merz (INRIA Nancy & LORIA, France)
Jaco van de Pol (University of Twente, The Netherlands)
Kristin Yvonne Rozier, (NASA Ames Research Center, USA)
Markus Roggenbach (Swansea University, UK)
Marco Roveri (Fondazione Bruno Kessler, Italy)
Thomas Santen (Microsoft Research Aachen, Germany)
Steve Schneider (University of Surrey, UK, Co-Chair)
Helen Treharne (University of Surrey, UK, Co-Chair)
Laurent Voisin (Systerel, France)
Lijun Zhang (TU, Denmark)