Third Workshop on Automated Verification of Critical Systems : AVoCS 2003
April 2-3 2003, Southampton (UK)
Scope Topics Call for Papers Instructions to Authors Proceedings (Updated) Important Dates Invited Speakers Programme Contact & Registration Fees Venue & Travel Accommodation Southampton Travel Info Programme Committee Sponsors & Supporters Related Events: AVoCS'01 AVoCS'02


The aim of this workshop is to foster a research community in verification in and beyond the United Kingdom of Great Britain through encouraging communication among researchers. Specific objectives include efforts at integration as well as the transfer of methods between different groups from academia and industry. The topics are to be interpreted broadly and inclusively, and in particular cover all aspects of verification (model checking, theorem proving, specification and refinement proofs, etc) pertaining to various types of critical systems, be it safety-critical, business-critical, or performance-critical.

The first meeting, AVoCS'01, was held in Oxford (UK), continuing in the tradition of the annual DERA/OUCL series.
The second meeting, AVoCS'02, was held in Birmingham (UK).

Similarly to previous years, the meeting will be informal, and will combine invited lectures with accepted submissions. This year we also want to aim for wider, European and international attention.


Topics include but are not limited to:
  • Specification and Refinement Methods
  • Model checking : Theory, Tools and Applications
  • Abstract Interpretation
  • Theorem Proving
  • Software and Hardware Verification
  • Verification of Probabilistic and/or Real-Time Systems
  • Verification of Distributed Protocols including Security
  • Performance and Dependability Evaluation
  • Case Studies

Call for Papers

Download self-contained PDF call for papers.

Instructions to Authors

For the PreProceedings, which will be available at the workshop, submit in your abstract or extended abstract in Postscript or PDF format and a plain text abstract electronically to Submissions should not exceed 16 10pt a4wide pages, all inclusive (but may be as short as 2 pages for abstracts).

Papers invited for the special issue (after the workshop) must be submitted in LaTeX in strict accordance to the publisher's style and layout regulations. (A corresponding LaTeX style file will be provided then.)


The AVoCS'03 Proceedings have been published as a technical report of the University of Southampton.

For the Final Proceedings, the authors of the best workshop presentations will be invited to submit, if they so wish, a Full Paper for a special issue in a journal (probably Formal Aspects of Computing).

Important Dates

Deadline for Submissions: March 5, 2003 - 17:00 GMT (elapsed).
Notification of Acceptance: March 10, 2003.
Deadline for Registration: March 24, 2003 (extended)

Workshop: April 2 and 3, 2003.
Deadline for Final Proceedings Submissions after the Workshop: to be announced

Invited Speakers


The full programme is available here.

The list of accepted papers is available here. There was a model checking competition. Answers will be published soon.


  • 85.- British Pounds Stirling (ca. 135,- Eur) for Professionals, including the Workshop Dinner.
  • 60.- British Pounds Stirling (ca. 95,- Euro) for Students, including the Workshop Dinner.
  • 40.- British Pounds Stirling (ca. 65,- Euro) for Students, without the Workshop Dinner.

Contact & Registration

Please print out and fill in the Registration Form and send it back by telefax or surface mail by March 20 (2003) latest (using address or fax number on form).

Mail address for general enquiries:

Dr. Stefan Gruner [Attn. AVoCS'03]
Dept. ECS / DSSE / 59
University of Southampton
Highfield Campus
GB - SO17 1BJ

Fax: +44 2380 593 045

For all other communication concerning AVoCS'03, including submissions, please send e-mail at

Venue & Travel & Dinner

Building 65, Lecture Theatre C & North Corridor
on the Avenue Campus
University of Southampton, Southampton SO17 1BJ, United Kingdom.

Click here travel directions and for a map of the university campuses and surrounding area.

The conference dinner will be held April 2nd at 8pm in the evening at the Taste of Thailand, 11, Castle Way, Southampton, SO14 2BX. Click here for a map.


Participants are kindly asked to book their own accomodation. Here is a list of hotels and guest houses.

Local Organisers

Stefan Gruner, University of Southampton
Michael Leuschel, University of Southampton
Stéphane Lo-Presti, University of Southampton

Programme Committee

Sadie Creese, QinetiQ (UK)
Michael Goldsmith, Formal Systems Europe (UK)
Marta Kwiatkowska, University of Birmingham (UK)
Michael Leuschel (Chair), University of Southampton (UK)
David Nowak, CNRS & ENS Cachan (FR)
Joy Reed, Armstrong Atlantic State University (USA)
Mike Reed, Oxford University (UK)
Bill Roscoe, Oxford University (UK)
Ulrich Ultes-Nitsche, Université de Fribourg (CH)
Irfan Zakiuddin, QinetiQ (UK)

Sponsors & Supporters