[isabelle] CFP: AVoCS 2006

Please pass this call for papers along to interested colleagues.


AVoCS 2006 :
Sixth Intl. Workshop on Automated Verification of Critical Systems


Nancy, France
September 18-19, 2006

The aim of AVoCS 2006 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, ...). Contributions that describe combinations of
different techniques, and industrial case studies are particularly welcome.

The technical program 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. Previous AVoCS
workshops were held in Oxford (2001), Birmingham (2002), Southampton
(2003), London (2004), and Warwick (2005).

Invited Speakers:
* Byron Cook, Microsoft Research, Cambridge
* Oded Maler, VERIMAG, Grenoble

Preliminary proceedings will be published by LORIA and will be available
at the workshop. These will include preliminary versions of regular
papers and abstracts of short presentations. After the workshop, authors
of regular papers will be asked to prepare a final version for
proceedings in Electronic Notes in Theoretical Computer Science
(Elsevier). Preparation of a special issue of a high-quality journal is
under negotiation. Previous AVoCS workshops have given rise to special
issues of Formal Aspects of Computing and of Software Tools for
Technology Transfer.

Important dates

June 2     paper submission
July 15    notification
July 28    final version
July 28    abstract submission for short presentations

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.