International Conference

TABLEAUX 2005

Automated Reasoning with
Analytic Tableaux and Related Methods

14-17 September 2005

Co-located with the
International Workshop on First-Order Theorem Proving
FTP 2005

As in previous years, the conference proceedings will be published in Springer's LNAI series.

See the main TABLEAUX page for general details about this series of meetings.

Topics

Tableau methods are a convenient formalism for automating deduction in various non-standard logics as well as in classical logic. Areas of application include verification of software and computer systems, deductive databases, knowledge representation and its required inference engines, and system diagnosis. The conference brings together researchers interested in all aspects - theoretical foundations, implementation techniques, systems development and applications - of the mechanization of reasoning with tableaux and related methods.

Topics of interest include (but are not restricted to):

• analytic tableaux for various logics (theory and applications)
• related techniques and concepts, e.g., model checking and BDDs
• related methods (model elimination, sequent calculi, connection method, ...)
• new calculi and methods for theorem proving in classical and non-classical logics (modal, description, intuitionistic, linear, temporal, ...)
• systems, tools, implementations and applications

One or more tutorials will be part of the conference program.

Call for Papers

Program Committee

PC Members
Peter Baumgartner, MPI Saarbrücken, Germany
Marta Cialdea Mayer, U. Roma Tre, Italy
Roy Dyckhoff, U. of St Andrews, Scotland
Christian Fermüller, Vienna U. of Technology, Austria
Ulrich Furbach, U. of Koblenz, Germany
Didier Galmiche, LORIA, U. Henri Poincare, France
Martin Giese, RICAM, Austrian Academy of Sciences, Linz, Austria
Rajeev P. Goré, Australian National U., Canberra, Australia
Jean Goubault-Larrecq, École Normale Supérieure de Cachan, France
Reiner Hähnle, Chalmers U., Gothenburg, Sweden
Ullrich Hustadt, U. of Liverpool, UK
Christoph Kreitz, U. of Potsdam, Germany
Reinhold Letz, Munich U. of Technology, Germany
Carsten Lutz, Dresden U. of Technology, Germany
Maarten Marx, U. of Amsterdam, The Netherlands
Ugo Moscato, U. of Milano-Bicocca, Italy
Neil V. Murray, U. at Albany, USA
Ilkka Niemelä, Helsinki U. of Technology, Finland
Nicola Olivetti, U. of Torino, Italy
Lawrence Paulson, U. of Cambridge, UK
David A. Plaisted, U. of North Carolina, USA
Peter H. Schmitt, U. of Karlsruhe, Germany
Viorica Sofronie-Stokkermans, MPI Saarbrücken, Germany
Arild Waaler, U. of Oslo, Norway
Calogero G. Zarba, LORIA and INRIA-Lorraine, France / U. of New Mexico, USA

Organizing Committee

Publicity Chair
Gernot Stenz, Munich U. of Technology, Germany

Local Organizers
Gerd Beuster
Vladimir Klebanov
Thomas Kleemann
Jan Murray
Oliver Obst
Alex Sinner
Christoph Wernhard

Conference Address