Delivery-Date: 
Sender: info-hol-request@lal.cs.byu.edu
Errors-To: info-hol-request@lal.cs.byu.edu
Precedence: bulk
To: info-hol@leopard.cs.byu.edu
Subject: of possible interest - applications of formal methods
From: Chris Landauer <cal@aero.org>
Date: Wed, 25 Jan 1995 18:31:31 -0800
Message-Id: <95Jan25.183149pst.111107-2@aero.org>


One of the big difficulties with many formal methods is their difficulty of
incorporation into the development process for large-scale software systems;
issues of characterization of context, incremental modification of proofs to
match incremental modification of specifications, appropriate levels of
verification for appropriate levels of confidence, and others are of interest
to us.

more later,
cal


--------- Forwarded Message

Return-Path: <gamble@tara.mcs.utulsa.edu>
Received: from aero.org by antares.aero.org (4.1/AMS-1.0)
	id AA05333 for cal; Wed, 25 Jan 95 07:24:43 PST
Received: from clyde.concordia.ca ([132.205.1.1]) by aero.org with ESMTP id <111107-3>; Wed, 25 Jan 1995 07:24:41 -0800
Received: from cenparmi.concordia.ca (lemy.cenparmi.concordia.ca [132.205.48.7]) by clyde.concordia.ca (8.6.7/8.6.6) with SMTP id JAA02281; Wed, 25 Jan 1995 09:57:33 -0500
Received: from tara.mcs.utulsa.edu by lemy.cenparmi.concordia.ca id aa03046;
          25 Jan 95 9:57 EST
Received: by tara (4.1/SMI-4.1)
	id AA01069; Wed, 25 Jan 95 09:02:53 CST
Date: 	Wed, 25 Jan 1995 07:02:53 -0800
From: "R.F. Gamble" <gamble@tara.mcs.utulsa.edu>
Message-Id: <9501251502.AA01069@tara>
To: vavtalk@cenparmi.concordia.ca
Subject: IJCAI-95 V&V workshop announcement 


***************************************************************************

IJCAI'95 Workshop  on Validation & Verification of Knowledge-Based Systems

                    CALL FOR PARTICIPATION

****************************************************************************

DESCRIPTION OF WORKSHOP

Knowledge-based systems (KBSs) are one of the tangible successes in
Artificial Intelligence.  They are relatively flexible and easy to
design systems that can represent the decision processes of an expert
to perform a task.  Issues of KBS quality and reliability have become
increasingly important as KBSs are being embedded in software and
applied in critical domains.  Verification and validation (V&V) of
these systems is necessary for their continued use as an alternative
software system in many applications. As industrial usage of KBSs
increases, V&V of such systems becomes more complex.  Previous
workshops on V&V and related topics have addressed some of the issues,
with the majority of the focus on developed KBSs.  Unlike software
engineering, there is no standard approach to developing KBSs that
lends itself to forms of V&V.  Thus, many issues remain unresolved,
especially those related to validating the specification,
representation and incremental development method, as well as those to
verify the KBS appropriately reflects its specification. The objective
of this workshop is to allow researchers and practitioners to openly
discuss V&V problem areas and their possible solutions.


TOPICS OF INTEREST

The proposed workshop will focus on areas of interest related to
life-cycle issues in KBS development.  The committee will consider the
following as principal areas of interest.

    -   The application of traditional V&V techniques throughout the 
        development of a KBS
    -   New or modified life-cycles for the development and V&V of
        KBSs that incorporate multiple or non-traditional paradigms,
        such as embedded systems, object-oriented systems, neural
        networks, semantic networks, case-based reasoning, large-scale
        systems, and parallel & distributed systems
    -   New V&V techniques within the KBS life-cycle
    -   New specification techniques for KBSs to aid in V&V
    -   The application of formal methods to KBS specification,
        development, and V&V 
    -   Support tools and environments for developing reliable KBS,
        including those that assist the use of formal methods.
    -   "State of the Art" papers from industry on the V&V of large
        KBSs. 
    -   Knowledge representation issues for V&V.


FORMAT

The one-day workshop is limited to 40 participants.  It will consist
of morning and afternoon paper sessions.  Each paper or group of
related papers will be assigned to another workshop participant who
will serve as a discussant to generate questions and issues related to
the paper.  Included in the workshop will be two panel sessions.  The
first panel will consist of a diverse group of researchers to provide
viewpoints on what verification and validation techniques and
terminology can be standardized and how.  The second panel will
consist of international researchers discussing the different
viewpoints of KBS development, verification, and validation.  In each
case, panelists will be provided with a short period of time in which
to present their views, followed by lengthy discussion.


SUBMISSION REQUIREMENTS

Participants are invited to submit one of the following to be reviewed
by the program committee
    (1) a technical paper, describing novel research in one of the
        areas outlined above
    (2) a position paper, describing a point of view for panel
        discussion or a summary of research. 
    (3) a participation paper, describing interest in the area and/or 
        industrial experience

Technical papers should not exceed 10 double-spaced pages at 12 pt.
font and should not have been published prior to the workshop.
Position and participation papers should be in the form of extended
abstracts and should not exceed 2 double-spaced pages.  Submitted
materials should be sent to the workshop co-chair, Rose Gamble, at the
address below.  Email submissions are encouraged.  Fax submissions are
acceptable.  If hard copies are submitted, three copies should be
provided.  Email addresses, phone and fax numbers should be provided
for all contributing authors.

We would like to have informal demonstrations of working V&V systems
prior to the workshop.  If you have a system that you would like to
present, please contact Rose Gamble, detailing the equipment needs for
demonstration.


DEADLINE TO SUBMIT:         March 15, 1995
NOTIFICATION DATE:          March 31, 1995
CAMERA-READY COPIES DUE:    April 20, 1995
REGISTRATION:  All participants must register for the IJCAI conference

SUBMIT TO:      Dr. Rose Gamble
                Department of Mathematical and Computer Sciences
                600 South College Avenue
                University of Tulsa
        	Tulsa, OK 74104-3189 
                USA                
                email: gamble@tara.mcs.utulsa.edu
        	voice: (918) 631-2988
                fax: (918) 631-3077


ORGANIZING COMMITTEE


Workshop Co-Chairs:

  Rose Gamble, University of Tulsa, USA, gamble@tara.mcs.utulsa.edu
  Chris Landauer,  The Aerospace Corp., USA, cal@aero.org

Committee Members:
        
  Robert Plant,  University of Miami, USA, rplant@umiami.ir.miami.edu
  Alun D. Preece, University of Aberdeen, UK, apreece@csd.abdn.ac.uk
  Lance Miller, SAIC, USA, lamiller@mcl.saic.com
  Marc Wilikens, JRC, ISEI, Italy, marc.wilikens@cen.jrc.it
  Anca Vermesan,  SNF, Norway, snf_av@debet.nhh.no

------- End of Forwarded Message