International Conference

TABLEAUX

Automated Reasoning with Analytic Tableaux
and Related Methods

Tableau methods have been found to be 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, 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 BDD's)
• 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, ...)
• systems, tools, implementations and applications (e.g., verification)

Upcoming TABLEAUX Conference(s)

• TABLEAUX 2005, Koblenz, Germany, Sept 14-17, 2005
  

Previous TABLEAUX Conferences

• TABLEAUX '92, Lautenbach near Karlsruhe, Germany, 1992
• TABLEAUX '93, Marseille, France, 1993
• TABLEAUX '94, Abingdon near Oxford, UK, 1994
• TABLEAUX '95, St. Goar near Koblenz, 1995
• TABLEAUX '96, Terrasini near Palermo, Italy, 1996
• TABLEAUX '97, Pont-à-Mousson near Nancy, France, 1997
• TABLEAUX '98, Oisterwijk near Tilburg, The Netherlands, 1998
• TABLEAUX '99, Saratoga Springs, NY, USA, 1999
• TABLEAUX 2000, St. Andrews, Scotland, 2000
• IJCAR 2001, Siena, Italy, 2001
  (in 2001, TABLEAUX was part of the International Joint Conference on Automated Reasoning, IJCAR)
• TABLEAUX 2002, Copenhagen, Denmark, 2002
  (in 2002, TABLEAUX was part of FLoC'02)
• TABLEAUX 2003, Rome, Italy, 2003
  
• IJCAR 2004, Cork, Ireland, 2004
  (in 2004, TABLEAUX was part of the International Joint Conference on Automated Reasoning, IJCAR)

Proceedings

• TABLEAUX '93: Basin, D.; Hähnle, R.; Fronhöfer, B; Posegga, J., Schwind, C. (Eds.): Theorem Proving with Analytic Tableaux and Related Methods. Technical Report MPI-I-92-213, Max-Planck-Institut für Informatik, Saarbrücken, 1993.
• TABLEAUX '94: Broda, K.; D'Agostino, M.; Gore, R.; Johnson, R.; Reeves, R. (Eds.): Theorem Proving with Analytic Tableaux and Related Methods. Technical Report TR-94/5, Imperial College, London, 1994.
• TABLEAUX '95: Baumgartner, P.; Hähnle, R.; Posegga, J. (Eds.): Theorem Proving with Analytic Tableaux and Related Methods. Springer-Verlag, LNCS 918, 1995. ISBN 3-540-59338-1.
• TABLEAUX '96: Miglioli, P.; Moscato, U.; Mundici, D.; Ornaghi, M. (Eds.): Theorem Proving with Analytic Tableaux and Related Methods. Springer-Verlag, LNCS 1071, 1996. ISBN 3-540-61208-4.
• TABLEAUX '97: Galmiche, D. (Ed.): Automated Reasoning with Analytic Tableaux and Related Methods. Springer-Verlag, LNCS 1227, 1997. ISBN 3-540-62920-3.
• TABLEAUX '98: Swart, H. de (Ed.): Automated Reasoning with Analytic Tableaux and Related Methods. Springer-Verlag, LNCS 1397, 1998. ISBN 3-540-64406-7.
• TABLEAUX '99: Murray, N. V. (Ed.): Automated Reasoning with Analytic Tableaux and Related Methods. Springer-Verlag, LNCS 1617, 1999. ISBN 3-540-66086-0.
• TABLEAUX '00: Dyckhoff, R. (Ed.): Automated Reasoning with Analytic Tableaux and Related Methods. Springer-Verlag, LNCS 1847, 2000. ISBN 3-540-67697-X.
• IJCAR '01: Gore, R.; Leitsch, A.; Nipkow, T. (Eds.): Automated Reasoning. LNCS 2083, 2001. ISBN 3-540-42254-4.
• TABLEAUX '02: Egly, U.; Fernmüller, C. G. (Eds.): Automated Reasoning with Analytic Tableaux and Related Methods. Springer-Verlag, LNCS 2381, 2002. ISBN 3-540-43929-3.
  The position papers that were presented at TABLEAUX 2002 are accessible at http://www.logic.at/TAB02-PP
• TABLEAUX '03: Cialdea Mayer, M.; Pirri, F. (Eds.): Automated Reasoning with Analytic Tableaux and Related Methods. Springer-Verlag, LNCS 2796, 2003. ISBN 3-540-40787-1.
• IJCAR '04: Basin, D.; Rusinowitch, M. (Eds.): Automated Reasoning. LNCS 3097, 2004. ISBN 3-540-22345-2.
  

TABLEAUX Steering Committee

• Bernhard Beckert (Universität Koblenz), Program Chair of TABLEAUX 2005
• David Basin (ETH Zürich), Program Co-Chair of IJCAR 2004

• Neil Murray (State University of New York), PRESIDENT - elected until 2006
• Jean Goubault-Larrecq (École Normale Supérieure de Cachan), VICE PRESIDENT - elected until 2006
• Peter Baumgartner (Max-Planck-Institut für Informatik, Saarbrücken), elected until 2006
• Roy Dyckhoff (University at St Andrews), elected until 2007
• Didier Galmiche (LORIA, Nancy), elected until 2007
• Reiner Hähnle (Chalmers University), elected until 2007

Minutes of Business Meetings and Results of Email Votes

• Email vote in January 2005
• Meeting at TABLEAUX 2003 in Rome, September 12, 2003
• Meeting at TABLEAUX 2002 in Copenhagen, June 31, 2002
• Meeting at IJCAR 2001 in Siena, June 21, 2001
• Meeting at TABLEAUX 2000 in St. Andrews, July 6, 2000

Related Links

• The Handbook of Tableau Methods.
  Edited by Marcello D'Agostino, Dov M. Gabbay, Reiner Hähnle, and Joachim Posegga.
  Kluwer Academic Publishers, 1999.
  ... the first complete reference work focusing on Tableau Systems for logical applications ...