8th International Conference on Conceptual Structures, ICCS 2000 Darmstadt, Germany, August 14-18, 2000 Proceedings

11th International Workshop, IFL'99 Lochem, The Netherlands, September 7-10, 1999 Selected Papers

13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings

Constraint Debugging

11th International Conference, DEXA 2000 London, UK, September 4-8, 2000 Proceedings

Second International Conference, DaWaK 2000 London, UK, September 4-6, 2000 Proceedings

First International Conference, EC-Web 2000 London, UK, September 4-6, 2000 Proceedings

Joint IAPR International Workshops SSPR 2000 and SPR 2000 Alicante, Spain, August 30 - September 1, 2000 Proceedings

11th International Conference, University Park, PA, USA, August 22-25, 2000 Proceedings

First International Conference of B and Z Users York, UK, August 29 - September 2, 2000 Proceedings