Logic List Mailing Archive

CfP special issue of Mathematics in Computer Science on "Enabling Domain Experts to use Formalised Reasoning", Deadline: 31 Oct 2013

Call for Papers for a Special Issue of MATHEMATICS IN COMPUTER SCIENCE

               ENABLING DOMAIN EXPERTS TO USE FORMALISED REASONING
        http://www.cs.bham.ac.uk/research/projects/formare/pubs/mcs-doform/

            Guest editors: Manfred Kerber, Christoph Lange, Colin Rowat

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

Topics of interest include but are not limited to:

* for domain experts: what problems in application domains could
   benefit from better verification and knowledge management
   facilities? Possible fields include:

   - Example 1 (economics): auctions, value-at-risk models, trading
     algorithms, market design

   - Example 2 (engineering): system interoperability, manufacturing
     processes, product classification

* for computer scientists: how to provide the right knowledge
   management and verification tools to domain experts without a
   computer science background?

   -  wikis and blogs for informal, semantic, semiformal, and formal
      mathematical knowledge;
   -  general techniques and tools for online collaborative mathematics;
   -  tools for collaboratively producing, presenting, publishing, and
      interacting with online mathematics;
   -  automation and human-computer interaction aspects of mathematical
wikis;
   -  ontologies and knowledge bases designed to support knowledge
      management and verification in application domains;
   -  practical experiences, usability aspects, feasibility studies;
   -  evaluation of existing tools and experiments;
   -  requirements, user scenarios and goals.

Submissions should be approximately 20 pages long, should follow
publishers' instructions and should be submitted via EasyChair.

Potential contributors may contact the guest editors
(doformmcs2014@easychair.org) to discuss the suitability of topics and
papers.