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 9E82D7ED1A for ; Mon, 21 May 2012 14:57:16 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AroCAEc7uk+D0w70mWdsb2JhbAAqGg6zciIBAQEBAQgLCwcUCh2CKBFLPIETAYggCym+aosFhGtiA4gPnyw7 X-IronPort-AV: E=Sophos;i="4.75,631,1330902000"; d="scan'208";a="159174329" Received: from ictsc-w-s216.ictsc.uu.nl ([131.211.14.244]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-SHA; 21 May 2012 14:56:59 +0200 Received: from ICTSC-W-S211.soliscom.uu.nl (131.211.14.27) by ICTSC-W-S216.ictsc.uu.nl (131.211.14.244) with Microsoft SMTP Server (TLS) id 14.2.283.3; Mon, 21 May 2012 14:56:58 +0200 Received: from cepc34.ce.chalmers.se (131.211.6.199) by solismail.uu.nl (131.211.14.27) with Microsoft SMTP Server (TLS) id 14.2.283.3; Mon, 21 May 2012 14:56:59 +0200 From: Johan Jeuring Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable Date: Mon, 21 May 2012 14:56:56 +0200 Message-ID: <14C1ED2E-A0AE-46D5-A410-BA06C7CDF27E@uu.nl> To: , ARCHIVES-FR , , , , , , , , MIME-Version: 1.0 (Apple Message framework v1278) 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: Call for participation CICM 2012 - Conference on Intelligent Computer Mathematics July 9-13, 2012 at Jacobs University, Bremen, Germany http://www.informatik.uni-bremen.de/cicm2012/ =20=20 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 =20=20 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