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 Bruce Miller and Abdou Youssef, takes place at George Washington University and consists of five tracks
The overall programme is organized by the General Program Chair Manfred Kerber. The workshop and publicity chair is Serge Autexier. The Springer Proceedings (LNAI 9150) are now available online. The informal work in progress proceedings are available here. Invited Speakers
In addition to the main tracks, CICM 2015 will host the following 3 workshops
Sponsored by 
8^{th} Conference on Intelligent Computer Mathematics
CICM 2015
July 1317, 2015
Washington DC, USA
You must enable JavaScript to use this site

News
 Please participate in the online survey
 WorkinProgress informal proceedings online
 Springer proceedings available online
 Travel information available