General Organization:

• Laurence Rideau (INRIA Sophia Antipolis, France)
• Renaud Rioboo (ENSIIE, France)

Local Organization:

• David Delahaye (CNAM, France)
• Véronique Donzeau-Gouge (CNAM, France)
• Catherine Dubois (ENSIIE, France)

Artificial Intelligence and Symbolic Computation:

• Serge Autexier (DFKI Bremen, Germany)

Calculemus:

• David Delahaye (CNAM, France)
• Renaud Rioboo (ENSIIE, France)

Mathematical Knowledge Management:

• Patrick Ion (AMS, USA)
• Alan Sexton (University of Birmingham, UK)

Programming Languages for Mechanized Mathematics Systems:

• James H. Davenport (University of Bath, UK)
• Lucas Dixon (University of Edinburgh, UK)

Digital Mathematical Libraries:

• Petr Sojka (Masaryk University, Czech Republic)

Workshop on Mathematically Intelligent Proof Search:

• Serge Autexier (DFKI Bremen, Germany)
• Peter Koepke (University of Bonn, Germany)
• Bernhard Schröder (University of Duisburg-Essen, Germany)
• Wilfried Sieg (CMU, USA)

OpenMath Workshop:

• Michael Kohlhase (Jacobs University Bremen, Germany)
• Christoph Lange (Jacobs University Bremen, Germany)

Doctoral Programme:

• Volker Sorge (University of Birmingham, UK)

Content Math Training Camp:

• Michael Kohlhase (Jacobs University Bremen, Germany)
• Christoph Lange (Jacobs University Bremen, Germany)
• Volker Sorge (University of Birmingham, UK)

Web Site, CICM 2010 Logo, and Poster Design:

• Émeraude Kim (CNAM, France)
  with the help of David Delahaye (CNAM, France)