Conferences on Intelligent Computer Mathematics, CICM 2014
Month: July 2014
Date: July 7--11
Name: Conferences on Intelligent Computer Mathematics, CICM 2014
Location: University of Coimbra, Coimbra, Portugal.
As 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. Track A: Calculemus (chair: James Davenport). Track B: Digital Mathematical Libraries (DML) (chair: Petr Sojka). Track C: Mathematical Knowledge Management (MKM) (chair: Josef Urban). Track D: Systems & Projects (chair: Alan Sexton). The overall programme is organized by the General Program Chair Stephen Watt. The publicity chair is Serge Autexier.