You must enable JavaScript to use this site
  • Track E: System & Projects (Chair: Volker Sorge)

    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:

    • AI and Symbolic Computation
    • Deduction and Computer Algebra
    • Mathematical Knowledge Management
    • Digital Mathematical Libraries
    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 for two to four page abstracts 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.

    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.

    All submissions should contain links to demos, downloadable systems, or project pages. Availability of such accompanying material will be a strong prerequisite for acceptance.

    Accepted abstracts will be published in the CICM proceedings in Springer's LNAI series. Author's are expected to present their abstracts in 5-10 minute teaser talks followed by an open demo/poster session. System papers must be accompanied by a system demonstration, while project papers must be accompanied by a poster presentation.

Privacy policy and legal information
Last modified: April 04 2018 09:42:19 CEST