Message-Id: <199507101555.QAA05108@irit>
Date: Mon, 10 Jul 1995 16:52:12 +0000
To: gracq@laforia.ibp.fr
From: SNF_AV@kredit.nhh.no (by way of aussenac@irit.irit.fr)
Subject: AI PETRO V&V workshop announcement


	_______________________________________________________________

	Workshop on Verification and Validation of Safety Critical KBS 
				Applications
	
		Friday, September 15, 1995, Lillehammer, Norway

	     	FIRST ANNOUNCEMENT AND CALL FOR PAPERS
	_______________________________________________________________


In connection with AI Petro The International Conference on Artificial 
Intelligence in the Petroleum Industry, September 13-15, Lillehammer, 
Norway.

Sponsored by:
Norwegian AI Society
Norwegian Society of Chartered Engineers
Bremdal Technology Services

SCOPE

There is a particular class of systems in which the important criteria is
not 
only "how well do they work" but also "how badly can they fail". These 
systems are identified as safety-critical systems. In the safety
engineering 
tradition, a critical (computer) system is one in which a malfunction could

lead to unacceptable consequences. This term has different meanings 
depending on the domain and tasks for which the systems are built. A 
major question within  Knowledge Engineering (KE) is how to get the 
advantages of a closer cooperation with Software Engineering (SE). This 
problem is of particular interest in the area of Verification and
Validation 
(V&V) of KBSs, because notions such as dependability, safety and 
reliability as defined in SE are also relevant in KE. Clearly, there is a
need 
to investigate issues of verification and validation of safety critical 
systems, whether they are KBSs themselves, or conventional systems 
supported by KBSs.

The specific objective of this workshop is in combining the theory and 
practice in the domain of V&V of KBSs, with emphasis on AI 
applications in the petroleum industry. This workshop aims to bring 
together researchers, practitioners and end-users. The goal is to provide 
an active forum for information exchange and discussion. 

SUGGESTED TOPICS OF INTEREST

  -Traditional verification and validation techniques applied to KBSs
  -New verification and validation techniques performed throughout the 
   development of a KBS
  -New or extended life-cycles for the development of reliable, complex 
   KBSs
  -The application of formal methods to KBS specification and 
   development
  -Dealing with imprecise knowledge (probabilistic reasoning, fuzzy 
   logic)
  -Real-time KBSs
  -Distributed systems of knowledge agents
  -Temporal reasoning
  -Hybrid systems (expert systems, neural networks, fuzzy systems)
  -Hybrid representations (object-oriented, frame-based, rule-based)

FORMAT

The half-day workshop will include two paper sessions, which will cover a 
variety of discussion topics. Audience participation in the form of 
questions or comments will be encouraged during a panel which will end 
the workshop.

PAPER SUBMISSIONS

Participants are invited to submit either a technical paper (not to exceed 
10 double-spaced pages) or an extended abstract (2-3 pages). Two kinds 
of contributions are of interest: state-of-the-art papers, displaying
novelty 
in the area of V&V of KBS and state-of-the-practice papers, providing 
techniques and methods developed for specific applications in the 
petroleum industry. We are especially interested in papers that combine 
theory and practice. An additional cover page should include title, authors

and complete contact information. Submitted papers and abstracts should 
be sent to the workshop chair. Email submissions (postscript format) are 
encouraged.

PUBLISHED PROCEEDINGS

The published proceedings will include accepted papers in full-length. 
Best papers presented to the workshop will be collected for subsequent 
publication in an international journal.

CONFERENCE LOCATION

Lillehammer is located about 2 hours drive from Oslo. It is a small town 
on the shores of Lake Mjosa and is known world wide as the site of the 
XVII Winter Olympic Games. Scenes from the skiing arenas, skating 
rinks, bobsleigh and luge courses as well as the crowed Pedestrian Streets 
became a familiar sight for the whole world during some exciting winter 
days in February 1994. 

IMPORTANT DATES

Deadline for submission: 		August 15, 1995
Notification of paper acceptance:	August 20, 1995
Camera-ready papers due:		August 30, 1995

Statements of interest (for those wishing to attend but unable to submit a 
paper or abstract) should arrive no later than August 15.

REGISTRATION

There is no additional workshop fee for participants who register for the 
AI Petro conference. For participants who do not register for the 
conference, the workshop fee is NOK 1300. A Call for Participation with 
the registration form will be available soon.

SUBMIT TO:

Anca I. Vermesan
Foundation for Research in Economics
and Business Administration
Breiviken 2, 5035 Bergen, Norway
email: snf_av@debet.nhh.no
voice: 47 55 95 97 73
fax: 47 55 95 94 30

WORKSHOP CHAIR

Anca I. Vermesan, Foundation for Research in Economics and Business 
Adminstration, Norway, 
	snf_av@debet.nhh.no

WORKSHOP COMMITEE

Rose Gamble, University of Tulsa, USA, 
	gamble@tara.mcs.utulsa.edu
Trevor Bench-Capon, The University of Liverpool, UK
	tbc@csc.liv.ac.uk
Roar A. Fjellheim, Computas Expert Systems A.S, Norway
	Roar.Fjellheim@cx.dnv.no