CICM 2015 - Conference on Intelligent Computer Mathematics (CICM)

Digital and computational solutions are becoming the prevalent means for the generation, communication, processing, storage and curation of mathematical information. Separate communities have developed to investigate and build computer based systems for computer algebra, automated deduction, and mathematical publishing as well as novel user interfaces. While all of these systems excel in their own right, their integration can lead to synergies offering significant added value. The Conference on Intelligent Computer Mathematics (CICM) offers a venue for discussing and developing solutions to the great challenges posed by the integration of these diverse areas.
CICM has been held annually as a joint meeting since 2008, co-locating related conferences and workshops to advance work in these subjects. Previous meetings have been held in Birmingham (UK 2008), Grand Bend (Canada 2009), Paris (France 2010), Bertinoro (Italy 2011), Bremen (Germany 2012), Bath (UK 2013), and Coimbra (Portugal 2014).
This is a call for papers for CICM 2015, which will be held in Washington, D.C., 13-17 July 2015.
The principal tracks of the conference will be:
Calculemus (Symbolic Computation and Mechanised Reasoning)
Chair: Jacques Carette
DML (Digital Mathematical Libraries)
Chair: Volker Sorge
MKM (Mathematical Knowledge Management)
Chair: Cezary Kaliszyk
Systems and Data
Chair: Florian Rabe
Doctoral Programme
Chair: Umair Siddique