Automated Deduction: Putting Theory into Practice

a stream at CL2000

First International Conference on Computational Logic

Imperial College, London, UK

24 - 28 July 2000


Automated deduction systems have formed the core of many AI software systems since the formation of the field. The efficiency of the systems has significantly improved not only since these days but also in the last couple of years. Very hard problems which were out of scope a few years ago can now be solved either fully automatically or in an interactive way. By this development automated deduction systems have widened their application areas at a time when there is an increasing importance to apply them in fields like reasoning about programs, reasoning about agents, and planning. From more and more systems it is expected that they are able to act intelligently upon inputs by performing certain deductions automatically. A particular example area, in which automated deduction systems can be expected to play a very important role is with respect to internet transactions, where e.g. proof carrying code can make transactions safer.

This stream aims to to stimulate and promote international research and collaboration on all areas of applications of automated deduction systems as well as on any development which enhances the application possibilities of automated deduction systems.

(Non-exclusive) List of topics of interest:

Programme Committee:

Alessandro Armando Università di Genova
Peter Baumgartner Universität Koblenz
Nikolaj Bjørner Stanford University
François Bry Ludwig-Maximilians-Universität München
Bruno Buchberger Johannes Kepler Universität Linz
Ricardo Caferra IMAG Grenoble
Jürgen Dix University of Maryland
Michael Fisher Manchester Metropolitan University
Ulrich Furbach (Co-chair) Universität Koblenz
Fausto Giunchiglia IRST Trento
Mateja Jamnik The University of Birmingham
Manfred Kerber (Co-chair) The University of Birmingham
Christoph Kreitz Cornell University
Ilkka Niemelä Helsinki University of Technology
Wolfgang Reif Universität Ulm
Julian Richardson The University of Edinburgh
Maarten de Rijke Universiteit van Amsterdam
Erik Sandewall Linköpings universitet
Bart Selman Cornell University
Jörg Siekmann DFKI Saarbrücken
Toby Walsh University of York


Papers must be no longer than 15 pages and must be in the Springer LNCS style. General information about the Springer LNCS series and the LNCS Authors' Instructions are available at the Springer LNCS/LNAI Home Page.

In order to submit please follow this link (no longer functional).


Important Links:

The URL of this page is:
Maintained by Manfred Kerber, e-mail:
Last update 3 May 2000