Topics

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):

• analytic tableaux for various logics (theory and applications)
• related techniques and concepts, e.g., model checking and BDDs
• related methods (model elimination, sequent calculi, connection method, ...)
• new calculi and methods for theorem proving in classical and non-classical logics (modal, description, intuitionistic, linear, temporal, ...)
• systems, tools, implementations and applications

One or more tutorials and workshops will be part of the conference program.

Call for Papers

TXT - PDF - PS

Program Committee

PC Members
Peter Baumgartner, NICTA, Canberra, Australia
Bernhard Beckert,  University of Koblenz-Landau, Germany
Patrick Blackburn, INRIA Lorraine, France
Marta Cialdea, University of Roma 3, Italy
Roy Dyckhoff, University of St Andrews, Scotland
Christian G. Fermüller, University of Wien, Austria
Ulrich Furbach, University of Koblenz-Landau, Germany
Didier Galmiche, LORIA, Henri Poincaré University, Nancy, France
Martin Giese, RISC, Johannes Kepler University, Linz, Austria
Rajeev P. Goré, Australian National University, Canberra, Australia
Jean Goubault-Larrecq, LSV, ENS Cachan,  France
Reiner Hähnle, University of Chalmers, Gothenburg, Sweden
Ullrich Hustadt, University of Liverpool, UK
Christoph Kreitz, University of Potsdam, Germany
Carsten Lutz, University of Dresden, Germany
Angelo Montanari, University of Udine, Italy
Ugo Moscato, University of Milano-Bicocca, Italy
Neil V. Murray, ILS Institute,  University at Albany, USA
Ilkka Niemelä, Helsinki University of Technology, Finland
Lawrence C. Paulson, University of Cambridge, UK
Camilla Schwind, LIF-CNRS, Marseille, France
Viorica Sofronie-Stokkermans, Max-Planck-Institut für Informatik, Saarbrücken, Germany ( Workshops Chair )
Arild Waaler, University of Oslo, Norway

Organizing Committee

OC Members
Djamal Habet, LSIS, Paul Cézanne University, Marseille, France
Philippe Jégou, LSIS, Paul Cézanne University, Marseille, France
Richard Ostrowski, LSIS, University of Provence, Marseille, France
Cyril Pain-Barre, LSIS, University of Mediterranean, Marseille, France
Odile Papini, LSIS, University of Mediterranean, France
Nicolas Prcovic, LSIS, Paul Cézanne University, Marseille, France
Vincent Risch, LSIS, University of Mediterranean, Marseille, France
Pierre Siegel, LSIS, University of Provence, Marseille, France
Cyril Terrioux, LSIS, Paul Cézanne University, Marseille, France
Eric Würbel, LSIS, University of Toulon, France

Conference Postal Address
    TABLEAUX'2007
    LSIS
    Domaine Universitaire de Saint Jérôme
    Avenue Escadrille Normandie Niemen
    13397 Marseille CEDEX 20 (France)