[Om-announce] FW: Call for papers AVOCS 2008

[Elizabeth Walsh]

Apologies for cross posting. Please find below call for papers for AVOCS 
2008.

-Alice Miller and Muffy Calder

(programme chairs)

AVoCS 2008

Eighth International Workshop on Automated Verification of Critical Systems

Glasgow, 30 September – 1 October 2008

http://www.dcs.gla.ac.uk/avocs08/avocs08.htm

*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.

* *

* *

Topics include:

- 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

PROCEEDINGS

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.

IMPORTANT DATES

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

G12 8QQ

0141 330 4454