FINAL CfP: IJCAR'01 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/