*************************** Last Call For Papers *************************** ** ** ** Special issue of the ** ** ** ** JOURNAL OF AUTOMATED REASONING ** ** on ** ** FIRST-ORDER THEOREM PROVING ** ** ** ****************************************************************************** Following the tradition of the previous Workshops on First-order Theorem Proving, a special issue will be edited to commemorate the fourth workshop in this series. This special issue will be published by Kluwer Academic Publishers within the Journal of Automated Reasoning. This special issue will focus on First-order Theorem Proving as a core theme of Automated Deduction, including: * theorem proving in first-order classical, many-valued, and modal logics, including: - resolution - equational reasoning - term rewriting - model construction - constraint reasoning - unification - description logics - propositional logic - specialized decision procedures * strategies and complexity of theorem proving procedures, * applications of first-order theorem provers, for example to problems in verification, artificial intelligence, mathematics or education. This special issue welcomes original high quality contributions which have been neither published in nor submitted to any journals or refereed conferences. The contributions are not limited to those presented at the workshop FTP'2003. Invited Editors for this special issue: * Ingo Dahn (Universitaet Koblenz-Landau, Germany) * Laurent Vigneron (LORIA - Universite Nancy 2, France) Editor-in-Chief of JAR: * Deepak Kapur (University of New Mexico, Albuquerque, USA) Authors are encouraged to use LaTeX and the Kluwer style files for preparing their submission (see http://www.wkap.nl/authors/jrnlstylefiles/). Papers will be refereed following the standard JAR reviewing process. Submissions have to be sent to: ftp2003@uni-koblenz.de (as a Postscript or PDF file) Important Dates: Paper submissions October 15, 2003 Notification of acceptance February 16, 2004 Publication By the end of 2004 Further information: For regularly updated information, visit the web page: http://rewriting.loria.fr/FTP-2003/jar/ or the more general page on FTP in 2003: http://rewriting.loria.fr/FTP-2003/ For questions: ftp2003@uni-koblenz.de