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.
In addition to the main tracks, CICM 2015 will host the following 3 workshops
8th Conference on Intelligent Computer Mathematics
July 13-17, 2015
Washington DC, USA