La Conferencia Internacional sobre Razonamiento Automatizado con Tablas Analíticas y Métodos Relacionados ( TABLEAUX ) es una conferencia académica internacional anual que trata todos los aspectos del razonamiento automatizado con tablas analíticas . Periódicamente, se une a CADE y TPHOLs en la Conferencia Conjunta Internacional sobre Razonamiento Automatizado (IJCAR).
La primera mesa se reunió en 1992. Desde 1995, las actas de esta conferencia se han publicado en la serie LNAI de Springer .
En agosto de 2006, TABLEAUX formó parte de la Conferencia de lógica federada en Seattle , EE. UU . Las siguientes TABLEAUX se llevaron a cabo en 2007 en Aix en Provence , Francia , como parte de IJCAR 2008, en Sídney, Australia, como TABLEAUX 2009, en Oslo, Noruega, como parte de IJCAR 2010, Edimburgo, Reino Unido, como TABLEAUX 2011, en Berna, Suiza, del 4 al 8 de julio de 2011, como parte de IJCAR 2012, Manchester, Reino Unido, como TABLEAUX 2013, Nancy, Francia, del 16 al 19 de septiembre de 2013, y como parte de IJCAR 2014, Viena, Austria, del 19 al 22 de julio de 2014.