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.
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
- Please participate in the online survey
- Work-in-Progress informal proceedings online
- Springer proceedings available online
- Travel information available