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

    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 either be available for download or currently executable by the general public as a web application.

    Project presentations should describe

    • projects that are new or about to start,
    • ongoing projects that have not yet been presented to the CICM community or
    • 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 project submissions must have a live project website and should contain links to demos, videos, downloadable systems or downloadable datasets.

    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.

  • News



    cicm2014 logo
    coimbra logo
Privacy policy and legal information
Last modified: April 04 2018 09:42:21 CEST