TABLEAUX 2002 - Call for Papers

Copenhagen, Denmark
July 30th - August 1st, 2002
(revised CFP as of August 31, 2001)
(deadlines extended as of January 31, 2002)

The conference brings together researchers interested in all aspects - theoretical foundations, implementation techniques, systems development and applications - of the mechanization of reasoning with tableaux and related methods.

Topics of interest

include (but are not restricted to):


are invited in three categories:

Papers of category (A) and (B) must be original and not submitted concurrently for publication to a journal or to another conference.

All submissions should be prepared in LaTeX2e llncs style . Papers have to be submitted in postscript format through the special submission page

All questions related to submission should be sent to the program chairs Chris Fermüller and Uwe Egly.

Accepted papers of category (A) and (B) will be published in Springer's LNAI series. The proceedings will be available at the conference.

Accepted papers of category (C) will be available as Technical Report of the TU Vienna and on the internet.

Important dates

Program Committee