CALL FOR PAPERS
Journal of Symbolic Computation
Special Issue on
First-Order Theorem Proving
Submission deadline: June 1st, 2010 (extended)
This special issue is dedicated to the topics of FTP 2009,
namely all aspects of First-Order Theorem Proving as a core
theme of Automated Deduction.
We welcome original contributions on various aspects of
first-order theorem proving, including (but not restricted to):
Submission to this special issue is completely open.
We expect original articles (typically 15-30 pages; submission
of larger papers will be evaluated depending on editorial
constraints) that present high-quality contributions that have
not been previously published in a journal and that must not be
simultaneously submitted for publication elsewhere (extended
and/or improved versions of conference papers are acceptable).
Without these, the paper will not be considered.
Submission to this special issue is via the EasyChair submission system
The deadline for submissions is June 1st, 2010(extended)
Submissions must comply with JSC's author guidelines.
They must be written in English and should be prepared in LaTeX.
The article should preferably be written using Elsevier's document
class "elsarticle". The Elsevier LaTeX style file package (including
detailed instructions for LaTeX preparation) can be obtained from
It consists of the file: elsarticle.cls, complete user
documentation for the class file, bibliographic style files
in various styles, and template files for a quick start.
An older version of the "Elsevier Article Class (elsart.cls)" with
"JSC add-on style (yjsco.sty)" and "Harvard style references
(elsart-harv.bst)" can be obtained as the package "JSC LaTex"
(that contains all the necessary style files and a template) from
For further informations please send an e-mail to
Viorica Sofronie-Stokkermans (firstname.lastname@example.org)