Next Conference

The next International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX) will take place from 18 to 21 September 2023 at the Department of Artficial Intelligence at the Czech Technical University in Prague, Czech Republic.

More information can be found on the TABLEAUX 2023 website at