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.

• TABLEAUX 2002 Call for Papers
• TABLEAUX accepted papers
• TABLEAUX program
• Participant list for TABLEAUX

Position papers online

The position papers from TABLEAUX 2002 are now online at http://www.logic.at/TAB02-PP/.

Invited speakers

• Matthias Baaz, Vienna U of Techn., Austria
  joint with CADE: Proof analysis by resolution
• Dale Miller and Elaine Pimentel, Penn State U, USA
  Using linear logic to reason about sequent systems

Program Committee

• co-chair: Christian Fermüller <chrisf@logic.at>
  Institut für Computersprachen
  Technische Universität Wien
  Favoritenstr. 9, E185-2
  A-1040 Wien, AUSTRIA
  +43 1 58801 18543
  +43 1 58801 18597 (fax)
• co-chair: Uwe Egly <uwe@kr.tuwien.ac.at>, Vienna U of Techn., Austria
• Peter Baumgartner, U Koblenz-Landau, Germany
• Bernhard Beckert, Karlsruhe U, Germany
• Marcello D'Agostino, U Ferrara, Italy
• Roy Dyckhoff, U St Andrews, UK
• Melvin Fitting, City U of New York, USA
• Didier Galmiche, LORIA Nancy, France
• Rajeev P. Goré, Australian National U
• Jean Goubault-Larrecq, ENS Cachan, France
• Reiner Hähnle, Chalmers U of Techn., Sweden
• Ian Horrocks, U Manchester, UK
• Christoph Kreitz, Cornell U, USA
• Reinhold Letz, Techn. U of Munich, Germany
• Fabio Massacci, U Trento, Italy
• Neil V. Murray, State U of New York-Albany, USA
• Nicola Olivetti, U Turin, Italy