TABLEAUX 2007, Call for Participation

[Nicola OLIVETTI]

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


Nicola Olivetti

Program and Conference Chair of TABLEAUX 2007