From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.1 required=5.0 tests=AWL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id 767B4BBC1 for ; Thu, 1 May 2008 14:58:42 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApoEAAhbGUjAH1kG/2dsb2JhbACsZA X-IronPort-AV: E=Sophos;i="4.27,422,1204498800"; d="scan'208";a="25732560" Received: from discorde.inria.fr ([192.93.2.38]) by mail4-smtp-sop.national.inria.fr with ESMTP; 01 May 2008 14:58:42 +0200 Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id m41CwfWf010727 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Thu, 1 May 2008 14:58:42 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApoEADZbGUjAH1kG/2dsb2JhbACsZA X-IronPort-AV: E=Sophos;i="4.27,422,1204498800"; d="scan'208";a="12160506" Received: from mcclellan.cs.miami.edu ([192.31.89.6]) by mail3-smtp-sop.national.inria.fr with ESMTP; 01 May 2008 14:58:41 +0200 Received: by mcclellan.cs.miami.edu (Postfix, from userid 501) id 6FB9411F9BF; Thu, 1 May 2008 08:56:27 -0400 (EDT) To: caml-list@inria.fr Subject: Automated Reasoning in Mathematics Message-Id: <20080501125627.6FB9411F9BF@mcclellan.cs.miami.edu> Date: Thu, 1 May 2008 08:56:27 -0400 (EDT) From: geoff@cs.miami.edu (Geoff Sutcliffe) X-Miltered: at discorde with ID 4819BE81.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; translated:01 miami:98 miami:98 refereed:01 proceedings:02 theoretical:03 submissions:04 balanced:04 proposals:05 deadline:05 deadline:05 submission:05 submission:05 papers:06 papers:06 ------------------------------------------------------------------------------- The CICM Workshop on Empirically Successful Automated Reasoning for Mathematics (ESARM) Call for Papers - Submission Deadline - Monday 5th May ------------------------------------------------------ The CICM 2008 Workshop on Empirically Successful Automated Reasoning for Mathematics (ESARM) will be held as part of the Conferences on Intelligent Computer Mathematics, in Birmingham, United Kingdom, 26th July - 2nd August, 2008. See the WWW page ... http://www.cs.miami.edu/~geoff/Conferences/ESARM/ This workshop will bring together practioners and researchers who are concerned with the development and application of automated reasoning for mathematics. The workshop will discuss only "really running" systems and applications, and not theoretical ideas that have not yet been translated into working software. More details are on the WWW page. Submission of papers for presentation at the workshop, and proposals for system and application demonstrations at the workshop, are now invited. Submissions will be refereed, and a balanced program of high-quality contributions will be selected. The selected contributions will be printed as workshop proceedings, and will also be published electronically. The submission deadline is 5th May, notification of acceptance is on 13th June, and final versions are due 7th July. Submission details are on the WWW page. We hope that you will submit a paper, and be part of ESARM. -------------------------------------------------------------------------------