Provisional call for papers for the Second International
Workshop on
VERIFICATION, VALIDATION AND INTEGRITY (VVI) ISSUES IN EXPERT
AND DATABASE SYSTEMS
in conjunction with the Eleventh International
Conference
on Database and Expert Systems Applications
(DEXA'2000)
to be held in Greenwich, London; in August
2000
Workshop proceedings to be published by IEEE
(Note: It is not necessary to pay the full DEXA conference fee to
attend the workshop ---
one day workshop rates in the order of £70 perday will be
available)
1. 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, (held
in conjunction with
DEXA'98 in Vienna) which established common ground between the
communities. The outcomes
were:
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.
2. 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 [log in to unmask], or
By conventional mail authors 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.
3. IMPORTANT DATES
Submission deadline: January 23th 2000
Notification of acceptance: February 28th 2000
Camera-ready copies: April 1998 (precise date to be advised)
4. ORGANISING COMMITTEE
1.Barry Eaglestone (Chair), University of Sheffield, UK.
2.Frans Coenen (Co-chair), University of Liverpool, UK.
3.Donatella Castelli, IEI-CNR, Pisa, Italy.
4.John Debenham, University of Technology, Sydney, Australia.
5.Alex Gray, University of Cardif, UK.
6.Willi Hasselbring, Tilburg University, Netherlands.
7.Antony Ligeza, Institute of Automatics, Krakow, Poland.
8.Mick Ridley, University of Bradford, UK.
9.Silvie Spreewenberg, LibRT BV, Amsterdam, Netherlands.
10.Anca Vermesan, Det Norske Veritas, Norway
5. WWW - http://www.csc.liv.ac.uk/~frans/VandV/vvi2000cfp.html
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
|