The full version of the First Call for Papers is available.
This workshop is a continuation of workshops on the same topic held in Lautenbach near Karlsruhe (1992), Marseille (1993), Abingdon near Oxford (1994) and St. Goar near Koblenz (1995).
Topics. Given the increased interest in tableaux-based theorem proving, the workshop intends to bring together researchers interested in the mechanisation of reasoning with tableaux and related systems. Included (but not exclusively) will be: analytic tableaux; model elimination; connection method; sequent calculi.
The workshop has a dual focus, bringing together people who develop tableaux-like calculi for classical and non-classical logics and people involved in the practical implementation of tableaux-like calculi.
Submissions. Submit papers in one of the following categories:
All submissions must be in English. Authors should send four copies, preferably in LaTeX llncs style to:
Ugo Moscato, Information Science Department, University of MilanElectronic or fax submissions are not acceptable. Submissions of the work to other conferences or journals are not allowed.
Via Comelico 39/41, 20135 Milan, Italy. E-mail: tab96@dsi.unimi.it
Important Dates
Deadline for submissions: November 17th, 1995
Notification of acceptance: middle of February 1996
Proceedings. It is intended to publish the conference proceedings within the LNAI series of Springer. All accepted papers from category 1. will be included.
Latest Information regarding Tableau'96 can be found via