Special Issue of Formal Aspects of Computing: Formal Modeling and Verification of Critical Systems

[Serge Autexier]

			    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


-- 
Serge Autexier                       Tel:    +49-681-302-2133
DFKI GmbH &                          Fax:    +49-681-302-5076
Informatics, Saarland University   Email:    autexier at dfki.de
66123 Saarbruecken                   WWW: www.dfki.de/~serge/