Email Gateway (Aug 18 2022 at 10:18): Email Gateway (Aug 18 2022 at 10:18):From: Serge Autexier <autexier@ags.uni-sb.de>
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:
Email Gateway (Aug 18 2022 at 10:29):From: Stephan Merz <Stephan.Merz@loria.fr>
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:
Last updated: Nov 21 2024 at 12:39 UTC