Call for Papers

Journal of Applied Logic

Special Issue on

Empirically Successful Computerized Reasoning (ESCoR)

Deadline: 4 December 2006

http://www.cs.man.ac.uk/~schmidt/ESCoR


This call for papers is also available as a PDF flyer.


Scope

The special issue is devoted to all aspects of the implementation and deployment of working computerized reasoning systems. Reasoning in all forms (automated, interactive, etc) and all logics (classical, non-classical, all orders, etc) is of interest to the special issue. We welcome contributions on the following topics:

Systems:

Applications

Papers on related subjects will also be considered.

Submissions should discuss aspects of "really working" systems and applications, and should not focus on theoretical ideas that have not yet been translated into working software.


The journal

The Journal of Applied Logic is an international journal published by Elsevier. The journal welcomes papers in the areas of logic which can be applied in other disciplines as well as application papers in those disciplines, the unifying theme being logics arising from modelling the human agent.


Submissions

We expect full, high-quality papers (typically 20-40 pages) of original, previously unpublished research, which are written in English, and are not simultaneously submitted for publication elsewhere. Papers previously presented in conference proceedings of limited circulation may be judged eligible for publication in revised form. Please add a comment about such prior presentation in the abstract field at the time the manuscript is submitted via the on-line submission system.

The normal reviewing process for journals will be used and papers should conform to the usual high standard of international journals. Submissions should be formatted according to JAL's author guidelines, and preferably be written in LaTeX. To be considered, submissions must be received no later than December 4, 2006.

Submission is via the EasyChair on-line submission system at http://www.easychair.org/ESCoRJAL2007/.


Important Dates

December 4, 2006 Submission deadline
February 12, 2007 Acceptance notification
March 12, 2007 Camera-ready papers due


Further information

Please feel free to send any questions to Renate.Schmidt@manchester.ac.uk.

Up-to-date information will be available from the special issue website (this website).


Guest editors

Renate Schmidt  
  School of Computer Science
  University of Manchester
  Oxford Rd, Manchester M13 9PL
  UK
  Renate.Schmidt@manchester.ac.uk
Geoff Sutcliffe  
  Department of Computer Science
  University of Miami
  P.O. Box 248154, Coral Gables, FL 33124
  USA
  geoff@cs.miami.edu
Stephan Schulz  
  Institut für Informatik 4
  TU München
  Boltzmannstr. 3, 85748 Garching b. München
  Germany
  schulz@informatik.tu-muenchen.de


Useful websites

ESCoR Special issue: http://www.cs.man.ac.uk/~schmidt/ESCoR/ (this page)
Journal of Applied Logic: http://www.elsevier.com/locate/jal/
ESCoR Workshop: http://www.cs.miami.edu/~geoff/Conferences/ESCoR/
ESCoR Workshop proceedings: http://ceur-ws.org/Vol-192


Last modified: 27 Nov 06
Renate Schmidt