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 Bruce Miller and Abdou Youssef, takes place at George Washington University and consists of five tracks

Track: Calculemus (chair: Jacques Carette)
Track: Digital Mathematical Libraries (DML) (chair: Volker Sorge)
Track: Mathematical Knowledge Management (MKM) (chair: Cezary Kaliszyk)
Track: Systems & Data (chair: Florian Rabe)
Track: Doctoral Programme (chair: Umair Siddique)

The overall programme is organized by the General Program Chair Manfred Kerber. The workshop and publicity chair is Serge Autexier.

The Springer Proceedings (LNAI 9150) are now available online. The informal work in progress proceedings are available here.

Invited Speakers


Leonardo de Moura	Tobias Nipkow	Jim Pitman	Richard Zanibbi
Microsoft Research	TU Munich	Berkeley	Rochester Institute of Technology
Formalizing mathematics using the Lean Theorem Prover	Analyzing the Archive of Formal Proofs	Towards a Global Digital Mathematics Library	Math Search for the Masses: Multimodal Search Interfaces and Appearance-Based Retrieval

In addition to the main tracks, CICM 2015 will host the following 3 workshops

Formal Mathematics for Mathematicians
Theorem proving components for Educational software (ThEdu'15)
MathUI'15

and a tutorial on Programming and Proving in the proof assistant Isabelle/HOL". Slides can be found at here.

Objectives

Invited Speakers

Sponsored by

News