International Conference on Automated Reasoning with Analytic Tableaux and Related Methods

The International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, often abbreviated as TABLEAUX, is a scientific conference that focuses on automated reasoning, particularly using techniques related to analytic tableaux and related methods. It brings together researchers and practitioners from various fields, including computer science, artificial intelligence, and logic.