Automated Reasoning with Analytic Tableaux and Related Methods
Copenhagen, Denmark, July 30th - August 1st, 2002

Future link: TABLEAUX 2003 is at

Tableau methods have been found to be a convenient formalism for automating deduction in various non-standard logics as well as in classical logic. Areas of application include verification of software and computer systems, deductive databases, knowledge representation and its required inference engines, and system diagnosis.

This conference is a continuation of international meetings on Automated Reasoning with Analytic Tableaux and Related Methods held in Lautenbach (near Karlsruhe) (1992), Marseille (1993), Abingdon (near Oxford) (1994), St. Goar (near Koblenz) (1995), Terrasini (near Palermo) (1996), Pont-à-Mousson (near Nancy) (1997), Oisterwijk (near Tilburg) (1998), Saratoga Springs (near Albany NY) (1999), and St Andrews (2000). In 2001 TABLEAUX was part of IJCAR 2001 in Siena.

See the main TABLEAUX page for general details about this series of meetings.

Position papers online

The position papers from TABLEAUX 2002 are now online at

Invited speakers

Program Committee