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 Pedro Quaresma, takes place at University of Coimbra and consists of four tracks

Track: Calculemus (chair: James Davenport)
Track: Digital Mathematical Libraries (DML) (chair: Petr Sojka)
Track: Mathematical Knowledge Management (MKM) (chair: Josef Urban)
Track: Systems & Projects (chair: Alan Sexton)

The overall programme is organized by the General Program Chair Stephen Watt. The publicity chair is Serge Autexier.

The Springer Proceedings (LNCS 8543) are now available from here and online here.
The workshops and work in progress proceedings were published with CEUR-WS.org as volume 1186.

Invited Speakers


Yves Bertot	Jaime Carvalho e Silva	António Leal Duarte	Herbert Van de Sompel	Eric Weisstein
Inria	University of Coimbra	University of Coimbra	Los Alamos National Laboratory	Wolfram\|Alpha
A naive view of Homotopy Type Theory and its relation to the calculus of constructions	What international studies say about the importance and limitations of using computers to teach mathematics in secondary schools	Teaching Tiles (Joint Speaker with ADG 2014)	Towards Robust Hyperlinks for Web-Based Scholarly Communication	Computable data, mathematics, and digital libraries in Mathematica and Wolfram\|Alpha