 International Conference on Automated Reasoning with Analytic Tableaux and Related Methods

The International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX) is an annual international academic conference that deals with all aspects of automated reasoning with analytic tableaux.Periodically, it joins with CADE and TPHOLs into the International Joint Conference on Automated Reasoning (IJCAR).