[ecoop-info] CFP: AVoCS Special Issue in SCP
avocs09 at swansea.ac.uk
Fri Mar 18 16:44:42 CET 2011
(Apologies for duplicates)
Call For Papers
Science of Computer Programming
Special Issue on Automated Verification of Critical Systems
Guest editors: Jens Bendispoto, Michael Leuschel, Markus Roggenbach
Submission deadline: 9.9.2011
This special issue is devoted to the scope of the international
workshop on Automated Verification of Critical Systems (AVoCS 2010 -
which Duesseldorf University hosted in September 2010. AVoCS is devoted
and techniques for the verification of critical systems. These topics
are to be interpreted broadly and inclusively.
Typical, but not exclusive topics of interest are:
- 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, and
- Industrial Applications.
Submission to this special issue is completely open. We expect
original articles (typically 20-30 pages) that present high-quality
contributions that have not been previously published in an archival
venue and that must not be simultaneously submitted for publication
Submissions must comply with SCP's author guidelines (see
be written in English.
Submission website will be announced in due course.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the ecoop-info