You must enable JavaScript to use this site
  • Track D: System & Projects (Chair: Christoph Lange)

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

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

    The 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 submissions of two to four page papers in the categories of system descriptions and project presentations.

    System description should present

    • newly developed systems,
    • systems that have not previously been presented to the CICM community, or
    • significant updates to existing systems.

    Systems must be available for download.

    Project presentation should describe

    • projects that are new or about to start,
    • ongoing projects that have not yet been presented to the CICM community.
    • significant new developments in ongoing previously presented projects.

    Presentations of new projects should mention relevant previous work and include a roadmap that outlines concrete steps.

    All submissions should contain links to demos, downloadable systems, or project websites.

    Submissions to the Systems & Projects track must not exceed four pages. The accepted papers will be included in the proceedings, but presented at CICM in a session of 5-minute teaser talks, followed by an open demo/poster session. System papers must be accompanied by a system demonstration, and project papers must be accompanied by a poster presentation. 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.

Last modified: December 19 2016 18:02:45 CET