Welcome to TABLEAUX 2019

TABLEAUX 2019 will take place at the Computer Science Department of the Middlesex University London, United Kingdom on September 3-5, 2019.

The conference is the 28th in a series of meetings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX).

TABLEAUX 2019 will be colocated with the 12th International Symposium on Frontiers of Combining Systems FroCoS 2019.