Topics of interest

• 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)

Submissions

• (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 http://www.logic.at/TAB02/.

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

• 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

• Printer-friendly HTML