[TYPES/announce] Call for participation: Tableaux 2007

[benhamou]

            %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
            %%            Call for Participation          %%
            %%                                            %%
            %%               TABLEAUX 2007                %%
            %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

               International Conference


                TABLEAUX 2007

               Automated Reasoning with
        Analytic Tableaux and Related Methods

            Aix en Provence, France
                3-6 July 2007
        
        http://tableaux2007.univ-cezanne.fr/


GENERAL INFORMATION

  This conference is the 16th in a series of international meetings on
  Automated Reasoning with Analytic Tableaux and Related Methods.

 
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.

 
INVITED SPEAKERS:

Piero Bonatti, Università di Napoli  
John-Jules Meyer, Utrecht University
Cesare Tinelli, University of Iowa

TUTORIALS:

The Tableau Work Bench: Theory and Practice (P. Abate, R. Goré)
Tableau Methods for Interval Temporal Logics (V. Goranko, A. Montanari)
Semistructured Databases and Modal Logic (S. Cerrito)


COLOCATED WORKSHOP:

AGENTS, LOGIC AND THEOREM PROVING
3 July 2007,
http://www.lif-sud.univ-mrs.fr/~schwind/Agentws.html



ON-LINE REGISTRATION is now open at:
http://tableaux2007.univ-cezanne.fr


Belaïd Benhamou

Publicity Chair of TABLEAUX