[Axiom-mail] CICM 2010 Call for participation

[Renaud . Rioboo]

CICM 2010 Call for participation

                   Please apolgy for multiple copies

We are pleased to announce CICM 2010 which will take place at
Conservatoire National des Arts et Métiers in Paris, France from July 5
to July 10, 2010.  This continues the CICM series begun with the
successful CICM 2008 in in Birmingham, England and CICM 2009 in Grand
Bend, Ontario, Canada.

Please visit

                   http://cicm2010.cnam.fr/

Conferences on Intelligent Computer Mathematics gather several
conferences:

- 10th International Conference onArticficial Intelligence and Symbolic
  Computation (AISC 2010) 
- 17th Symposium on the Integration of Symbolic
  Computation and Mechanised Reasoning (Calculemus 2010) 
- 9th International Conference on Mathematical Knowledge Management 
  (MKM 2010)

Associated Workshops are:

- 3rd Workshop on Compact Computer Algebra (CCA 2010)
- 3rd Workshop, Towards a Digital Mathematics Library (DML 2010)
- 4th Workshop on Programming Languages for Mechanized Mathematics (PLMMS 2010)
- 23rd Workshop on OpenMath (OpenMath)
- Mathematically Intelligent Proof Search (MIPS 2010)
- 6th Workshop on Mathematical User-Interfaces (MathUI 2010)
- Content Math Training Camp with Doctoral Programme (CMTC+DP) 

Further events include:

- A ScienCe Eu project meeting
- The EuDML European project kickoff meeting
- A program for doctoral students
- A special training camp on Content Markup for Mathematics
- A day program in honour of Therese Hardin

Social Events

- Conference reception with Wine & Cheese buffet at the "Cafe des
  Techniques" at the CNAM Museum.
- Conference Banquet at restaurant le Grand Bleu, Port de l'Arsenal.

The full list of events is at

                 http://cicm2010.cnam.fr/programme.html

Looking forward to see you in Paris.

Laurence Rideau, Renaud Rioboo