[TYPES/announce] CFP: 3rd International Verification Workshop, VERIFY'06

[Heiko Mantel]

                            CALL FOR PAPERS

          3rd International Verification Workshop (VERIFY'06)

 What are the verification problems? What are the deduction techniques?

                 in connection with IJCAR'06 at FLoC'06

                    August 15-16, 2006, Seattle, USA

         [http://www.ags.uni-sb.de/~omega/workshops/Verify06/]

The formal verification of   critical information systems has  a  long
tradition as   one  of the  main  areas of  application for  automated
theorem  proving.    Nevertheless,  the  area  is  of  still   growing
importance as the number of computers affecting  everyday life and the
complexity of  these systems are both increasing.   The purpose of the
VERIFY workshop  series is to  discuss   problems arising  during  the
formal  modeling   and  verification  of  information systems  and  to
investigate suitable solutions.   Possible  perspectives include those
of automated theorem  proving,  tool support, system  engineering, and
applications.

The   VERIFY   workshops  aim  at  bringing  together  people  who are
interested in the development of safety and security critical systems,
in formal  methods, in the  development  of automated theorem  proving
techniques, and  in  the  development  of  tool   support.   Practical
experiences  gained in realistic verifications  are of interest to the
automated theorem proving community and new theorem proving techniques
should be transferred into   practice.  The overall objective  of  the
VERIFY workshops is to identify open problems  and to discuss possible
solutions under the theme

What are the verification problems? What are the deduction techniques?

In  2006,   VERIFY will  specifically   consider issues  regarding the
application of "tool support   for formal modeling,  verification  and
stepwise  system  development" without excluding submissions regarding
other topics in the focus of the  workshop.  Therefore, submissions in
this area are especially encouraged.

Topics include (but are not limited to)

+ ATP techniques in verification      + Information flow control
+ Case studies                        + Refinement & decomposition
  (specification & verification)
+ Combination of verification systems + Reliability of mobile computing
+ Integration of ATPs and CASE-tools  + Reuse of specifications & proofs
+ Compositional & modular reasoning   + Management of change
+ Experience reports on using         + Safety-critical systems
  formal methods        
+ Gaps between problems & techniques  + Security models
+ Formal methods for fault tolerance  + Tool support for formal methods

Submissions are encouraged in one of the following two categories:

 A.  Regular  papers: Submissions  in  this category  should  describe
     previously unpublished work (completed or in progress), including
     descriptions of research,  tools, and  applications.  Papers must
     be formated  following the Springer  LNCS guidelines and  be 6-15
     pages long.

 B.  Discussion papers: Submissions  in this category are  intended to
     initiate discussions and should address controversial issues, and
     may include provocative   statements.   Papers must  be  formated
     following the Springer LNCS guidelines and be 3-15 pages long.

Submission of papers is via EasyChair at www.easychair.org/VERIFY-06/.

Upon submission, the category (either A or B)  must be indicated.  The
informal   workshop proceedings will   be distributed at the workshop.
Final versions of accepted papers have to be prepared with LaTeX.

Following up  the workshop there  will be a  call for submissions to a
special issue of  the Journal of Automated  Reasoning dedicated to the
topics   of  VERIFY'06.   Authors   of  accepted   regular papers  are
especially encouraged to submit to this special issue.

Program & WS Co-Chairs 
  S. Autexier   (DFKI & U. Saarbrücken) 
  H. Mantel     (RWTH Aachen)

Program Committee 
  J.-R. Abrial  (ETH Zürich) 
  B. Dutertre   (SRI International) 
  D. Gollmann   (TU Hamburg-Harburg) 
  R. Hähnle     (Chalmers U.) 
  D. Hutter     (DFKI) 
  A. Ireland    (Heriot-Watt U.) 
  D. Kapur      (U. New Mexico, Albuquerque) 
  J.-P. Katoen  (RWTH Aachen) 
  C. Kreitz     (U. Potsdam) 
  S. Merz       (INRIA Lorraine) 
  J. Richardson (NASA Ames) 
  S. Rossi      (U. Venezia) 
  B. Sprick     (U. Dortmund) 
  L. Viganò     (ETH Zürich)

Important dates:
  Submission deadline:         May 14, 2006 
  Notification of acceptance:  June 19, 2006

Workshop e-mail: verification-ws at ags.uni-sb.de