[TYPES] AVoCS '05 [First CALL for PAPERS]

AVoCS 2005 avocs05 at dcs.warwick.ac.uk
Tue May 3 02:25:28 EDT 2005


AVoCS '05
Fifth International Workshop on
Automated Verification of Critical Systems

University of Warwick, UK, 12-13 September 2005


The aim of this workshop is to encourage interaction and exchange of
ideas among members of the international research community.
Particularly, we hope to achieve integration and transfer of knowledge
between academia and industry.

The workshop subject is to be interpreted broadly and inclusively.
It covers all aspects of automated verification (model checking, theorem
proving, specification, etc) pertaining to various types of critical
systems, be it safety-critical, business-critical, or

The technical programme will consist of invited talks, regular papers,
and short presentations.  The workshop will be relatively informal,
with an emphasis on discussion.

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


Topics include:
- Specification and Refinement
- Requirements Capture and Analysis
- 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


Contributions should have relevance to critical systems in a broad
sense.  Two types of contributions will be considered:

Regular Papers
- Papers must be 10 pages maximum in length.
- All regular papers will be refereed.

Short presentations
- Abstract must be supplied in plain text format.
- Suitable for short presentations are brief communications,
 work in progress and postgraduate student work.
- Short presentations will be accepted on a first-come,
 first-served basis.

The primary means of submission will be electronic, in pdf format.
More information on the submission procedure will be made available at


Preliminary proceedings will be published by the University of Warwick
and distributed at the workshop.  This will include preliminary
versions of regular papers, and abstracts of short presentations.

After the workshop, authors of regular papers will have an option to
prepare a final version for proceedings in Electronic Notes in
Theoretical Computer Science (Elsevier), and to submit a full
version for a special issue of a high-quality international journal.


  13 June: deadline for submission of regular papers
  18 July: acceptance notification
  25 July: updated regular papers for printed proceedings
  25 July: deadline for submission of short presentation abstracts
12-13 Sept: workshop


To be announced.


Dragan Boshnachki (Eindhoven, Netherlands)
Muffy Calder (Glasgow, UK)
Sadie Creese (QinetiQ, UK)
Michael Goldsmith (Formal Systems, UK)
Michael Gordon (Cambridge, UK)
John Harrison (Intel, USA)
Gerard Holzmann (NASA JPL, USA)
Michael Huth (Imperial College, UK)
Antonin Kucera (Masaryk Brno, Czech Republic)
Orna Kupferman (Hebrew University, Israel)
Marta Kwiatkowska (Birmingham, UK)
Ranko Lazic (Warwick, UK) [co-chair]
Michael Leuschel (Dusseldorf, Germany)
Rajagopal Nagarajan (Warwick, UK) [co-chair]
David Nowak (CNRS & ENS Cachan, France)
Paritosh Pandya (TIFR, India)
Jakob Rehof (Microsoft Research, USA)
Markus Roggenbach (Wales Swansea, UK)
Bill Roscoe (Oxford, UK)
Jim Woodcock (York, UK)


Ranko Lazic (Warwick, UK)
Rajagopal Nagarajan (Warwick, UK)
Nikolaos Papanikolaou (Warwick, UK) [publicity]


Workshop e-mail address: avocs05 <AT> dcs.warwick.ac.uk

More information about the Types-list mailing list