Eighth International Workshop
on Automated Verification
of Critical Systems

Glasgow, 30 September –1 October 2008


Programme Chairs

Programme Committee

Organising Committee



The aim of AVoCS 2008 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.

This year, techniques and studies of ubiquitous, and possibly mobile systems, either user-centred or sensor based, are particularly welcome.

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.

The Call for Papers is available in PDF format here.

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


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


Two types of contributions will be considered. In each case should be submitted in PDF format directly via email to the AVoCs '08 programme chairs avocs08<AT>dcs.gla.ac.uk.

Invited speakersNEW!

Programme NEW!

A provisional programme can be found here.


  • All papers will appear in the AVoCs pre-workshop proceedings, and selected papers will appear in the AVoCS 2007-2008 ENTCS post-workshop proceedings (see below).

Important dates

18 July: Paper submission deadline EXTENDED TO Tuesday 22nd July, 5pm
22 August: Acceptance notification
5 September: Papers revised for preliminary proceedings. Authors are advised that revised versions should be sent in pdf format, with no page numbers, maximum 15 pages.
NEW! (Having problem with page numbers? Check a quick fix here
15 - 22 September: Registration open. Note that the cost of registration is the same for all.
22 September: Registration deadline
30 September- 1 October:


Workshop email address: avocs08<AT>dcs.gla.ac.uk

AVoCS '08 Registration

Registration cost, including workshop dinner on Tuesday 30th September is £150 or £80 for students (subject to availability).

To register please complete the form to be downloaded and return with your payment to the address shown. For convenience we include the registration in Word format.


The workshop will be located at the Department of Computing Science at the University of Glasgow, Scotland


Links to local guest houses can be found via the University of Glasgow Hotel Booking Service. Alternatively we recommend the following reasonably priced local hotels:


Information for travelling to Glasgow can be found here.

The workshop will be held at the Sir Alwyn Williams Building, which is the new extension at the end of the terrace of buildings on Lilybank Gardens.
Lilybank Gardens is directly behind the "Hillhead" underground station.

An interactive map of the workshop location can be found here.

Conference Dinner

this will be at Stravaigin 2 in Ruthven Lane at 6.45pm. Ruthven Lane can be located using the interactive map here.