[Top] [All Lists]

[ontolog-forum] CfP for Math. in Computer Science Special Issue on 'Enab

To: OntoIOp open discussion <ontoiop-forum@xxxxxxxxxxxxxxxx>, ontolog-forum@xxxxxxxxxxxxxxxx
From: Christoph LANGE <math.semantic.web@xxxxxxxxx>
Date: Wed, 12 Jun 2013 15:24:38 +0100
Message-id: <51B884A6.509@xxxxxxxxx>
     Call for Papers for a Special Issue of MATHEMATICS IN COMPUTER SCIENCE    (01)

       http://www.cs.bham.ac.uk/research/projects/formare/pubs/mcs-doform/    (02)

           Guest editors: Manfred Kerber, Christoph Lange, Colin Rowat    (03)

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:    (04)

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

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

For further examples, please see the Symposium on Enabling Domain
Experts to use Formalised Reasoning
held at the annual convention of the AISB (Society for the Study of
Artificial Intelligence and Simulation of Behaviour) in April 2013.    (07)

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

Topics of interest include but are not limited to:    (09)

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

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

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

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

  -  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
  -  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.    (014)

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

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

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

→ 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    (018)

Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/  
Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/  
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/ 
To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J    (019)

<Prev in Thread] Current Thread [Next in Thread>
  • [ontolog-forum] CfP for Math. in Computer Science Special Issue on 'Enabling Domain Experts to use Formalised Reasoning' (deadline 31 Oct), Christoph LANGE <=