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 James Davenport, takes place at University of Bath and consists of four tracks
Invited talks by Patrick Ion (Mathematical Reviews, American Mathematical Society, USA), Assia Mahboubi (École Polytechnique and INRIA/Microsoft Research Joint Centre, France), and Ursula Martin (Queen Mary, University of London, UK).
Workshops & Doctoral ProgrammeIn addition to the four main tracks, CICM 2013 will host four workshops
Conferences on Intelligent Computer Mathematics
8.-12. July 2013
Last modified: April 19 2013 15:10:01 CEST