a stream at CL2000
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.
| 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).
The URL of this page is:
http://www.cs.bham.ac.uk/~mmk/AutoDed-CL00/
Maintained by
Manfred Kerber,
e-mail:
M.Kerber@cs.bham.ac.uk
Last update 3 May 2000