[ The Types Forum (announcements only), 
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

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
fn:Stephan Merz
org:INRIA Lorraine & LORIA
adr;quoted-printable:;;615 rue du Jardin Botanique;Villers-l=C3=A8s-Nancy;;54602;France
email;internet:[EMAIL PROTECTED]
tel;work:(+33) 354 95 84 78
tel;fax:(+33) 383 41 30 79

Reply via email to