AVoCS'02
     Second Workshop on Automated Verification of Critical Systems

                  Birmingham, April 15-16, 2002.

               http://www.cs.bham.ac.uk/~gxn/avocs/

SCOPE

The aim of this workshop is to foster a research community in
verification in United Kingdom through encouraging communication among
researchers.  Specific objectives include efforts at integration as
well as the transfer of methods between different groups. 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, continuing in the
tradition of the annual DERA/OUCL series.
						=09
INVITED SPEAKERS

Kim Larsen, Aalborg University

Ken McMillan, Cadence Berkeley Labs

TOPICS

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
								 
We also encourage submissions which integrate or compare these different
approaches.

SUBMISSIONS

Authors are requested to submit an abstract, if possible
electronically in postscript or PDF format to avocs@cs.bham.ac.uk. Abstracts
relevant to the scope of this workshop will be selected for
presentation.  Submissions of work in progress talks are encouraged.
Contributions will not be peer-reviewed and can thus still be
submitted for publication in other fora. Additional details on
submission guidelines are available at the workshop home page.

PROCEEDINGS
						
Informal proceedings will be available at the workshop as a technical
report of the School of Computer Science of the University of
Birmingham.  Participants are thus invited to submit working notes or
abstracts for inclusion in proceedings.

IMPORTANT DATES

Deadline for Submissions: February 15, 2002
Notification of Acceptance: March 15, 2002
Final versions of papers: April 1, 2002
Workshop: April 15-16, 2002

SPONSORS

Formal Systems (Europe) Limited
Microsoft Research Labs, Cambridge
QinetiQ

PROGRAMME COMMITTEE

Marta Kwiatkowska, University of Birmingham
Michael Leuschel, University of Southampton
David Nowak, Ecole Normale Superieure de Cachan
Joy Reed, Armstrong Atlantic State University
Mike Reed, Oxford University
Bill Roscoe, Oxford University
Ulrich Ultes-Nitsche, University of Southampton
Irfan Zakiuddin, QinetiQ

CONTACT PERSON

    Gethin Norman
    School of Computer Science,
    The University of Birmingham
    Edgbaston B15 2TT,
    Birmingham,
    United Kingdom

For all email communication concerning AVoCS'02, please use
avocs@cs.bham.ac.uk.