CALL FOR PAPERS
Call for papers for the Second International Workshop on
in conjunction with the Eleventh International Conference
on Database and Expert Systems Applications
(DEXA'2000)
to be held in Greenwich, London; 6-8 September, 2000
Guest Speaker: Alun Preece
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:
- A conceptual model of where the two technologies come together.
- A clarification of the VVI concerns of the two communities.
- 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):
- The application of the ontologies concept (currently popular in the context
of KBS conceptualisation) to the design of DB schema.
- The use of DB representations for V&V of rulebases and the use of rulebased
approaches to address integrity considerations.
- The V&V of the rule sets found in active and deductive databases.
- The additional VVI problems encountered when applying OO techniques to both DB and
ES systems.
- 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).
- 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 B.Eaglestone@shef.ac.uk, 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.
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
- 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
Created and maintained by
Frans Coenen.
Last updated 16 September 2000