International Conference


Automated Reasoning with Analytic Tableaux
and Related Methods

The International Conference on Automated Reasoning with Analytic Tableaux and Related Methods has been held every year since 1992. Starting in 1995, the proceedings have been published in Springer's LNAI series.

Tableau methods have been found to be 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):

Upcoming TABLEAUX Conference

Previous TABLEAUX Conferences


TABLEAUX Steering Committee

Ex officio members: Elected members: Steering Committee Rules
These rules were adopted at the Business Meeting at the TABLEAUX Conference in St. Andrews, July 6, 2000, and amended by email vote in January 2005.

Minutes of Business Meetings and Results of SC Elections and Email Votes

Related Links