International Conference


Automated Reasoning with

Analytic Tableaux and Related Methods

Roma, Italy

9-12 September 2003

Co-located with the

International Conference on Theorem Proving
in Higher Order Logics

TPHOLs 2003

and the

11th Symposium on the Integration of
Symbolic Computation and Mechanized Reasoning

Calculemus 2003

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), St Andrews (2000), and Copenhagen (2002). In 2001 TABLEAUX was part of IJCAR 2001 in Siena.

    The proceedings will again be published in Springer's LNAI series.

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


Tableau methods are 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. The conference brings together researchers interested in all aspects - theoretical foundations, implementation techniques, systemsdevelopment and applications - of the mechanization of reasoning with tableaux and related methods.

Topics of interest include (but are not restricted to):

One or more tutorials will be part of the conference programme.

Program Committee

Organizing Committee

Professional support by:
CONSULTA UMBRIA S.R.L. Italia, 9 - 06121 Perugia (Italy)