The 28th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods

Middlesex University, London, September 3-5, 2019
Colocated with FroCoS 2019

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.

© Banner art courtesy of Martha van der Horst. We gratefully acknowledge support from Springer logo