Full information on the WWW .
Topics. Mechanisation of reasoning with tableaux and related systems (analytic tableaux, model elimination, connection method, sequent calculi). Covered are theoretical aspects of classical and non-classical logics, as well as topics related to practical implementations.
Invited speakers. Wolfgang Bibel, Ricardo Caferra.
Program Committee. Peter Baumgartner, Krysia Broda, Marcello D'Agostino, Melvin Fitting, Ulrich Furbach, Dov Gabbay, Rajeev Gore, Jean Goubault, Reiner Hähnle, Ryuzo Hasegawa, Rob Johnson, Thomas Käufl, Reinhold Letz, Neil Murray, Ugo Moscato, Joachim Posegga, Peter Schmitt, Camilla Schwind, Graham Wrightson.
Local Arrangements.
Ulrich Furbach, Computer Science Institute, University of Koblenz
Rheinau 1, 56075 Koblenz, Germany
Fax: ++ 49 261 9119 499. Phone: ++ 49 261 9119 433
E-mail: tab95@informatik.uni-koblenz.de