From mboxrd@z Thu Jan 1 00:00:00 1970 X-Sympa-To: caml-list@inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q3HDSUnL016286; Tue, 17 Apr 2012 15:28:30 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AuATAJJujU+D0w7mVWdsb2JhbABEDrEcGAEWCwkGFA0dggoBBQwRSyEbNkMUBgGIIAu5copghTRjBIgpoCw5gVI X-IronPort-AV: E=Sophos;i="4.75,434,1330902000"; d="scan'208";a="154406934" Received: from ictsc-w-s217.ictsc.uu.nl ([131.211.14.230]) by mail1-smtp-roc.national.inria.fr with ESMTP; 17 Apr 2012 15:28:25 +0200 Received: from ICTSC-W-S210.soliscom.uu.nl (131.211.14.26) by ICTSC-W-S217.ictsc.uu.nl (131.211.14.230) with Microsoft SMTP Server (TLS) id 14.2.283.3; Tue, 17 Apr 2012 15:28:22 +0200 Received: from cepc42.ce.chalmers.se (131.211.6.199) by solismail.uu.nl (131.211.14.26) with Microsoft SMTP Server (TLS) id 14.2.283.3; Tue, 17 Apr 2012 15:28:24 +0200 Content-Type: text/plain; charset="iso-8859-1" MIME-Version: 1.0 (Apple Message framework v1257) From: Johan Jeuring In-Reply-To: <46E9DF15-4865-47BF-83FE-0C1E22D69581@uu.nl> Date: Tue, 17 Apr 2012 15:28:25 +0200 Message-ID: <9C36DA33-3CB1-4FEF-B99E-F1B2C4DD87BC@uu.nl> References: <46E9DF15-4865-47BF-83FE-0C1E22D69581@uu.nl> To: , , , , , , X-Mailer: Apple Mail (2.1257) X-Originating-IP: [131.211.6.199] Content-Transfer-Encoding: 8bit X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id q3HDSUnL016286 X-Validation-by: j.t.jeuring@uu.nl Subject: [Caml-list] Conference on Intelligent Computer Mathematics, call for work-in-progress papers 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 work-in-progress papers ---------------------------------------------------------------- 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 will be organized by Serge Autexier and Michael Kohlhase at 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 will be organized by the General Program Chair Johan Jeuring. Invited talks will be given by: Yannis Haralambous, Département Informatique, Télécom Bretagne Conor McBride, Department of Computer and Information Sciences, University of Strathclyde Cezar Ionescu, Potsdam Institute for Climate Impact Research ---------------------------------------------------------------- Work in progress ---------------------------------------------------------------- Work-in-progress submissions are intended to provide a forum for the presentation of original work that is not (yet) in a suitable form for submission as a full or system description paper. This includes work in progress and emerging trends. Their size is not limited, but we recommend 5 - 10 pages. ---------------------------------------------------------------- Important dates ---------------------------------------------------------------- Submission deadline: 6 May 2012 Notification of acceptance: 27 May 2012 Camera ready copies due: 3 June 2012 Conference: 9-13 July 2012