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.2 required=5.0 tests=AWL,MAILTO_TO_SPAM_ADDR, MSGID_FROM_MTA_HEADER autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id C95A5BB84 for ; Thu, 22 May 2008 18:58:22 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AowAAMdCNUiTvICJomdsb2JhbACSNQEBAQEBAQcFBgkR X-IronPort-AV: E=Sophos;i="4.27,525,1204498800"; d="scan'208";a="11010718" Received: from discorde.inria.fr ([192.93.2.38]) by mail2-smtp-roc.national.inria.fr with ESMTP; 22 May 2008 18:58:22 +0200 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id m4MGwLLt009239 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Thu, 22 May 2008 18:58:22 +0200 Message-Id: <200805221658.m4MGwLLt009239@discorde.inria.fr> X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AowAAMdCNUiTvICJomdsb2JhbACSNQEBAQEBAQcFBgkR X-IronPort-AV: E=Sophos;i="4.27,525,1204498800"; d="scan'208";a="11010717" Received: from sun61.bham.ac.uk ([147.188.128.150]) by mail2-smtp-roc.national.inria.fr with ESMTP; 22 May 2008 18:58:22 +0200 Received: from [147.188.128.127] (helo=bham.ac.uk) by sun61.bham.ac.uk with esmtp (Exim 4.67) (envelope-from ) id 1JzE7S-0001Xj-Nr for caml-list@inria.fr; Thu, 22 May 2008 17:58:22 +0100 Received: from mx1.cs.bham.ac.uk ([147.188.192.53]) by bham.ac.uk with esmtp (Exim 4.43) id 1JzE7S-0001I8-Dx for caml-list@inria.fr; Thu, 22 May 2008 17:58:22 +0100 Received: from wallace.cs.bham.ac.uk ([147.188.193.15] helo=cs.bham.ac.uk) by mx1.cs.bham.ac.uk with esmtp (Exim 4.51) id 1JzE7S-0005YK-7M for caml-list@inria.fr; Thu, 22 May 2008 17:58:22 +0100 To: caml-list@inria.fr Reply-To: aisc08@easychair.org Subject: Final Call for Presentations at AISC'08 and Calculemus 2008 Date: Thu, 22 May 2008 17:58:22 +0100 From: Volker Sorge X-Miltered: at discorde with ID 4835A62D.001 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; abstract:01 abstract:01 symbolic:01 symbolic:01 computation:01 computation:01 short:01 artificial:01 artificial:01 proceedings:02 authors:03 talks:03 proposing:03 bham:04 bham:04 ------------------------------------------------------------------ [ We apologise if you receive multiple copies ] ------------------------------------------------------------------ Call For Presentations ====================== jointly for AISC'08 -- Artificial Intelligence and Symbolic Computation and Calculemus 2008 -- Integrating Symbolic Computation and Mechanised Reasoning held as part of the Conferences on Intelligent Computer Mathematics (CICM '08). July 30 -- August 2, 2008 University of Birmingham, UK You are invited to submit a title and a short abstract proposing a talk on work that addresses the main conference themes: the Integration and Combination of Symbolic Computation with Artificial Intelligence and Automated Reasoning. Proposals for talks on both mature work and work in progress are welcome. For more information on the topics of interest please see: http://events.cs.bham.ac.uk/cicm08/aisc08 http://events.cs.bham.ac.uk/cicm08/calculemus08 Please submit title and abstract (one page or less) to: aisc08@easychair.org or calculemus08@easychair.org Deadlines ========= Submission of title and abstracts: 23 May Notification of acceptance 30 May The accepted work should be presented at the conference. The abstracts of the accepted presentations will be distributed as internal proceedings at the conference. Authors of accepted presentations will be invited to submit to a special issue in the Annals of Math and AI after the conference.