Welcome to TABLEAUX 2015

TABLEAUX 2015 will take place in the Computer Science Institute of the University of Wroclaw, Poland on September 20-24, 2015.

The conference is the 24th in a series international meetings on Automated Reasoning with Analytic Tableaux and Related Methods.

The proceedings of TABLEAUX 2015 will be published in the Springer series Lecture Notes in Artificial Intelligence (LNAI), volume number 9323.

TABLEAUX 2015 will be co-located with the 10th International Symposium on Frontiers of Combining Systems FroCos 2015.