ObjectivesAs computers and communications technology advance, greater opportunities arise for intelligent mathematical computation. While computer algebra, automated deduction, mathematical publishing and novel user interfaces individually have long and successful histories, we are now seeing increasing opportunities for synergy among these areas. The conference is organized by Pedro Quaresma, takes place at University of Coimbra and consists of four tracks
The Springer Proceedings (LNCS 8543) are now available from here and online
here. Invited Speakers
Workshops & Doctoral ProgrammeIn addition to the four main tracks, CICM 2014 will host a doctoral programme organised by David Wilson and the following workshops
CICM 2014 will also be colocated with the nonCICM workshop on Automated Deduction on Geometry, ADG'2014, 911 July 2014. Sponsored by 
Conferences on Intelligent Computer Mathematics
CICM 2014
7.11. July 2014
Coimbra, Portugal
You must enable JavaScript to use this site

News
 CICM 2015 will be in Washington DC
 Photos of CICM available here (All photos)
 CICM 2014 is over
 Slides of talks online
 Talks linked to the electronic publications
Last modified: April 01 2015 08:16:01 CEST