Email Gateway (Aug 17 2022 at 14:15): Email Gateway (Aug 17 2022 at 14:15):From: Stephan Merz <Stephan.Merz@loria.fr>
AVoCS 2006 :
Sixth Intl. Workshop on Automated Verification of Critical Systems
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:
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
Email Gateway (Aug 17 2022 at 14:44):From: Stephan Merz <Stephan.Merz@loria.fr>
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:
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
Last updated: May 03 2024 at 04:19 UTC