CICM-2018: Intelligent Computer Mathematics RISC Hagenberg, Austria, August 13-17, 2018 |
Conference website | http://cicm-conference.org/2018/cicm.php |
Submission link | https://easychair.org/conferences/?conf=cicm2018 |
Abstract registration deadline | April 15, 2018 |
Submission deadline | April 22, 2018 |
Digital and computational solutions are becoming the prevalent means for the generation, communication, processing, storage and curation of mathematical information. Separate communities have developed to investigate and build computer based systems for computer algebra, automated deduction, and mathematical publishing as well as novel user interfaces. While all of these systems excel in their own right, their integration can lead to synergies offering significant added value. The Conference on Intelligent Computer Mathematics (CICM) offers a venue for discussing and developing solutions to the great challenges posed by the integration of these diverse areas.
Submission Guidelines
CICM welcomes submissions in the following categories:
- Formally reviewed papers consisting of
- Regular papers
- System and dataset descriptions
- Surveys and project descriptions
- Informal submissions of any kind, e.g., work-in-progress, positions statements, research announcements
- Doctoral programme
List of Topics
- Computer Algebra and Theorem Proving
- Digital Mathematical Libraries
- Mathematical Knowledge Management
Committees
- PC chairs: Florian Rabe (general chair), Bill Farmer, Grant Passmore, and Abdou Youssef. The full PC is available at the conference web site.
- Local organizer: Wolfgang Windsteiger
- Workshops, Tutorial, and Doctoral Programme: Osman Hasan
- Publicity chair: Serge Autexier
Invited Speakers
Publication
CICM-2018 proceedings will be published in the Springer LNCS series.
Venue
The conference will be held at RISC in Hagenberg, Austria.
Contact
All questions about submissions should be emailed to cicm2018 at easychair.org