Track: System & ProjectsThe 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.
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:
|
CICM 2022
15th Conference on Intelligent Computer Mathematics
September 19 - 23, 2022
Tbilisi, Georgia (hybrid event)
You must enable JavaScript to use this site
-
News
- Proceedings are freely accessible from CICM Web page between Sept 19-Oct 31.
- Proceedings are online
- The program is online
- Kickoff Meeting on EuroProofNet Libraries at CICM
- Special registration option for online participation
- Accepted papers are online
- Registration is open to all CLAS'22 events, including CICM
- Submission deadlines extended
- CICM will be a hybrid event
- Springer LNAI proceedings confirmed
- PC and dates online
- Initial website online