Next Conference

The next International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX) will take place from 3 to 5 September 2019 in London, UK.

More information can be found on the TABLEAUX 2019 website at