[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Please apology 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 on Articficial 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 Thérèse Hardin Social Events - Conference reception with Wine & Cheese buffet at the "Café 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