CICM 2012 - Conferences on Intelligent Mathematics

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 will be organized by Serge Autexier and Michael Kohlhase at Jacobs University in Bremen and consist of five tracks
Track A: AISC (co-chairs: John A. Campbell, Jacques Carette)
Track B: Calculemus (chair: Gabriel Dos Reis)
Track C: DML (chair: Petr Sojka)
Track D: MKM (chair: Makarius Wenzel)
Track E:Systems & Projects (chair: Volker Sorge)
The overall programme will be organized by the General Program Chair Johan Jeuring.
Workshops & Doctoral Programme

In addition to the five main tracks, cicm 2012 will host a number workshops and a doctoral programme.