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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id 577A0BBAF for ; Fri, 19 Feb 2010 13:29:40 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AncAAJQTfkuGZskSkWdsb2JhbACPWQGLQgEBAQEJCwoHEwUevFIChGUE X-IronPort-AV: E=Sophos;i="4.49,503,1262559600"; d="scan'208";a="44978655" Received: from mailhost.informatik.uni-bremen.de (HELO informatik.uni-bremen.de) ([134.102.201.18]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 19 Feb 2010 13:29:33 +0100 X-Virus-Scanned: amavisd-new at informatik.uni-bremen.de Received: from gemini.informatik.uni-bremen.de (gemini.informatik.uni-bremen.de [134.102.224.82]) by informatik.uni-bremen.de (8.14.3/8.14.3) with ESMTP id o1JCTTVB006424 for ; Fri, 19 Feb 2010 13:29:32 +0100 (CET) Received: (from autexier@localhost) by gemini.informatik.uni-bremen.de (8.13.8+Sun/8.13.8/Submit) id o1JCTSUD005333; Fri, 19 Feb 2010 13:29:28 +0100 (CET) Date: Fri, 19 Feb 2010 13:29:28 +0100 (CET) Message-Id: <201002191229.o1JCTSUD005333@gemini.informatik.uni-bremen.de> From: Serge Autexier Subject: AISC'10 - CfP - Approaching Deadline (26 February) & Invited Speakers To: caml-list@inria.fr X-Spam: no; 0.00; dfki:01 salvy:01 salvy:01 algebra:01 algebra:01 multi-agent:01 computations:01 lncs:01 lncs:01 dfki:01 26,:98 28,:98 cfp:01 abstract:01 abstract:01 [Apologies for possible multiple postings.] CALL FOR PAPERS AISC 2010 - 10th International Conference on ARTIFICIAL INTELLIGENCE AND SYMBOLIC COMPUTATION Theory, Implementations and Applications http://cicm2010.cnam.fr/aisc/ CNAM, Paris, France, July 5th - July 6th, 2010 ********************************************************************** INVITED SPEAKERS: James Davenport (http://people.bath.ac.uk/masjhd/) Bruno Salvy (http://algo.inria.fr/salvy/) ********************************************************************** Artificial Intelligence and Symbolic Computation are two views and approaches for automating problem solving, in particular mathematical problem solving. The two approaches are based on heuristics and on mathematical algorithmics, respectively. Artificial Intelligence can be applied to Symbolic Computation and Symbolic Computation can be applied to Artificial Intelligence. Hence, a wealth of challenges, ideas, theoretical insights and results, methods and algorithms arise in the interaction of the two fields and research communities. Advanced tools of software technology and system design are needed and a broad spectrum of applications is possible by the combined problem solving power of the two fields. Hence, the conference is in the center of interest and interaction for various research communities: * Artificial Intelligence * Logic * Symbolic Computation * Software Technology * Computer Algebra * Semantic Web Technology * Automated Reasoning * Mathematical Knowledge Management * Formal mathematics * Computer-based Math Teaching & Didactics * Machine Learning * Computer-Supported Publishing * Automated Discovery * Language and System Design Topics ====== Topics of particular interest of the conference include: * AI in Symbolic Mathematical Computing * Computer Algebra Systems and Automated Theorem Provers * Symmetries in AI problems * Engineering, Industrial and Operations Research Applications * Foundations and Complexity of Symbolic Computation * Mathematical Modeling of Multi-Agent Systems * Implementations of Symbolic Computation Systems * Programming Languages for Symbolic Computation * Symbolic Computations for Expert Systems and Machine Learning * Symbolic Computation and Ontologies * Logic and Symbolic Computing * Implementation and Performance Issues * Intelligent Interfaces * Symbolic Techniques for Document Analysis Papers on other topics with links to the above research fields and topics will also be welcomed for consideration. Proceedings =========== The proceedings of the conference will be published as a volume in the series Lecture Notes in Artificial Intelligence (LNAI) by Springer-Verlag. Accepted papers will have to be prepared in LaTeX and formatted according to the requirements of the Springer's LNAI series (the corresponding style files can be downloaded from http://www.springer.de/comp/lncs/authors.html and are the same for LNCS and LNAI). Submission ========== Theoretical and applied research papers on all topics within the scope of the conference are invited. Submitted papers (in English) must not exceed 15 pages in length (in the LNCS style). The title page should contain the title, author(s) with affiliation(s), e-mail address(es), listing of keywords and abstract plus the topics from the above list to which the paper is related. The program committee (PC) will subject all submitted papers to a peer review. Theoretical papers will be judged on their originality and contribution to their field, and applied papers on the importance and originality of the application. Results must be original and have not been published elsewhere. The web page for electronic submission is at: http://www.easychair.org/conferences/?conf=aisc20100 Best Paper Awards ================= Every submission automatically competes for the Best Paper Award. Papers which have been mainly developed by (PhD) students can be marked as student papers upon submission to also compete for the Best Student Paper Award. Important Dates =============== Abstract Submission deadline: February 19, 2010 Submission deadline: February 26, 2010 Notification: April 18, 2010 Camera Ready Version: April 28, 2010 Conference: July 5 - July 6, 2010 -- Serge Autexier, serge.autexier@dfki.de, http://www.dfki.de/~serge/ DFKI Bremen, Safe and Secure Cognitive Systems Cartesium, 2.054 Phone: +49 421 218 64272 Enrique-Schmidt-Str. 5, D-28359 Bremen Fax: +49 421 218 9864272 ---------------------------------------------------------------------- Deutsches Forschungszentrum fuer Kuenstliche Intelligenz GmbH principal office, *not* the address for mail etc.!!!: Trippstadter Str. 122, D-67663 Kaiserslautern management board: Prof. Wolfgang Wahlster (chair), Dr. Walter Olthoff supervisory board: Prof. Hans A. Aukes (chair) Amtsgericht Kaiserslautern, HRB 2313 ----------------------------------------------------------------------