Email Gateway (Aug 18 2022 at 12:05): Email Gateway (Aug 18 2022 at 12:05):From: Elizabeth Walsh <elizabeth.walsh@comlab.ox.ac.uk>
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
Last updated: May 03 2024 at 12:27 UTC