Text this: Report on the 1st International Workshop on Validation, Verification and Integrity Issues of Expert and Database Systems