European Symposium on Validation and Verification of Knowledge Based Systems (EUROVAV)

5. EUROVAV 1999: Oslo, Norway

Anca I. Vermesan, Frans Coenen (Eds.): Validation and Verification of Knowledge Based Systems - Theory, Tools and Practice, Collected papers from EUROVAV '99, 5th European Symposium on Validation and Verification of Knowledge Based Systems,June 9-11, 199, Oslo, Norway. Kluwer 1999, ISBN 0-7923-8645-0
Contents

Conference Report (by Frans Coenen)

4. EUROVAV 1997: Leuven, Belgium

Jan Vanthienen, Frank van Harmelen (Eds.): Proceedings of the Fourth European Symposium on the Validation and Verification of Knowledge-Based Systems, EUROVAV'97, June 26-28, 1997, Katholieke Universiteit Leuven, Leuven, Belgium. Katholieke Universiteit Leuven, Belgium 1997
Contents

3. EUROVAV 1995: Chambery, France

Marc Ayel, Marie-Christine Rousset (Eds.): Proceedings of the European Symposium on the Validation and Verification of Knowledge-Based Systems, EUROVAV '95, Chambéry, June 1995. ADERIAS-LIA, Universite de Savoie 1995
Contents

2. EUROVAV 1993: Palma de Mallorca, Spain

Jesús Cardeñosa, Pedro Meseguer (Eds.): Proceedings of the European Symposium on the Validation and Verification of Knowledge Based Systems, EUROVAV '93, 24-26 March 1993, Universidad de las Islas Baleares, Palma de Mallorca, Spain. Universidad Politécnica de Madrid 1993, ISBN 84-604-5817-2
Contents

1. EUROVAV 1991: Cambridge, England, UK

Matthew Grisoni (Ed.): Proceedings of the European Workshop on the Verification and Validation of Knowledge-Based Systems, EUROVAV-91, Jesus College, Cambridge, England, July 22-24, 1991. Logica Ltd., Cambridge, UK 1991
Contents