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
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
_______________________________________________
Caml-list mailing list. Subscription management:
http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
Archives: http://caml.inria.fr
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
No comments:
Post a Comment