17th British National Conference on Databases, BNCOD 17 Exeter, UK, July 3-5, 2000 Proceedings

5th International Conference, MPC 2000 Ponte de Lima, Portugal, July 3-5, 2000 Proceedings

From Foundations to Applications

6th International Conference, ICSR-6 Vienna, Austria, June 27-29, 2000 Proceedings

International Workshop, Co-located with VLDB-99 Edinburgh, Scotland, UK, September 6th, 1999, Proceedings

International Workshop, AGTIVE'99 Kerkrade, The Netherlands, September 1-3, 1999 Proceedings

Third International Workshop, DCW 2000, Quebec City, Canada, June 19-21, 2000, Proceedings

First International Conference, WAIM 2000 Shanghai, China, June 21-23, 2000 Proceedings

9th International Workshop, LOPSTR'99, Venice, Italy, September 22-24, 1999 Selected Papers

17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000 Proceedings