Track: System & Projects (Chair: Claudio Sacerdoti Coen)
The Systems and Projects track provides a forum for presentation of systems and new and ongoing projects in all areas and topics related to the CICM. It provides an overview of the latest developments and trends within the CICM community and allows exchanging ideas between developers and (actual or potential) users.
System entries (exactly 1 page, strictly adhering to the following LaTeX template) will be consolidated into a single paper to appear in the formal proceedings of CICM. A system entry can describe both a new tool or a new release of an existing tool. The consolidated paper is meant to showcase the vitality of the CICM community by providing a quick reference to software that is still maintained.
System description (up to 5 pages) publish digital resources whose value cannot be adequately represented by a printed-paper alone.
A system description must have a corresponding System entry submission.
Project descriptions (up to 15 pages) publish overviews of larger bodies of research with a broad focus that cannot be achieved in typical conference papers:
12th Conference on Intelligent Computer Mathematics
July 8-12, 2019
Prague, Czech Republic