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

5. EUROVAV 1999: Oslo, Norway

Conference Report (by Frans Coenen)

4. EUROVAV 1997: Leuven, Belgium

3. EUROVAV 1995: Chambery, France

2. EUROVAV 1993: Palma de Mallorca, Spain

1. EUROVAV 1991: Cambridge, England, UK

maintained by Schloss Dagstuhl LZI at University of Trier