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

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.