The International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX) is the main international conference at which research on all aspects, theoretical foundations, implementation techniques, systems development and applications, of the mechanization of tableaux-based reasoning and related methods is presented.
The first TABLEAUX conference was held in Germany in 1992. Since then, it has been organised on an annual basis.

EurAI sponsored the 26th edition of TABLEAUX (2017, Brasilia - Brazil)

> CLICK HERE to see other Conferences sponsored by EurAI <