From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by sympa.inria.fr (Postfix) with ESMTPS id 26B687ED26 for ; Mon, 11 Jun 2012 16:27:34 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ArQDAN7/1U+D0w7mmWdsb2JhbAArGg61CCIBAQEBAQgLCwcUCh2CGQEFDBFLIRs2VwYBiB0LKbdeiySFCWADiA2fMzs X-IronPort-AV: E=Sophos;i="4.75,750,1330902000"; d="scan'208";a="162282567" Received: from ictsc-w-s217.ictsc.uu.nl ([131.211.14.230]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-SHA; 11 Jun 2012 16:27:33 +0200 Received: from ICTSC-W-S208.soliscom.uu.nl (131.211.14.24) by ICTSC-W-S217.ictsc.uu.nl (131.211.14.230) with Microsoft SMTP Server (TLS) id 14.2.283.3; Mon, 11 Jun 2012 16:27:32 +0200 Received: from cepc32.ce.chalmers.se (131.211.6.199) by solismail.uu.nl (131.211.14.24) with Microsoft SMTP Server (TLS) id 14.2.283.3; Mon, 11 Jun 2012 16:27:33 +0200 Content-Type: text/plain; charset="iso-8859-1" MIME-Version: 1.0 (Apple Message framework v1278) From: Johan Jeuring In-Reply-To: <14C1ED2E-A0AE-46D5-A410-BA06C7CDF27E@uu.nl> Date: Mon, 11 Jun 2012 16:27:32 +0200 Content-Transfer-Encoding: quoted-printable Message-ID: References: <14C1ED2E-A0AE-46D5-A410-BA06C7CDF27E@uu.nl> To: , ARCHIVES-FR , , , , , , , , X-Mailer: Apple Mail (2.1278) X-Originating-IP: [131.211.6.199] X-Validation-by: j.t.jeuring@uu.nl Subject: [Caml-list] CICM 2012: 2nd Call for participation; early registration deadline approaching CICM 2012 - Conference on Intelligent Computer Mathematics July 9-13, 2012 at Jacobs University, Bremen, Germany http://www.informatik.uni-bremen.de/cicm2012/ Call for participation=20 ---------------------------------------------------------------- As computers and communications technology advance, greater opportunities arise for intelligent mathematical computation. While computer algebra, automated deduction, mathematical publishing and novel user interfaces individually have long and successful histories, we are now seeing increasing opportunities for synergy among these areas. The Conference on Intelligent Computer Mathematics offers a venue for discussing these areas and their synergy. The conference is organized by Serge Autexier and Michael Kohlhase at=20 Jacobs University in Bremen and consist of five tracks: Artificial Intelligence and Symbolic Computation (AISC) Co-Chairs: John A. Campbell, Jacques Carette Calculemus Chair: Gabriel Dos Reis Digital Mathematical Libraries (DML) Chair: Petr Sojka Mathematical Knowledge Management (MKM) Chair: Makarius Wenzel Systems and Projects Chair: Volker Sorge The overall programme is organized by the General Program Chair=20 Johan Jeuring. Invited talks will be given by: Yannis Haralambous, D=E9partement Informatique, T=E9l=E9com Bretagne Conor McBride, Department of Computer and Information Sciences,=20 University of Strathclyde Cezar Ionescu, Potsdam Institute for Climate Impact Research ---------------------------------------------------------------- Programme ---------------------------------------------------------------- The global programme of the conference, tracks, and workshops are available via: http://www.informatik.uni-bremen.de/cicm2012/cicm.php?event=3D&menu=3Dprogr= amme and the accepted papers via: http://www.informatik.uni-bremen.de/cicm2012/cicm.php?event=3D&menu=3Daccep= ted ---------------------------------------------------------------- Registration ---------------------------------------------------------------- Early registration rates are applicable until June 15. See http://www.informatik.uni-bremen.de/cicm2012/cicm.php?event=3D&menu=3Dregis= tration