International Conference

TABLEAUX 2003

Automated Reasoning with

Analytic Tableaux and Related Methods

9-12 September 2003

Co-located with the

International Conference on Theorem Proving
in Higher Order Logics

TPHOLs 2003

and the

11th Symposium on the Integration of
Symbolic Computation and Mechanized Reasoning

Calculemus 2003

    The proceedings will again be published in Springer's LNAI series.

See the main TABLEAUX page for general details about this series of meetings.

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, systemsdevelopment 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 (e.g. verification)

One or more tutorials will be part of the conference programme.

Program Committee

• Peter Baumgartner, U. Koblenz-Landau, Germany
• Bernhard Beckert, Karlsruhe U., Germany
• Serenella Cerrito, U. d'Evry Val d'Essonne, France
• Marta Cialdea Mayer (chair)
• Marcello D'Agostino, U. Ferrara, Italy
• Roy Dyckhoff, U. St Andrews, UK
• Uwe Egly, Vienna U. of Techn., Austria
• Christian Fermüller, TU Wien, Austria
• Melvin Fitting, City U. of New York, USA
• U. Furbach, Koblenz U., Germany
• Didier Galmiche, LORIA Nancy, France
• Rajeev P. Gorè, Australian National U.
• Jean Goubault-Larrecq, ENS Cachan, France
• Reiner Hähnle, Chalmers U. of Techn., Sweden
• Christoph Kreitz, Cornell U., USA
• Reinhold Letz, Techn. U. of Munich, Germany
• Fabio Massacci, U. Trento, Italy
• Neil V. Murray, State U. of New York-Albany, USA
• Fiora Pirri (vice-chair)
• Nicola Olivetti, U. Turin, Italy
• Peter H. Schmitt, Karlsruhe U., Germany

Organizing Committee

• Marta Cialdea Mayer, Carla Limongelli
  
  cialdea@dia.uniroma3.it, limongel@dia.uniroma3.it
  
  Dipartimento di Informatica e Automazione
  
  Università di Roma Tre
  
  Via della Vasca Navale, 79
  
  I-00146 Roma, ITALY
  
  +39 06 55173232
  
  +39 06 5573030 (fax)
• Fiora Pirri
  
  pirri@dis.uniroma1.it
  
  Dipartimento di Informatica e Sistemistica
  
  Università di Roma "La Sapienza"
  
  Via Salaria, 113
  
  I-00198, Roma (Italy)