CALL FOR PAPERS [apologies for multiple copies]

Fourth International Workshop on Automated Verification of
Critical Systems, AVoCS'04

http://www.doc.ic.ac.uk/~mrh/AVoCS04.html

Saturday 4 September 2004
Royal Society, London (UK)

[as part of the CONCUR'04 workshop series]

IMPORTANT DATES

# Paper submission deadline: 1 June 2004
# Notification to authors:   1 July 2004
# Camera-ready deadline:    21 July 2004 
# Workshop:                  4 September 2004

SCOPE OF WORKSHOP

The aim of this workshop is to promote an international research
community in verification of critical systems 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.


MODE OF WORKSHOP

Please see the URL above for links to previous meetings.  Similarly to
previous years, the meeting will be informal, and will combine an
invited lecture with accepted submissions. This year we run this event
as a fully-fledged INTERNATIONAL workshop.


TOPICS OF WORKSHOP

These include but are not limited to

 - Specification and Refinement Methods
 - 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.

and should apply, or have relevance to, critical systems in a broad sense.


PUBLICATION

Proceedings will be published in the series Electronic Notes in
Theoretical Computer Science, now widely disseminated through Science
Direct. Preliminary proceedings of accepted papers should be available
as hard-copies at the workshop. Final online proceedings of accepted
and revised papers will be available after the workshop. We also plan
a special issue of a high-quality journal for which we will solicit
abstracts of proposed full papers from all workshop participants
subsequent to the meeting.


INSTRUCTIONS TO AUTHORS

Please submit an abstract or extended abstract in PDF format and a
plain text abstract electronically to M.Huth@doc.imperial.ac.uk
Submissions should not exceed 15 pages, including references, and
should be written in Latex using the ENTCS templates found at
http://math.tulane.edu/~entcs/ . You should follow the instructions on
the ENTCS Macro Home Page, being sure to pull off the appropriate
file for the AVoCS 2004 workshop. Abstracts may be as short as two
pages.  Only abstracts and papers accepted for presentation at the
workshop will be included in the Preliminary Proceedings.


KEYNOTE SPEAKER

We are pleased to announce that Georges Gonthier from Microsoft
Research (Cambridge, UK) will be the keynote speaker of that workshop.


PROGRAMME COMMITTEE

Glenn Bruns, Bell Laboratories, Lucent Technologies
Michael Goldsmith, Formal Systems (Europe) Ltd
Michael Huth, Imperial College London
Marta Kwiatkowska, University of Birmingham
Michael Leuschel, University of Southampton
David Novak, CNRS & ENS Cachan
Doron Peled, University of Warwick
Bill Roscoe, University of Oxford


SPONSORSHIP

Formal Systems (Europe) Ltd
Microsoft Research (Cambridge, UK).