FINAL CALL FOR PAPERS
=====================
Call for papers for the Second International Workshop on</H4>
VERIFICATION, VALIDATION AND INTEGRITY ISSUES IN
EXPERT AND DATABASES SYSTEMS
in conjunction with the Eleventh International Conference
on Database and Expert Systems Applications (DEXA'2000)
Greenwich, London; 6-8 September, 2000
GUEST SPEAKER: ALUN PREECE
Workshop proceedings to be published by IEEE
TECHNICAL DESCRIPTION
=====================
VVI'2000 aims to bring together the Expert Systems and
Database research communities to explore common and
complementary issues relating to Validation, Verification
and Integrity of Expert and Database Systems. The flavour
of the distinction between the three VVI terms is given
concisely in the following definitions:
Validation: Are we building the right product?
Verification: Are we building the product right?
Integrity: Are we keeping the product right?
The workshop will build on the success of the first VVI workshop
(http://www.csc.liv.ac.uk/~frans/VandV/dexaWorkshop.html)
held in conjunction with DEXA'98 in Vienna) which established
common ground between the communities. The outcomes were:</P>
1. A conceptual model of where the two technologies come together.
2. A clarification of the VVI concerns of the two communities.
3. A set of "directions" for possible future "cross-over" research.
VVI'2000 seeks to develop and expand on these results by
providing a forum for further interchange of ideas. Potential
participants are encouraged to contribute papers on any aspect
of VVI. In particular the programme committee welcomes
contributions that discuss the application of "cross-over"
technologies such as (but not restricted to):
1. The application of the ontologies concept (currently popular
in the context of KBS conceptualisation) to the design of DB
schema.
2. The use of DB representations for V&V of rulebases and the
use of rulebased approaches to address integrity considerations.
3. The V&V of the rule sets found in active and deductive databases.
4. The additional VVI problems encountered when applying OO
techniques to both DB and ES systems.
5. The special considerations that are applicable with respect to
VVI using CPS (Constraint Satisfaction Problem) techniques with
DB (Constraint databases) and with ES (Constraint logic
programming).
6. VV&I issues relating to the construction of federated information
systems which integrate existing database and/or expert systems.
SUBMISSION DETAILS
==================
All papers will be refereed by at least 2 members of the
program committee. All accepted papers will be published
by the IEEE in a volume of proceedings of the DEXA'2000 workshops.
Authors are invited to submit research contributions or
practical experience reports in English. Papers must be
double spaced and no longer than 5000 words. Authors should
submit papers either:
Electronically by Email to <TT>[log in to unmask]</TT>, or
By conventional mail to the Workshop Chair:
Dr Barry Eaglestone
VV&I'2000
Department of Information Studies
University of Sheffield
Western Bank
Sheffield
S10 2TN
UK
Electronic submission is preferred.
IMPORTANT DATES
===============
1. Submission deadline: January 23th 2000
2. Notification of acceptance: February 28th 2000
3. Camera-ready copies: April 1998 (precise date to be advised)
ORGANISING COMMITTEE
====================
Barry Eaglestone (Chair), University of Sheffield, UK.
Frans Coenen (Co-chair), University of Liverpool, UK.
Mick Ridley (Co-chair), University of Bradford, UK.
Donatella Castelli, IEI-CNR, Pisa, Italy.
John Debenham, University of Technology, Sydney, Australia.
Alex Gray, University of Cardif, UK.
Willi Hasselbring, Tilburg University, Netherlands.
Antony Ligeza, Institute of Automatics, Krakow, Poland.
Silvie Spreeuwenberg, LibRT BV, Amsterdam, Netherlands.
Anca Vermesan, Det Norske Veritas, Norway
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
|