Verification and Validation of Knowledge-Based Systems

To give an integrated view of current research issues in this field, we organized this article along thematic lines, unifying the reports of the two separate meetings. Our report focuses on the trends that we think will be important in the near future in this field. The 1997 edition of EUROVAV was already the fourth time that the symposium was held. It was chaired by Jan Vanthienen (University of Leuven, Belgium) and Frank van Harmelen (Vrije Universiteit, Amsterdam) and held in the beautiful city of Leuven, Belgium. With 25 submissions (of which 16 were accepted) and 35 attendants, EUROVAV'97 was roughly the same size as other recent meetings.