posted by organizer: clange || 2531 views || tracked by 9 users: [display]

Do-Form@MCS 2014 : Do-Form (Enabling Domain Experts to use Formalised Reasoning) SI of MCS

FacebookTwitterLinkedInGoogle

Link: http://www.cs.bham.ac.uk/research/projects/formare/pubs/mcs-doform/
 
When N/A
Where N/A
Submission Deadline Oct 31, 2013
Notification Due Dec 15, 2013
Final Version Due Feb 15, 2014
Categories    formal methods   computer science   economics   engineering
 

Call For Papers

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.

Related Resources

ICTR 2022   5th International Conference on Tourism Research 2022
ICSD 2022   10th International Conference on Sustainable Development,7 - 8 September ICSD 2022
EJSD Journal 2022   European Journal of Sustainable Development
MoWiN 2022   11th International Conference on Mobile & Wireless Networks
RiE 2022   13th International Conference on Robotics in Education
ACM--ICMLT--Ei and Scopus 2022   ACM--2022 7th International Conference on Machine Learning Technologies (ICMLT 2022)--Ei Compendex, Scopus
CSEIJ 2022   Computer Science & Engineering: An International Journal
MLAIJ 2022   Machine Learning and Applications: An International Journal
CoMSE 2022   2022 International Conference on Materials Science and Engineering (CoMSE 2022)
IWoSR 2022   2022 International Workshop on Service Robotics (IWoSR 2022)