Objectives

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 James Davenport, takes place at University of Bath and consists of four tracks

Track A: Calculemus (chair: Wolfgang Windsteiger)
Track B: Digital Mathematical Libraries (DML) (chair: Petr Sojka)
Track C: Mathematical Knowledge Management (MKM) (chair: David Aspinall)
Track D: Systems & Projects (chair: Christoph Lange)

The overall programme is organized by the General Program Chair Jacques Carette. The publicity chair is Serge Autexier.

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).

The Springer Proceedings are now available online.
The workshops and work in progress proceedings were published with CEUR-WS.org.

Workshops & Doctoral Programme

In addition to the four main tracks, CICM 2013 will host four workshops

and a doctoral programme organized by Claudio Sacerdoti-Coen.

News

Last modified: April 04 2018 09:42:19 CEST

Objectives

Workshops & Doctoral Programme

News