International Conference


Automated Reasoning with
Analytic Tableaux and Related Methods

Koblenz, Germany

14-17 September 2005

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

This conference is the 14th in a series international meetings on Automated Reasoning with Analytic Tableaux and Related Methods held 1992 in Lautenbach (Germany), 1993 in Marseille (France), 1994 in Abingdon (UK), 1995 in St. Goar (Germany), 1996 in Terrasini (Italy), 1997 in Pont-à-Mousson (France), 1998 in Oisterwijk (Netherlands), 1999 in Saratoga Springs (USA), 2000 in St Andrews (Scotland), 2002 in Copenhagen (Denmark), and 2003 in Rome (Italy). In 2001 TABLEAUX was part of IJCAR 2001 in Siena, and in 2004 it was part of IJCAR 2004 in Cork (Ireland).

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.


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):

TABLEAUX 2005 puts a special emphasis on applications. Papers describing applications of tableaux and related methods in areas such as, for example, hardware and software verification, knowledge engineering, semantic web, etc. are particularly invited.

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

Call for Papers


Program Committee

PC Chair
Bernhard Beckert, U. of Koblenz, Germany

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

Conference Chair
Bernhard Beckert, U. of Koblenz, Germany

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

University of Koblenz
Department of Computer Science
AI Research Group
Universitätsstraße 1
D-56072 Koblenz
Phone: ++49 (0)261 287-2775
Fax: ++49 (0)261 287-2731