Next Conference

The next International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX) will take place from 25 to 29 September 2017 in Brasilia, Brazil. More information can be found on the TABLEAUX 2017 website at