Track: System & Projects (Chair: Osman Hasan)

The Systems and Projects track of the Conferences on Intelligent Computer Mathematics is a forum for presentation of systems and new and ongoing projects in all areas and topics related to the CICM conferences:

• Deduction and Computer Algebra (Calculemus)
• Digital Mathematical Libraries (DLM)
• Mathematical Knowledge Management (MKM)

Systems track provides a forum to publish digital resources whose value cannot be adequately represented by a printed-paper alone.

• Systems can be for example stand-alone; plugins, libraries, or extensions of existing systems; or integrations of existing systems.
• System papers may also describe various forms of Data, such as formalizations; harvests or new processing of existing data; or case studies, test cases, or benchmark suites for systems.

Projects also have a broader scope than regular papers (and consequently tend to present results at less depth).

• Papers on past projects may contain previously published results if their coherent presentation in a single paper provides new value.
• Papers on current projects may contain envisioned results if these are valuable to shape future research.
• Papers on new projects should mention relevant previous work and include a roadmap that outlines concrete steps.
• Project papers may also include Survey papers that present a relevant research problem and discuss, compare, or evaluate historical and/or state-of-the-art solutions. Surveys should be as comprehensive and objective as possible. The discussed research may or may not include research by the authors of the survey.

The systems and project track aims to provide an overview of the latest developments and trends within the CICM community as well as to exchange ideas between developers and introduce systems to an audience of potential users. We solicit full (up to 15 pages) and short (up to 6 pages) submissions for describing finished and ongoing works in both the systems and projects categories. Thus, the track provides the unique opportunity to discuss new ideas that are not mature enough to be accepted for the other CICM tracks.

The paper should contain new material, accompanied by links to demos/downloads/project-pages and [existing] system descriptions. Availability of such accompanying material will be a strong prerequisite for acceptance. Accepted papers will be published in the CICM proceedings in Springer's LNAI series. Last year's CICM proceedings has been indexed by Thomson's Web of Science (WoS) and we expect this year's proceedings to be indexed by WoS as well.