Welcome to Tableaux 2013

Tableaux 2013 will take place in Nancy, France on September 16-19, 2013.

This conference is the 22nd in a series international meetings on Automated Reasoning with Analytic Tableaux and Related Methods.

The proceedings of Tableaux 2013 will be published in the Springer series Lecture Notes in Artificial Intelligence (LNAI 8123).

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


Important dates