From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id 512D9BBAF for ; Thu, 20 May 2010 23:29:45 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AjwCAD9G9UuTvICWmWdsb2JhbACSAIVhhVdiFQEBAQEBCAsKBxEiiCq8FQQ X-IronPort-AV: E=Sophos;i="4.53,273,1272837600"; d="scan'208";a="59759222" Received: from sun61.bham.ac.uk ([147.188.128.150]) by mail1-smtp-roc.national.inria.fr with ESMTP; 20 May 2010 23:29:45 +0200 Received: from [147.188.128.127] (helo=bham.ac.uk) by sun61.bham.ac.uk with esmtp (Exim 4.67) (envelope-from ) id 1OFDJI-00019p-OG for caml-list@inria.fr; Thu, 20 May 2010 22:29:44 +0100 Received: from mx1.cs.bham.ac.uk ([147.188.192.53]) by bham.ac.uk with esmtp (Exim 4.43) id 1OFDJI-0007eb-EN for caml-list@inria.fr; Thu, 20 May 2010 22:29:44 +0100 Received: from gromit.cs.bham.ac.uk ([147.188.193.16] helo=cs.bham.ac.uk) by mx1.cs.bham.ac.uk with esmtp (Exim 4.51) id 1OFDJI-0000L6-BP for caml-list@inria.fr; Thu, 20 May 2010 22:29:44 +0100 To: caml-list@inria.fr Reply-To: Volker Sorge Subject: Call for Presentations --- ACA 2010 Special Session Date: Thu, 20 May 2010 22:29:44 +0100 From: Volker Sorge Message-Id: <20100520212945.512D9BBAF@yquem.inria.fr> X-Spam: no; 0.00; algebra:01 algebra:01 karlsruhe:01 webpages:98 abstract:01 symbolic:01 symbolic:01 computation:01 computation:01 wolfram:01 constraint:01 artificial:01 artificial:01 linking:02 jacques:03 ------------------------------------------------------------------ [ We apologise if you receive multiple copies ] ------------------------------------------------------------------ Announcement and Call for Presentations ACA 2010 Special Session on Computer Algebra in Knowledge Based Applications Held at the conference ACA'2010, June 24-27, 2010, in Vlore, Albania. Webpages: http://events.cs.bham.ac.uk/aca10 (Special Session) http://aca2010.info/index.php/aca2010/aca2010 (Conference) Overview: Symbolic Computation techniques are playing a significant role outside its traditional application areas in Computer Algebra. Over recent decades they have been successfully employed in several areas of traditional artificial intelligent systems such as automated reasoning, constraint solving or interactive tutoring. Conversely intelligent and knowledge based techniques have made their way into main stream symbolic computation such as the integration of equational reasoning into Computer Algebra systems. In this session we will be interested in a variety of application of symbolic computation in knowledge based artificial intelligence systems and vice versa of incorporation of AI techniques and mathematical knowledge into computer algebra. We will also be interested in representation issues arising from these combinations as well as in the role played by ontologies in linking symbolic computation and AI as illustrated by Wolfram|Alpha. The scope of the session therefore includes the following topics: -- System combinations and integrations -- Knowledge acquisition and representation -- Application areas Call for Contributions: If you are interested in giving a presentation at this session, please email an abstract to one of the organisers. Presentations will be up to 30 min in length, including time for discussion. Deadline: The tentative deadline for submissions is May 21st, 2010. Publication: Selected contributions will be considered for inclusion in a special issue of the Journal of Mathematics and Artificial Intelligence. Session Organisers: Volker Sorge, University of Birmingham, UK. V.Sorge@cs.bham.ac.uk Jacques Calmet, Universität Karlsruhe, Germany. calmet@ira.uka.de