Logic List Mailing Archive

CfP special issue of 'Mathematics in Computer Science' on formalised reasoning,

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.

-- 
Christoph Lange, School of Computer Science, University of Birmingham
http://cs.bham.ac.uk/~langec/, Skype duke4701

? Intelligent Computer Mathematics, 8?12 July, Bath, UK.
   Early registration deadline 23 June; http://cicm-conference.org/2013/
? Knowledge and Experience Management, 7-9 October, Bamberg, Germany.
   Submission until 1 July; http://minf.uni-bamberg.de/lwa2013/cfp/fgwm/
? Modular Ontologies (WoMO), 15 September, Corunna, Spain.
   Submission until 5 July; http://www.iaoa.org/womo/2013.html