Seventh International Workshop
on Automated Verification
of Critical Systems

Oxford, 10–12 September 2007


Programme Chairs

Programme Committee

Organising Committee




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

Since AVoCS is returning to its origin in Oxford, where it developed out of a series of informal workshops based around CSP, we hope to receive a number of submissions this year relating to CSP, its tools and applications. Papers based on other formalisms are also very welcome, of course.

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), 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

Invited speakers

Programme NEW!

The programme can be found as a PDF document here. The running order is now fixed to meet notified scheduling constraints, modulo any last-minute changes.


Preliminary proceedings will be available at the workshop. These will include preliminary versions of regular papers and abstracts of short presentations. After the workshop, authors of regular papers will be asked to prepare a final version for proceedings in Electronic Notes in Theoretical Computer Science.

We have preliminary agreement that the workshop will give rise to a special issue of Formal Aspects of Computing.

Submission of Papers

Access to the EasyChair site is now closed, except by prior arrangement.

Important dates

9 July: Submission deadline for regular papers
13 July: Submission deadline for short submissions
31 July: Acceptance notification
14 August: Updated papers for printed proceedings
17 August: Last day for early registration
17 August: Deadline for student support requests
31 August: Final deadline for registration
10–12 September: Workshop


Workshop email address: avocs07<AT>comlab.ox.ac.uk

AVoCS '07 Registration

To register please complete the form to be downloaded and return with your payment to the address shown. On-line payment by credit card is possible at the Computing Laboratory shop; please enter your individual order number from the confirmation email on the form, which can then be e-mailed or faxed.

There is a limited budget for support of student registration and travel; please make applications for amounts up to £150 by email to the conference address avocs07<AT>comlab.ox.ac.uk before 17 August, when decisions will be made.

Venue & Travel Information


The workshop will be located at the Oxford University Computing Laboratory in Oxford, England

Click here for location and travel information


Accommodation will be available in Worcester College, less than ten minutes walk from the Computing Laboratory and where the Conference Dinner will also be held. This will be in modern, comfortable single study-bedrooms with en-suite facilities, and can be booked in the "shop" or on the conference registration form (see the links above).

Alternatively there are several hotels and guest houses reasonably local to the venue: a fairly comprehensive list can be found here under "Where to stay"; please book directly with the hotel if you prefer this option. Both the Galaxie and the Linton Lodge have arranged special rates with the Computing Laboratory; mention "Oxford University Computing Laboratory" when booking.


We are extremely grateful to the following for their financial and logistical support for this conference: