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 2013, Nancy, France 2013

Previous TABLEAUX Conferences

• IJCAR 2012, Manchester, United Kingdom, 2012
  (in 2012, TABLEAUX was part of the International Joint Conference on Automated Reasoning, IJCAR)
• TABLEAUX 2011, Bern, Switzerland, 4-8 July 2011
• IJCAR 2010, Edinburgh, UK, 2010
  (in 2010, TABLEAUX was part of the International Joint Conference on Automated Reasoning, IJCAR)
• TABLEAUX 2009, Oslo, Norway, 2009
• IJCAR 2008, Sydney, Australia, 2008
  (in 2008, TABLEAUX was part of the International Joint Conference on Automated Reasoning, IJCAR)
• TABLEAUX 2007, Aix en Provence, France, 2007
• IJCAR 2006, Seattle, USA, 2006
  (in 2006, TABLEAUX was 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

• IJCAR '12: Gramlich, B.; Miller, D.; Sattler, U. (Eds.): Automated Reasoning. LNCS 7364, 2012. ISBN 978-3-642-31364-6
• TABLEAUX '11: Brünnler, K; Metcalfe, G. (Eds.): Automated Reasoning with Analytic Tableaux and Related Methods. Springer-Verlag, LNCS 6793, 2011. ISBN 978-3-642-22118-7.
• IJCAR '10: Giesl, J.; Hähnle, R. (Eds.): Automated Reasoning. LNCS 6173, 2010. ISBN 978-3-642-14202-4
• TABLEAUX '09: Giese, M.; Waaler, A. (Eds.): Automated Reasoning with Analytic Tableaux and Related Methods. Springer-Verlag, LNCS 5607, 2009. ISBN 978-3-642-02715-4.
• IJCAR '08: Armando, A.; Baumgartner, B.; Dowek, D. (Eds.): Automated Reasoning. LNCS 5195, 2008. ISBN 3-540-71069-8.
• 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

• Dale Miller (INRIA Saclay) - representative of IJCAR 2012.
• Dominique Larchey-Wendling (LORIA Nancy) - representative of TABLEAUX 2013.

• Kai Brünnler (Innovation Process Technology AG and University of Bern), elected until 2013
• Agata Ciabattoni (Technical University Vienna), elected until 2015
• Martin Giese (University of Oslo), elected until 2015
• Angelo Montanari (University of Udine), elected until 2013
• Neil Murray (State University of NY at Albany), elected until 2013
• Jens Otten (Potsdam University), PRESIDENT, elected until 2015

Minutes of Business Meetings and Results of SC Elections and Email Votes

• Results of the 2011 Steering Committee elections
• 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 ...