CFP, Journal of Logic and Computation, Special Issue

[Nicola OLIVETTI]

			 Call for papers

                         Special issue of the

                    JOURNAL OF LOGIC AND COMPUTATION

                                  on

    AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS



IMPORTANT DATES

Paper submission:  December 15, 2007
Notification of acceptance:  April 15, 2008
Publication:  by the end of 2008


GENERAL INFORMATION

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. 

This special issue has its origins in the International Conference on
Automated Reasoning with Analytic Tableaux and Related Methods 
(TABLEAUX'07), which was held in Aix en Provence (France) in July 2007. 
It will be published in the Journal of Logic and Computation 
by Oxford University Press.


TOPICS

This special issue focuses on automated reasoning with analytic
tableaux. Topics of interest include the following:

    * 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, many-valued...)
    * systems, tools, implementations and applications.


SUBMISSIONS

This special issue welcomes original high-quality contributions that
have been neither published in nor submitted to any journals or 
refereed conferences.

Authors of papers presented at TABLEAUX 2007 are welcome to
submit extended and revised versions of their papers. However,
contributions are not limited to those based on papers presented at
TABLEAUX 2007; other submission are welcome as well.
All submissions will be refereed to usual journal standards.

Submissions should not exceed 30 pages and preferably be written in LaTeX 
and be formatted according to JLC's author’ guidelines  
(see the link on the special issue's web page below).


Submissions should be sent to (as a Postscript or PDF file):

nicola.olivetti at univ-cezanne.fr 


EDITOR

Nicola Olivetti (LSIS, Paul Cézanne University, Marseille, France)


FURTHER INFORMATION

For further information visit the web page:
http://tableaux2007.univ-cezanne.fr/CFPJLC.htm

Home page of TABLEAUX 2007: 
http://tableaux2007.univ-cezanne.fr/


Nicola Olivetti
Chair of TABLEAUX 2007


--
Nicola Olivetti
LSIS - UMR CNRS 6168
Université Paul Cézanne (Aix-Marseille 3)
Domaine Universitaire de Saint-Jérôme
Avenue Escadrille Normandie-Niemen
13397 Marseille Cedex 20 (France) 
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/