The Coq mailing list

[Renaud.Rioboo AT ensiie.fr]

                   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