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 p96BXZ4p005114; Thu, 6 Oct 2011 13:33:39 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: At0FANaQjU6D0w7mmWdsb2JhbABEDqgfIgEBAQEBCAsLBxQKG4F3GwIuPIETARKIBaQckl6GS2EEj02JUoteOQ X-IronPort-AV: E=Sophos;i="4.68,495,1312149600"; d="scan'208";a="123043851" Received: from ictsc-w-s217.ictsc.uu.nl ([131.211.14.230]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-SHA; 06 Oct 2011 13:33:38 +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.1.289.1; Thu, 6 Oct 2011 13:33:27 +0200 Received: from jonathan.cs.uu.nl (131.211.6.199) by solismail.uu.nl (131.211.14.26) with Microsoft SMTP Server (TLS) id 14.1.289.1; Thu, 6 Oct 2011 13:33:31 +0200 Message-ID: <06C58329-EC04-4E74-B4A6-15AD0A710FB5@uu.nl> From: Johan Jeuring To: , , , , , , Content-Type: text/plain; charset="US-ASCII"; format=flowed; delsp=yes Content-Transfer-Encoding: 7bit MIME-Version: 1.0 (Apple Message framework v936) Date: Thu, 6 Oct 2011 13:33:31 +0200 X-Mailer: Apple Mail (2.936) X-Originating-IP: [131.211.6.199] X-Validation-by: j.t.jeuring@uu.nl Subject: [Caml-list] CICM 2012: Call for workshops 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 Workshop Proposals ---------------------------------------------------- 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. Workshop proposals for CICM 2012 are solicited. Both well-established workshops and newer or brand new ones are encouraged. Please provide the following information: + Workshop title. + Names and affiliations of organizers. + Brief description of workshop goals and/or topics. + Proposed workshop duration (from half a day to two days is possible). + If the workshop has met previously, please include the conference affiliation for the previous meeting. If the workshop is new, please indicate so. CICM conference fees will be levied on a per-day basis, so that workshop-only participation is possible. The CICM organizers plan to make available a small amount towards partial reimbursement for travel expenses of invited speakers. Also, CICM will take care of printing and distributing informal proceedings for workshops that would like this service. All proposals should be sent via email to m.kohlhase@jacobs-university.de for consideration by the CICM 2012 organizers: Serge Autexier (DFKI Bremen): General Co-Chair Michael Kohlhase (Jacobs University): General Co-Chair Johan Jeuring (Utrecht University): Program Chair Important dates: Deadline for proposal submissions: December 7. 2012 Acceptance/rejection notification: January 7, 2012 Workshop dates: July 9-13, 2012 ------------------------------------------------------------------------------