Do-Form @ MCS: Topics of Interest

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.

This page was last modified on 11 June 2013.