Next Conference

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

More information will be available soon.