- Sadie Creese
(Warwick Digital Lab, UK)
(Naval Research Laboratory, USA)
(St Andrews, UK)
- Stephan Merz
(Imperial College, UK)
(Wales Swansea, UK)
(Imperial College, UK)
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
This year, techniques and studies of ubiquitous, and possibly
mobile systems, either user-centred or sensor based, are
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
Previous AVoCS workshops were held at the University of Oxford
the University of Birmingham
the University of Southampton
the Royal Society in London
the University of Warwick
and LORIA, Nancy
- 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.
- Regular papers
- Short presentations
- Papers must be 5 pages maximum in length, using the
AVoCS '07 LaTeX macro package obtainable at http://www.entcs.org/.
Authors should follow the instructions on that
- Subjects suitable for short presentations are brief
communications, work in progress and postgraduate student work.
- At least one author of each accepted short paper commits to attend the workshop and give a presentation of 15 minutes.
A provisional programme can be found
- 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).
18 July: Paper submission deadline EXTENDED TO
Tuesday 22nd July, 5pm
22 August: Acceptance notification
5 September: Papers revised for preliminary
are advised that revised versions should be sent in pdf format,
with no page numbers, maximum 15 pages.
(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
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
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
this will be at
Stravaigin 2 in Ruthven Lane at 6.45pm. Ruthven Lane can be
located using the interactive map