Seventh International Workshop
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).
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.
Access to the EasyChair site is now closed, except by prior arrangement.
Workshop email address: avocs07<AT>comlab.ox.ac.uk
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.
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: