We invite high-quality original research papers to a special issue of
the Birkhäuser/Springer journal Mathematics in Computer Science on the
use of systems based on a formal, explicit, machine-verifiable
representation of knowledge in application domains such as economics,
engineering, health care, education. Examples include:

* problems from application domains, which could benefit from better
verification and knowledge management facilities, and

* knowledge management and verification tools, which domain experts
can use without a computer science background. (Read more about our
topics of interest)

For further examples, please see the Symposium on Enabling Domain
Experts to use Formalised Reasoning
(http://www.cs.bham.ac.uk/research/projects/formare/events/aisb2013/)
held at the annual convention of the AISB (Society for the Study of
Artificial Intelligence and Simulation of Behaviour) in April 2013.

Submission: 31 October 2013
Notification: 15 December 2013
Revised version due: 15 January 2014
Final version due: 15 February 2014
Publication (expected): April 2014