TABLEAUX 2007 Preliminary Announcement

[Nicola OLIVETTI]

*************************************************************************
                       TABLEAUX 2007
                  Preliminary Announcement

	     http://tableaux2007.univ-cezanne.fr/
***********************************************************************
The conference TABLEAUX 2007, Automated Reasoning with Analytic Tableaux 
and Related Methods, will take place in Aix en Provence, France, 
3-6 July 2007. 

The conference will be hosted in the Centre Universitaire Aix Montperrin 
of the University Paul Cézanne (Aix-Marseille III).  

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

We expect to have more detailed information and to issue the first 
call for paper in September 2006.

**********************************************************************

Program Committee chair:
Nicola Olivetti

LSIS - UMR CNRS 6168
Université Paul Cézanne (Aix-Marseille 3)
email: nicola.olivetti at univ-cezanne.fr, nicola.olivetti at lsis.org
phone: +33 (0)49128 9094, fax: +33 (0) 49128 8334
http://www.lsis.org/olivetti/

***********************************************************************