From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id AECF4BC57 for ; Fri, 11 Jun 2010 15:21:48 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AvUBAFfVEUzBNsMbnGdsb2JhbACDHptdFQEBAQEBCBMJM642kGWBJoMDbwQ X-IronPort-AV: E=Sophos;i="4.53,403,1272837600"; d="scan'208";a="52910501" Received: from smtp2.ensiie.fr ([193.54.195.27]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 11 Jun 2010 15:21:48 +0200 Received: from popens.ensiie.fr (rioboo@lunix.ensiie.fr [193.54.195.202]) by smtp2.ensiie.fr (8.12.11/8.12.11) with ESMTP id o5BDLmfq027510; Fri, 11 Jun 2010 15:21:48 +0200 (CEST) To: caml-list@inria.fr, coq-club@inria.fr Subject: CICM 2010 Call for participation Organization: ENSIIE http://www.ensiie.fr/~rioboo/ From: Renaud.Rioboo@ensiie.fr User-Agent: Gnus/5.11 (Gnus v5.11) Emacs/22.3 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Message-ID: Date: Fri, 11 Jun 2010 15:20:46 +0200 X-Spam: no; 0.00; renaud:01 algebra:01 mips:01 therese:01 renaud:01 10,:98 2009:98 wine:98 symbolic:01 symbolic:01 computation:01 computation:01 languages:03 programming:03 library:03 Please apolgy for multiple copies We are pleased to announce CICM 2010 which will take place at Conservatoire National des Arts et M=C3=A9tiers 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)=20 - 17th Symposium on the Integration of Symbolic Computation and Mechanised Reasoning (Calculemus 2010)=20 - 9th International Conference on Mathematical Knowledge Management=20 (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 2= 010) - 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)=20 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