Conferences on Intelligent Computer Mathematics
7.-11. July 2014
Last modified: April 16 2014 08:41:10 CEST
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
Workshops & Doctoral Programme
In 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 co-located with the non-CICM workshop on Automated Deduction on Geometry, ADG'2014, 9-11 July 2014.