|
Please note that the deadline
for original paper submission to AVOCS 2008 has been extended to Tuesday 22nd
July, at 5pm. -Alice
Miller and Muffy Calder (programme
chairs) Dr Alice Miller CEng MIET Department of Computing Science University of Glasgow G12 8QQ 0141 330 4454 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 |