[DL] DEADLINE EXTENSION: Special JSC issue on First Order Theorem Proving

Viorica Sofronie-Stokkermans sofronie at mpi-sb.mpg.de
Fri May 7 13:53:18 CEST 2010

             [Apologies for multiple copies]

                  DEADLINE EXTENSION

            Journal of Symbolic Computation
       Special Issue on First Order Theorem Proving
*   Due to several requests, the submission deadline for the   *
*   special issue of the Journal of Symbolic Computation on    *
*   First Order Theorem Proving is extended until              *
*               *** JUNE 1st, 2010 ***                         *

Further information about this special issue and details about
the topics of interest and the submission procedure can be found
at: http://www.mpi-inf.mpg.de/~sofronie/ftp-special-issue.html

Submission to this special issue is completely open.

We expect original articles (typically 15-30 pages) that present
high-quality contributions in the area of First Order Theorem
Proving (in a wide sense) that have not been previously published
in a journal and are not simultaneously submitted for publication
elsewhere (extended or improved versions of conference papers are

Submissions must comply with JSC's author guidelines.
The article should preferably be written using Elsevier's
document class "elsarticle". The Elsevier LaTeX style file
package can be obtained from  http://www.elsevier.com/latex.

Further details on how to prepare the paper are mentioned at:

Submission to this special issue is via EasyChair:

Guest editors:
Nicolas Peltier (CNRS - LIG,France)
Viorica Sofronie-Stokkermans (MPI,Saarbruecken,Germany)

For further informations please send an e-mail to
Viorica Sofronie-Stokkermans (e-mail: sofronie at mpi-inf.mpg.de)

More information about the dl mailing list