VERIFICATION WORKSHOP

[Serge Autexier <serge@dfki.de>]

[Apologies for multiple copies of this announcement]

                          VERIFICATION WORKSHOP  

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

                      in connection with IJCAR 2001

                      June 18-19, 2001, Siena, Italy

               [http://www.ags.uni-sb.de/verification-ws/]

                             CALL FOR PAPERS

Traditionally, the verification of system properties has been one of the main
areas of application for automated theorem proving. On the one hand side, the
formal development of safety and security critical systems creates numerous
deduction problems which are not only interesting and challenging but also of
practical relevance. On the other hand, automated theorem proving offers the
means to reduce the development burden in formal developments, thus making them
feasible. 

The aim of this verification workshop is to bring together people who are
interested in the development of safety and security critical systems, in formal
methods in general, in automated theorem proving, and in tool support for formal
developments. The emphasis of this years workshop is on the identification of
open problems and the discussion of possible solutions under the theme

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

Depending on quality submissions the workshop will consist of two parts which
each focus on one of these questions followed by an overall discussion.


TOPICS include (but are not limited to)

 + ATP techniques in verification              + Refinement & decomposition
 + Case studies (specification & verification) + Reuse of specifications & proofs
 + Combination of verification systems         + Safety critical systems
 + Compositional & modular reasoning           + Security for mobile computing
 + Fault tolerance                             + Security models
 + Gaps between problems & techniques          + Verification systems
 + Protocol verification               


SUBMISSIONS are encouraged in one of the following two categories:

A. Regular paper: Submissions in this category should describe completed work or
   work in progress, including descriptions of research, tools, and
   applications. The length of submitted papers should be 6-15 pages.

B. Discussion paper: Submissions in this category are intended to initiate
   discussions. They should address controversial issues and may include
   provocative statements. The length of papers should be 3-15 pages.

For presentation at the workshop there will be 30 minutes (for both
categories). We ask the presenters of discussion papers to reserve at least 15 
minutes for discussion.


SUBMISSION DETAILS 

The workshop proceedings will be distributed at the workshop as a collection of
the accepted papers and will also be published as a technical report. 
Submissions should be prepared following the LNCS guidelines
(http://www.springer.de/comp/lncs/authors.html) and sent in postscript format by
e-mail to mailto:verification-ws@ags.uni-sb.de (Subject: `Paper submission'). 
Upon submission, the category (either A or B) must be clearly indicated. Please 
include also the address and e-mail of the contact author into the submission
e-mail.


PROGRAM COMMITTEE

 S. Autexier (U. Saarbruecken, Co-Chair)
 D. Basin (U. Freiburg)
 R. Focardi (U. Venezia)
 R. Gorrieri (U. Bologna)
 A. Ireland (Heriot-Watt, Edinburgh)
 D. Kapur (U. New Mexico, Albuquerque)
 C. Kreitz (Cornell, Ithaca)
 H. Mantel (DFKI Saarbruecken, Co-Chair)
 F. Massacci (U. Siena)
 S. Schneider (Royal Holloway, London)


IMPORTANT DATES

Submission deadline:         March 25, 2001
Notification of acceptance:  April 30, 2001
Final version due:             May 13, 2001
Early registration:         to be announced
Verification workshop:     June 18-19, 2001
IJCAR 2001:                June 20-23, 2001


PARTICIPATION

Participation will be by invitation only. All authors of accepted papers and PC
members will be invited. Other persons who are interested in participating, will
be requested to send a position paper to verification-ws@ags.uni-sb.de (Subject:
`Position paper') by May 13, 2001. Note that all participants must register to
IJCAR. 


WORKSHOP WEB PAGE 

  http://www.ags.uni-sb.de/verification-ws/index.html


---------------------------------------------------------------------------
 S. Autexier, Saarland University, FR 6.2 Informatik, Saarbruecken, Germany
 Tel.   : (+49-681) 302-5073                       FAX : (+49 681) 302-2235
 E-MAIL : Autexier@ags.uni-sb.de  WWW : http://www.ags.uni-sb.de/~autexier/