***********************************************************
EUROVAV-99
***********************************************************
*** EXTENDED CFP FEADLINE TO 1st MARCH 1999 ***
Fifth European Symposium on Verification and Validation of
==========================================================
Knowledge Based Systems and Components
======================================
Oslo, Norway, June 9-11, 1999
Sponsored by Det Norske Veritas and the BCS SGES.
Proceedings to be published by Kluwer Academic Publishers
---------------------------------------------------------
1. Description
--------------
Knowledge-base (KB) technology is being applied to complex
problem-solving and critical tasks in many application
domains. Concerns have naturally arisen as to the depend-
ability of knowledge base systems (KBS). As with any soft-
ware, attention to quality and safety must be paid through-
out development of a KBS and rigorous verification and vali-
dation (V&V) techniques must be employed. Research in V&V of
KBS has emerged as a distinct field only in the last decade
and is intended to address issues associated with quality
and safety aspects of KBS and to credit such applications
with the same degree of dependability as conventional appli-
cations. In recent years, V&V of KBS has been the topic of
annual workshops associated with the main AI conferences,
such as AAAI, IJCAI and ECAI.
EUROVAV is the leading European conference dedicated to the
advancement of the theory and practice of V&V of KBS. Its
objective is to bring together researchers from both
academia and industry, not only from Europe, but also from
all over the world, encouraging all styles of V&V approaches
and a variety of application areas. EUROVAV-99 will be held
in Oslo, Norway and is the fifth in a biannual series, with
previous occurrences in Cambridge, UK (91), Palma de Mal-
lorca, Spain (93), Chambery, France (95), Leuven, Belgium
(97).
In addition to ensuring continuity with the previous sym-
posia, EUROVAV-99 is intended to enlarge its topics towards
a better interface with the related fields in software and
knowledge engineering. In particular the symposium committee
is seeking to attract papers dealing with V&V and integrity
issues associated with the overlap between database and
expert systems, for example V&V issues associated with
active and deductive databases. Also issues concerned with
the conceptualisation stage of expert system development
(i.e. ontologies) and links with similar ideas concerning
the V&V of databases schema.
Submissions are invited, particularly from those involved
with V&V issues of knowledge bases, databases, and software
engineering, relating to (but not limited to) the following
specific topics:
* Certification of knowledge based systems and components
* Formal methods and techniques for verification
* V&V of active and deductive database rulesets
* Database and expert systems integration V&V and
integrity issues
* Modeling and representational issues for V&V
* Multi-agent systems and case-based systems
* Understanding the principles behind V&V of practical
applications
* Use of conventional software engineering techniques for
KBS validation
* V&V of fuzzy systems, uncertainty and soft computing
* V&V of hybrid representational systems
* V&V of integrated/embedded KB components
* Relationship between V&V of KBS and machine learning
* V&V of knowledge-based Webs
* Validation and Maintenance through the whole KBS life
cycle
* Verification of OO knowledge bases
* Standardisation issues
* V&V at the conceptualisation stage of development
(ontologies and problem-solving methods)
* V&V technology transfer between KBS, database and soft-
ware engineering
2. Symposium Committee
-----------------------
1) Anca Vermesan, Program Chair
2) Frans Coenen, Program Co-Chair
3. Program committee
---------------------
1) Marc Ayel, LIA-University of Savoie, France
2) Trevor Bench-Capon, University of Liverpool, UK
3) Sandro Bologna, ENEA CRE-Casaccia, Italy
4) Jesus Cardenosa, Univ. Polit. De Madrid, Spain
5) Frans Coenen, University of Liverpool, UK
6) Susan Craw, The Robert Gordon University, UK
7) Barry Eaglestone, University of Sheffield, UK
8) Dieter Fensel, University of Karlsruhe, Germany
9) Alun Preece, University of Aberdeen, UK
10) Marie-Christine Rousset, LRI-University of Paris Sud,
France
11) Frank van Harmelen, Vrije Universiteit Amsterdam, The
Netherlands
12) Jeffrey Voas, Reliable Software Technologies, USA
13) Jan Vanthienen, Katholieke Universiteit Leuven, Belgium
14) Anca Vermesan, Det Norske Veritas, Norway
4. Submission of papers and publication of proceedings
------------------------------------------------------
Full-length papers must not exceed 6000 words. Short papers
can also be submitted. Short papers are desirable for "work
in progress" or preliminary ideas and results. Short papers
should not exceed 3000 words. Both full-length papers and
short papers should include a separate cover page contain-
ing: the paper title, author's name(s), address(es), email,
phone and fax numbers, affiliation, abstract no longer than
200 words and a list of keywords.
Papers will be refereed and all accepted papers will appear
in the Symposium Proceedings. The proceedings will also be
published in book for by Kluwer Academic Publishers shortly
after the completion of the sysmposium. All papers presented
at the symposium will receive a free copy. Further details
concerning the post symposium publication of the proceedings
will be made available on the EUROVAV web page as soon as
possible.
Authors may submit by mailing hard copies (5), or electroni-
cally (postcript). E-mail submissions are encouraged. Please
submit to either of the chairs:
Anca Vermesan
Det Norske Veritas
DTP343, 1322 Hovik
Norway
Phone: 47 67 57 83 63
Fax: 47 67 57 75 20
Email: [log in to unmask]
or
Frans Coenen
University of Liverpool
PoBox 147, Liverpool L69 3BX
Uinted Kingdom
Phone: 44 51 794 3698
Fax: 44 51 794 3715
Email: [log in to unmask]
5. Important Dates
------------------
+-------------------------+-------------------+
| EVENT | DATE |
+-------------------------+-------------------+
| | |
| (Extended) Deadline for | March 1, 1999 |
| submissions | |
| | |
| Notification of authors | April 1, 1999 |
| | |
| Camera ready copy due | May 1, 1999 |
| | |
| Symposium | June 9-11, 1999 |
| | |
+-------------------------+-------------------+
6. Further Information
----------------------
For more information, visit the symposium web site at:
http://www.dnv.no/research/safekbs/eurovav99/eurovav99.htm
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
|