Next Conference

The next International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX) will take place from 6 to 9 September 2021 in Birmingham, UK.

More information can be found on the TABLEAUX 2021 website at