Next Conference

The next International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX) will be part of the International Joint Conference on Automated Reasoning (IJCAR), which will take place from 8 to 10 August 2022 in Haifa, Israel.

More information can be found on the IJCAR 2022 website at