CISA sponsored conference, being held at School of Informatics The local website for CICM is now live here: http://dream.inf.ed.ac.uk/events/cicm2017/ The next Conference on Intelligent Computer Mathematics (CICM 2017) — which offers a venue for discussing and developing solutions to the challenges posed by the integration of areas such as automated reasoning, computer algebra, mathematical publishing and user interfaces — will take place in the School of Informatics, University of Edinburgh from the 17th to the 21st of July 2017. The conference is organized by Jacques Fleuriot and Suzanne Perry and will consist of at least five tracks and attract researchers from all over the world. This article was published on 2024-11-22