 |
 |
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 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%