posted by organizer: clange || 2631 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

ARTIS 2022   ARTIS - Revista de História da Arte e Ciências do Património #10
EI-CFAIS 2022   2022 International Conference on Frontiers of Artificial Intelligence and Statistics (CFAIS 2022)
ICTR 2022   5th International Conference on Tourism Research 2022
ICEFS 2022   【WOS】【Scopus】2022 10th International Conference on Economics, Finance and Statistics
CD-MAKE 2022   Cross Domain Conference for Machine Learning and Knowledge Extraction
ACM-Ei/Scopus-ITNLP 2022   2022 2nd International Conference on Information Technology and Natural Language Processing (ITNLP 2022) -EI Compendex
MDASD 2022   7th Workshop on Model Driven Approaches in System Development
IOP, EI, Scopus-PRECE 2022   2022 International Conference on Power, Renewable Energy and Control Engineering (PRECE 2022)-EI Compendex
HPA-PDE 2022   4th Workshop on Applied High Performance Numerical Algorithms for PDEs
Political Theology and the State of Exce 2022   CALL FOR SUBMISSIONS - Political Theology and the State of Exception: Critical readings on the centenary of Political Theology & Roman Catholicism and Political Form by Carl Schmit