The International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
) is an annual international academic conference
that deals with all aspects of automated reasoning
with analytic tableaux
. Periodically, it joins with CADE
into the International Joint Conference on Automated Reasoning
The first table convened in 1992. Since 1995, the proceedings of this conference have been published by Springer's LNAI series.
In August 2006 TABLEAUX was part of the Federated Logic Conference in Seattle, USA. The following TABLEAUX will be held in July 2007 in Aix en Provence, France.