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 2009, Oslo Norway, 2009
• IJCAR 2008, Sydney, Australia, August 10-15, 2006
  (in 2008, TABLEAUX is part of the International Joint Conference on Automated Reasoning, IJCAR)

Previous TABLEAUX Conferences

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

Proceedings

• TABLEAUX '07: Olivetti, N. (Ed.): Automated Reasoning with Analytic Tableaux and Related Methods. Springer-Verlag, LNCS 4548, 2007. ISBN 978-3-540-73098-9.
• IJCAR '06: Furbach, U.; Shankar, N. (Eds.): Automated Reasoning. LNCS 4130, 2006. ISBN 3-540-37187-7.
• TABLEAUX '05: Beckert, B. (Ed.): Automated Reasoning with Analytic Tableaux and Related Methods. Springer-Verlag, LNCS 3702, 2005. ISBN 3-540-28931-3.
  The position papers that were presented at TABLEAUX 2005 are accessible at http://www.uni-koblenz.de/fb4/publikationen/gelbereihe/2005/b2hd-beckert122005.html
• IJCAR '04: Basin, D.; Rusinowitch, M. (Eds.): Automated Reasoning. LNCS 3097, 2004. ISBN 3-540-22345-2.
• 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.
• 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
• IJCAR '01: Gore, R.; Leitsch, A.; Nipkow, T. (Eds.): Automated Reasoning. LNCS 2083, 2001. ISBN 3-540-42254-4.
• TABLEAUX '00: Dyckhoff, R. (Ed.): Automated Reasoning with Analytic Tableaux and Related Methods. Springer-Verlag, LNCS 1847, 2000. ISBN 3-540-67697-X.
• 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 '98: Swart, H. de (Ed.): Automated Reasoning with Analytic Tableaux and Related Methods. Springer-Verlag, LNCS 1397, 1998. ISBN 3-540-64406-7.
• TABLEAUX '97: Galmiche, D. (Ed.): Automated Reasoning with Analytic Tableaux and Related Methods. Springer-Verlag, LNCS 1227, 1997. ISBN 3-540-62920-3.
• 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 '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 '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 '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 Steering Committee

• Peter Baumgartner (National ICT Australia), Program Co-Chair of IJCAR 2008
• Nicola Olivetti (Université Paul Cézanne, Marseille) - Program Chair of TABLEAUX 2007, also elected member

• Rajeev Gore (Australian National University, Canberra), PRESIDENT - elected until 2009
• Bernhard Beckert (University of Koblenz), VICE PRESIDENT - elected until 2009
• Marta Cialdea Mayer (Universita degli studi Roma Tre) - elected until 2010
• Chris Fermüller (TU Vienna), elected until 2010
• Stephane Demri (Ecole Normale Superieure de Cachan), elected until 2009
• Nicola Olivetti (Université Paul Cézanne, Marseille) - elected until 2010, also ex-officio member

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