Call for Papers

                  Journal of Symbolic Computation

           Special Issue on First-Order Theorem Proving

           http://www.uni-koblenz.de/ftp00/cfp-jsc.html

Following the tradition of the previous Workshops on First-Order
Theorem Proving, a special issue will be edited to commemorate the
recent success of FTP 2000, the third workshop in this series.  The
special issue will published by Academic Press within the Journal of
Symbolic Computation.

Scope
=====

Like FTP 2000 itself, the special issue will focus on First-Order
Theorem Proving as a core theme of Automated Deduction, in particular
first-order classical, many-valued, and modal logics, including
nonexclusively the following topics: resolution, equational reasoning,
term-rewriting, model construction, constraint reasoning, unification,
propositional logic, specialized decision procedures; strategies and
complexity of theorem proving procedures; implementation techniques
and applications of first-order theorem provers to problems in
verification, artificial intelligence, mathematics and other areas.

The special issue welcomes original contributions which have been
neither published in nor submitted to any journals or refereed
conferences.

The contributions are not limited to those presented at FTP 2000.

Guest Editors (Organizers of FTP 2000)
=============

Peter Baumgartner                          Hantao Zhang
University of Koblenz, Germany             University of Iowa, USA
www.uni-koblenz.de/~peter/                 www.cs.uiowa.edu/~hzhang/
pe…@uni-koblenz.de                       hzh…@cs.uiowa.edu

Submissions
===========

Submissions should be sent by email in Postscript format to
ft…@cs.uiowa.edu, accompanied by a plain text abstract. The
standard journal review process will be used.

Important Dates
===============

October   1, 2000      Paper submissions
November 15, 2000      Acceptance notification
December  5, 2000      Final submissions

Related Links
=============

www.uni-koblenz.de/ftp00/     FTP 2000 home page (including
                              accepted workshop papers).

www.logic.at/FTP/             International Workshops on First-Order
                              Theorem Proving (FTP) home page.

www.academicpress.com/jsc     Journal of Symbolic Computation (Academic
                              Press).
                              Contains a link to LaTeX templates and
                              style files to be used for the final
                              submissions.

–
Peter Baumgartner                        
phone: +49 261  287 2777    mail: pe…@uni-koblenz.de
fax:   +49 261  287 2731    WWW:  http://www.uni-koblenz.de/~peter/