[isabelle] [Tableaux2005] Special Issue of the Journal of Automated Reasoning



Dear all,

as already announced during the conference, there will be a special 
issue of the Journal of Automated Reasoning on Automated Reasoning with 
Analytic Tableaux and Related Methods.

Authors of papers presented at the TABLEAUX conference are welcome to 
submit extended and revised versions of their papers. However, 
contributions are not limited to those based on papers presented at 
TABLEAUX; other submission are welcome as well.

The is a great opportunity to further promote tableau-based reasoning. 
So please consider submitting a paper to this special issue.

Best regards
Bernhard Beckert


                           Call for papers

                         Special issue of the

                    JOURNAL OF AUTOMATED REASONING

                                  on

    AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS



IMPORTANT DATES

Paper submission:  January 15, 2006
Notification of acceptance:  May 15, 2006
Publication:  By the end of 2006


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, which
was held in Koblenz (Germany) in September 2005. It will be published
by Springer within the Journal of Automated Reasoning.


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, ...)
    * implementation techniques
    * 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 the TABLEAUX conference are welcome to
submit extended and revised versions of their papers. However,
contributions are not limited to those based on papers presented at
TABLEAUX; other submission are welcome as well.

All submissions should be written in terms understandable by general
readers of the journal. And all submissions will be refereed to usual
journal standards.

Submissions should be formatted according to JAR's author guidelines
(see the link on the special issue's web page below), and preferably
be written in LaTeX. A LaTeX style file can be obtained here:
http://www.springeronline.com/authors/jrnlstylefiles

Submissions should be sent to (as a Postscript or PDF file):
beckert at uni-koblenz.de 


EDITORS

Bernhard Beckert (University of Koblenz, Germany)
Lawrence Paulson (University of Cambridge, UK)


FURTHER INFORMATION

For further information visit the web page:
http://tableaux2005.uni-koblenz.de/JAR

Or send an email to one of us:
beckert at uni-koblenz.de or
Larry.Paulson at cl.cam.ac.uk

-- 
    __o  Gernot Stenz  e-mail:stenzg at informatik.tu-muenchen.de        /\
   -\<,          WWW:  http://www4.in.tum.de/~stenzg               /\/--\
_(_)/(_)_Fromentine - Paris: 3584 km______________________________/      \

_______________________________________________
Tableaux2005 mailing list
Tableaux2005 at mailbroy.informatik.tu-muenchen.de
https://mailbroy.informatik.tu-muenchen.de/cgi-bin/mailman/listinfo/tableaux2005





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.