As in previous years, the conference proceedings will be published in Springer's LNAI series.
See the main TABLEAUX page for general details about this series of meetings.
Tableau methods are 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):
One or more tutorials will be part of the conference program.
Peter Baumgartner, MPI Saarbrücken, Germany
Marta Cialdea Mayer, U. Roma Tre, Italy
Roy Dyckhoff, U. of St Andrews, Scotland
Christian Fermüller, Vienna U. of Technology, Austria
Ulrich Furbach, U. of Koblenz, Germany
Didier Galmiche, LORIA, U. Henri Poincare, France
Martin Giese, RICAM, Austrian Academy of Sciences, Linz, Austria
Rajeev P. Goré, Australian National U., Canberra, Australia
Jean Goubault-Larrecq, École Normale Supérieure de Cachan, France
Reiner Hähnle, Chalmers U., Gothenburg, Sweden
Ullrich Hustadt, U. of Liverpool, UK
Christoph Kreitz, U. of Potsdam, Germany
Reinhold Letz, Munich U. of Technology, Germany
Carsten Lutz, Dresden U. of Technology, Germany
Maarten Marx, U. of Amsterdam, The Netherlands
Ugo Moscato, U. of Milano-Bicocca, Italy
Neil V. Murray, U. at Albany, USA
Ilkka Niemelä, Helsinki U. of Technology, Finland
Nicola Olivetti, U. of Torino, Italy
Lawrence Paulson, U. of Cambridge, UK
David A. Plaisted, U. of North Carolina, USA
Peter H. Schmitt, U. of Karlsruhe, Germany
Viorica Sofronie-Stokkermans, MPI Saarbrücken, Germany
Arild Waaler, U. of Oslo, Norway
Calogero G. Zarba, LORIA and INRIA-Lorraine, France / U. of New Mexico, USA
Gernot Stenz, Munich U. of Technology, Germany