TABLEAUX 2002 Call for Papers

Revised version 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):
  • analytic tableaux for various logics (theory and applications)
  • related techniques and concepts (e.g., model checking and BDDs)
  • related methods (model elimination, sequent calculi, connection method, ...)
  • new calculi and methods for theorem proving in classical and non-classical logics (modal, intuitionistic, linear, temporal, description logics ...)
  • systems, tools, implementations and applications (e.g., verification)


are invited in three categories:
  • (A) Research papers (reporting original theoretical and/or experimental research, up to 15 pages)
  • (B) System descriptions (up to 5 pages)
  • (C) Position papers and brief reports on work in progress

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 and .

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

  • Tuesday February 19th, 2002 - (extended) title and abstract submission
  • Saturday February 23rd, 2002 - (extended twice) paper submission
  • Friday April 12th, 2002 - author notification
  • Friday May 10th, 2002 - final papers due

This page is also available as