14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13 - 17, 1997, Proceedings

First International Conference, ICES '96, Tsukuba, Japan, October 7 - 8, 1996, Revised Papers

First International Workshop on Implementing Automata, WIA '96, London, Ontario, Canada, August 29 - 31, 1996, Revised Papers

First European Symposium, PKDD '97, Trondheim, Norway, June 24-27, 1997 Proceedings

9th International Workshop, LCPC'96, San Jose, California, USA, August 8-10, 1996, Proceedings

ECAI'96, Workshop, Budapest, Hungary, August 13, 1996, Revised Papers

8th International Conference, Warsaw, Poland, July 1-4, 1997, Proceedings

12th International Symposium, AAECC-12, Toulouse, France, June, 23-27, 1997, Proceedings

9th International Conference, CAV'97, Haifa, Israel, June 22-25, 1997, Proceedings

9th International Conference, CAiSE'97, Barcelona, Catalonia, Spain, June 16-20, 1997, Proceedings