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.0 required=5.0 tests=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 mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id 14032BBCA for ; Mon, 25 Feb 2008 03:53:54 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAJe8wUfAXQImh2dsb2JhbACQWwEBAQgKKZhIHg X-IronPort-AV: E=Sophos;i="4.25,399,1199660400"; d="scan'208";a="8500009" Received: from discorde.inria.fr ([192.93.2.38]) by mail1-smtp-roc.national.inria.fr with ESMTP; 25 Feb 2008 03:53:53 +0100 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 m1P2rjnP023139 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Mon, 25 Feb 2008 03:53:53 +0100 Message-Id: <67lc3c$92e90@mail3-smtp-sop.national.inria.fr> X-IronPort-AV: E=Sophos;i="4.25,399,1199660400"; d="scan'208";a="9517344" Received: from sun60.bham.ac.uk ([147.188.128.137]) by mail3-smtp-sop.national.inria.fr with ESMTP; 25 Feb 2008 03:53:53 +0100 Received: from [147.188.128.54] (helo=bham.ac.uk) by sun60.bham.ac.uk with esmtp (Exim 4.67) (envelope-from ) id 1JTTTV-00016B-Nm for caml-list@inria.fr; Mon, 25 Feb 2008 02:53:53 +0000 Received: from mx1.cs.bham.ac.uk ([147.188.192.53]) by bham.ac.uk with esmtp (Exim 4.43) id 1JTTTV-00023W-H7 for caml-list@inria.fr; Mon, 25 Feb 2008 02:53:53 +0000 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 1JTTTV-0002ex-7b for caml-list@inria.fr; Mon, 25 Feb 2008 02:53:53 +0000 To: caml-list@inria.fr Reply-To: Volker Sorge Subject: AISC-08: Extended Submission Deadline Date: Mon, 25 Feb 2008 02:53:53 +0000 From: Volker Sorge X-BHAM-CUBE-wlist: LOCAL mx1.cs.bham.ac.uk X-BHAM-CUBE-processed: yes X-Miltered: at discorde with ID 47C22DB9.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; algebra:01 algebra:01 multi-agent:01 computations:01 universitat:01 lncs:01 lncs:01 saarlandes:01 karlsruhe:01 eindhoven:01 renaud:01 joerg:01 saarlandes:01 dfki:01 lucas:98 [Apologies if you receive multiple copies] ****************************************************************** New EXTENDED SUBMISSION DEADLINE: 7 March 2008 Deadline for Abstract registration: 29 February 2008 ****************************************************************** AISC 2008 - 9th International Conference on ARTIFICIAL INTELLIGENCE AND SYMBOLIC COMPUTATION Theory, Implementations and Applications http://events.cs.bham.ac.uk/aisc08/ Birmingham, UK, 31 July - 2 August 2008 AISC 2008 is part of the Conferences in Intelligent Computer Mathematics http://events.cs.bham.ac.uk/cicm08/ Birmingham, UK, 26 July-2 August 2008 CALL FOR PAPERS 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, * symbolic computation, * computer algebra, * automated reasoning, * formal mathematics, * mathematical knowledge management, * automated discovery, * machine learning, * logic, * software technology, * semantic web technology, * computer-based math teaching and didactics, Topics ====== Topics of particular interest of the conference include: * AI in Symbolic Mathematical Computing * Computer Algebra Systems and Automated Theorem Provers * Integration of Logical Reasoning and Computer Algebra * Symmetries in AI problems, * Engineering, Industrial and Operations Research Applications * Foundations and Complexity of Symbolic Computation * Mathematical Modeling of Multi-Agent Systems * Programming Languages for Symbolic Computation * Symbolic Computations for Expert Systems and Machine Learning * Implementations of Symbolic Computation Systems * 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. Invited Speakers ================ Jochen Pfalzgraf (Universitat Salzburg, Austria) Steve Linton (University of St. Andrews, UK) 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/AISC08/ Important Dates =============== Abstract registration: 29 February 2008 Submission deadline: 7 March 2008 Notification: 4 April 2008 Camera Ready Version: 27 April Conference: 31 July - 2 August 2008 Programme Committee =================== Volker Sorge (University of Birmingham, UK), Chair Alessandro Armando (University of Genoa, Italy) Christoph Benzmueller (Universität des Saarlandes, Germany) Bruno Buchberger (RISC, Austria) Russell Bradford (University of Bath, UK) Jacques Calmet (University of Karlsruhe, Germany) John Campbell (University College London, UK) Jacques Carette (McMaster University, Canada) Arjeh Cohen (Eindhoven University of Technology, The Netherlands) Simon Colton (Imperial College London, UK) Timothy Daly (Carnegie Mellon, USA) Lucas Dixon (University of Edinburgh, UK) William M. Farmer (McMaster University, Canada) Martin Charles Golumbic (University of Haifa, Israel) Hoon Hong (North Carolina State University, USA) Tetsuo Ida (University of Tsukuba, Japan) Tom Kelsey (University of St Andrews, UK) Petr Lisonek (Simon Frasier University, Canada) George Labahn (University of Waterloo, Canada) Renaud Rioboo (ENSIIE, France) Eugenio Roanes-Lozano (Universidad Complutense de Madrid, Spain) Karem Sakallah (University of Michigan, USA) Joerg Siekmann (Universität des Saarlandes, DFKI, Germany) Elena Smirnova (Texas Instruments, USA) Stephen M. Watt (University of Western Ontario, Canada) Wolfgang Windsteiger (RISC, Austria) Dongming Wang (Beihang University, China and UPMC-CNRS, France)