From: nj@sei.cmu.edu (Natalia Juristo)
Newsgroups: news.announce.conferences
Subject: European Symposium on Validation and Verification of KBS
Keywords: Validation, Verification, Testing, Knowledge-based Systems
Date: 28 Jul 92 00:00:50 GMT
Expires: Tue, 15 Dec 1992 08:00:00 GMT
Organization: The Software Engineering Institute


                   ----------------------------------------
                    FIRST ANNOUNCEMENT AND CALL FOR PAPERS
                   ----------------------------------------


                                  EUROVAV'93

 European Symposium on Validation and Verification of Knowledge Based Systems

                              24-25-26 March 1993
                       Universitat de les Illes Balears
                               Palma de Mallorca
                                     SPAIN

Sponsored by
The Commission of the European Communities (CEC)
The Spanish Commission of Science and Technology (CICYT)


Organized by

Institut d'Investigacio en Intelligencia Artificial,(CSIC-Spain)
Universitat de les Illes Balears (UIB-Spain)
Universidad Politecnica de Madrid (UPM-Spain)


AIMS AND SCOPE
--------------
Today, Validation is considered to be a mandatory step in the   development  of
Knowledge Based Systems. More and more, industries and users demand  KBSs of
high quality, being the validation process the  responsible  to  assure   it.In
addition, the need to develop  standards  leading  industries  to   build  good
systems is maybe the most important need in the next years.

Increasing attention has been devoted  to  KBS  Validation   in  recent  years,
giving rise to a number of  new  methods  and  techniques.  Although, available
Validation methods are still insufficient  for  current  needs,  they  offer  a
set of basic functionalities clearly useful for KBS builders. Based on  present
experience,  it   seems   reasonable   to   expect   new,   more  sophisticated
Validation techniques in the near future.

This meeting, continuation of  the  EUROVAV'91  at  Cambridge,  aims  to  bring
together researchers, practicioners and end-users providing  an  active  forum
for information exchange and discussion on the  most  recent  advances  in  KBS
Validation. EUROVAV'93 encourages those contributions describing either:

a) New theoretical and innovative models for Validation of KBSs
b) Techniques and tools applicable to a wide range of systems.
c) Methodologies for validating KBSs.
d) Definition of industrial quality and standards for validating KBSs
e) Practical experiences.

The basic scheme of the SYMPOSIUM will be:

One or two  keynote  speeches  given  by  relevant  persons  in  the  field  of
validation.
In the morning a series of short presentations will be given by the authors  of
selected  SYMPOSIUM  papers. Issues   and    questions    raised    in    these
presentations will be discussed   in   small   discussion  groups  during   the
afternoon. The findings of  each  group  will  be  presented  to all  SYMPOSIUM
participants during a plenary session at the end of each day.


TOPICS
------
Papers are invited for consideration on all aspects of KBS validation. Possible
topics include but are not limited to the following:

-Theoretical foundations of KBS Validation.
-KBS Validation Standars.
-Requirements, Specification and Validation.
-Phases of Validation Process during KBS development.
-KBS maintenance and Validation.
-Methodologies for KBS validation.
-Validation and reasoning paradigms.
-KBS and Conventional Software Validation.
-Metrics for KBS validation.
-Practical experiences.
-New environments for KBSs Validation.


SUBMISSION OF PAPERS
--------------------
Authors should submit by ordinary mail four copies of their papers  written  in
English to:

Pedro Meseguer
IIIA-CEAB
Cami Sta. Barbara S/n
17300 Blanes (Girona) SPAIN

E-mail:    pedro@ceab.es
Telephone: 34 72 33 61 01
Fax:       34 72 33 78 06

E-mail submission is not accepted. Paper extension is  limited  to  6000  words
(approximately 14 single spaced pages without including graphics,  and  tables)
Papers should include a cover  page  containing:  The  paper  title,   author's
name,author's  address,  electronic  address,  telephone  and  fax  number,  an
abstract  no longer than 200 words and a list of keywords.

Papers will be reviewed according  to  four  principal  criteria:  originality,
correctness, clarity and significance. Accepted papers will be publisehd in the
SYMPOSIUM Proceedings which  will  be  ready  at  the  time  of  the  Symposium
celebration.


DEADLINES
---------
Papers Submission....................... Until  December 15, 1992
Notification of acceptance.............. Before  January 30, 1993
Camera-Ready versions................... Before February 28, 1993


REGISTRATION FEES AND DATES
---------------------------
Early Registration (up to december 15, 1992): ............ 45.000.-pts
Students early registration:.............................. 20.000.-pts
Registration later than December 15, 1992................. 55.000.-pts
Students.................................................. 25.000.-pts

Registration fees include:

     Transport from City down-town to the Campus of the University.
     Coffees and refreshments
     Midday lunches
     Closing banquet (not for students inscription)
     Proceedings (not for students inscription)

Accomodation is not included in the registration.

The Organization will provide upon request,  a  list  of  hotels  in  Palma  de
Mallorca with special prices for Eurovav participants.


REGISTRATION FORM
-----------------
Name of person.................................................................
Organisation...................................................................
Department.....................................................................
Address........................................................................
Telephone:................Fax number:.................e-mail address:..........
Do you want list of hotels?..................Student (Yes/no):.................

This registration form will be sent in join to a cheque  in  pesetas  addressed
to:

Secretariat d'Encontres
Universitat de les Illes Balears
C/Miquel dels Sants Oliver, 2
07071 Palma de Mallorca
SPAIN
Phone: 34-71-173040
Fax: 34-71-754445

The registration will be only effective with joining the cheque.

Any other consultation may be done to:

Isabel Aguilo
Dep. Matematiques i Informatica
Universitat de les Illes Balears
Carretera de Valldemosa, Km. 7,5
07071-Palma de Mallorca
SPAIN
Telephone:34-71-172900
Fax: 34-71-173426
E-mail: dmiiap0@ps.uib.es


ALLOCATION
----------
The Symposium will be celebrated in :

Universitat de les Illes Balears
Carretera de Valldemosa Km. 7
07071 Palma de Mallorca
SPAIN


ORGANIZATION COMMITTEE
----------------------
Isabel Aguilo (UIB)
Arturo Fraile (UIB)
Natalia Juristo (UPM)
Jesus Cardenosa (UPM)
Pedro Meseguer (IIIA-CEAB)


SYMPOSIUM CO-CHAIRMEN
---------------------
Jesus Cardenosa
Laboratorio de Inteligencia Artificial
Facultad de Informatica
Campus de Montegancedo
28660 Boadilla del Monte
MADRID (SPAIN)
Telephone: 34-1-3367436 ; Fax: 34-1-3524819 ; e-mail: LIA@FI.UPM:ES

Pedro Meseguer
IIIA-Centre d'Estudis Avancats de Blanes
Cami Sta. Barbara s/n
17300 Blanes (Girona)
SPAIN


PROGRAM COMMITTEE
-----------------
Marc Ayel (France)
Mathew Grisoni (United Kingdom)
John Campbell (United Kingdom)
Jack Foisseau (France)
Claude Garrido (The Netherlands)
Natalia Juristo (Spain)
Pierre Mariot (France)
Josep Miro (Spain)
Enrico Motta (United Kingdom)
Heri Nonfjall (Denmark)
Enric Plaza (Spain)
Walter Van de Velde (Belgium).