Apologies for cross posting. Please find below call for papers for AVOCS 2008.
-Alice Miller and Muffy Calder
Eighth International Workshop on Automated Verification of Critical Systems
Glasgow, 30 September – 1 October 2008
CALL FOR PAPERS
The aim of AVoCS 2008 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, etc.). Contributions that describe different techniques, and industrial case studies are encouraged. This year, techniques and studies of ubiquitous, and possibly mobile systems, either use-centred or sensor based, are particularly welcome.
The technical programme 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.
- Model Checking
- Automatic and Interactive Theorem Proving
- Abstract Interpretation
- Specification and Refinement
- Requirements Capture and Analysis
- Verification of Software and Hardware
- Verification of Security-Critical Systems
- Probabilistic and Real-Time Systems
- Verified System Development
- Industrial Applications
Preliminary proceedings 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.
18 July: Paper submission deadline
22 August: Acceptance notification
5 September: Papers revised for preliminary proceedings
19 September: Registration deadline
30 September – 1 October: Workshop
Dr Alice Miller CEng MIET
Department of Computing Science
University of Glasgow
0141 330 4454