American Mathematical Society

My Account · My Cart · Customer Services · FAQ  

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.


Description

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.

Organizer

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.

Information

http://cicm-conference.org/2014/cicm.php.