[TYPES/announce] Special Issue of Formal Aspects of Computing: Formal Modeling and Verification of Critical Systems

[Stephan Merz]

Call For Papers

Journal on Formal Aspects of Computing

Special Issue on

Formal Modeling and Verification of Critical Systems


This special issue is devoted to the scope of two international 
workshops: the Workshop on Automated Verification of Critical Systems 
(AVoCS 2006) and the Verification Workshop (VERIFY'06), which took place
during September 2006 in Nancy (France) and during August 2006 in
Seattle (USA), respectively. Topics of interest include automated
verification (abstract interpretation, model checking, theorem proving,
...), formal development methodologies (compositional and modular
reasoning, refinement, stepwise development, ...), formal modeling
techniques (architectural modeling, behavioral modeling, generic
security models, ...), and case studies (academic as well as
industrial). Possible application areas include safety-critical,
security-critical, and performance-critical systems.

Submission to this special issue is completely open. We expect original
articles (typically 15-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 elsewhere.
Submissions must comply with FAC's author guidelines (see
http://www.springer.com/journal/00165/submission), be written in
English, and be formatted using LaTeX.

Submission to this special issue are hereby encouraged via the EasyChair
submission system at http://www.easychair.org/AVOCSVERIFYJFAC07. The
deadline for submissions is June 1st, 2007.

Guest editors: Serge Autexier, Heiko Mantel, Stephan Merz, Tobias Nipkow


Useful websites:

* Special issue: http://www.dfki.de/~serge/AVOCS-VERIFY-07
* Submission Webpage: http://www.easychair.org/AVOCSVERIFYJFAC07
* AVOCS'06 Webpage: http://avocs06.loria.fr/
* VERIFY'06 webpage: http://www.easychair.org/FLoC-06/VERIFY.html
* Journal homepage: http://www.bcs-facs.org/journal
* Author guidelines: http://www.springer.com/journal/00165/submission
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Stephan.Merz.vcf
Type: text/x-vcard
Size: 325 bytes
Desc: not available
Url : http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20070509/f1415c82/Stephan.Merz.bin