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 14 to 17 July 2018 in Oxford, UK.

More information can be found on the IJCAR 2018 website at