[TYPES] Call for participation: TABLEAUX 2007

[benhamou]

We apologize for multiple copies of this CFP
------------------------------------------------------------

            %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
            %%            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

Due to the very high turistic actvity in Aix in July, the availability 
of hotel
rooms is not guaranteed. We strongly suggest anybody who is interested 
in participating
in the Conference to make his/her own hotel reservation as soon as 
possible, following
the directions for accommodations found in the web site of the conference.


Belaïd Benhamou

Publicity Chair