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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id 7404DBC57 for ; Sat, 12 Jun 2010 14:01:27 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AsMAABYUE0yGZskSkWdsb2JhbACSbAGMKwEBAQEJCwoHEQUdvXiFGAQ X-IronPort-AV: E=Sophos;i="4.53,408,1272837600"; d="scan'208";a="52246565" Received: from mailhost.informatik.uni-bremen.de (HELO informatik.uni-bremen.de) ([134.102.201.18]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 12 Jun 2010 14:01:27 +0200 X-Virus-Scanned: amavisd-new at informatik.uni-bremen.de Received: from gemini.informatik.uni-bremen.de (gemini.informatik.uni-bremen.de [134.102.204.70]) by informatik.uni-bremen.de (8.14.3/8.14.3) with ESMTP id o5CC1MAJ008506 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Sat, 12 Jun 2010 14:01:25 +0200 (CEST) Received: (from autexier@localhost) by gemini.informatik.uni-bremen.de (8.14.4+Sun/8.14.4/Submit) id o5CC1MjL024818; Sat, 12 Jun 2010 14:01:22 +0200 (CEST) Date: Sat, 12 Jun 2010 14:01:22 +0200 (CEST) Message-Id: <201006121201.o5CC1MjL024818@gemini.informatik.uni-bremen.de> From: Serge Autexier Subject: AISC'10 - Call for Participation To: caml-list@inria.fr X-Spam: no; 0.00; dfki:01 co-located:01 salvy:01 smt:01 integers:01 model:01 rationals:01 formalizing:01 co-located:01 algebra:01 mips:01 immunity:98 lucas:98 wine:98 symbolic:01 [We apologise if you receive multiple copies] CALL FOR PARTICIPATION AISC 2010 - 10th International Conference on ARTIFICIAL INTELLIGENCE AND SYMBOLIC COMPUTATION CNAM, Paris, France, July 5th - July 6th, 2010 [http://cicm2010.cnam.fr/aisc/] as part of CICM 2010 - Conferences on Intelligent Computer Mathematics [http://cicm2010.cnam.fr/] ---------------------------------------------------------------------- Artificial Intelligence and Symbolic Computation are two views and approaches for automating problem solving, in particular mathematical problem solving, and AISC is the conference on all topics related to applying Artificial Intelligence to Symbolic Computation or to applying Symbolic Computation to Artificial Intelligence. This year's AISC conference will consist of presentations of high-quality original research papers, short presentations and invited talks. As part of the Conferences on Intelligent Computer Mathematics it will be co-located with the 17th Symposium on the Integration of Symbolic Computation and Mechanised Reasoning (Calculemus 2010) and 9th International Conference on Mathematical Knowledge Management (MKM 2010), and a number of workshops and a doctoral programme. For more information see http://cicm2010.cnam.fr/ Registration to the conference is now open and online at http://cicm2010.cnam.fr/registration.html Registration includes one hard-copy of the Springer LNAI proceedings of the CICM conferences and one social event. Information on accommodation and travelling is also available on the CICM 2010 web pages. For further information: aisc2010_0@easychair.org http://cicm2010.cnam.fr/aisc/ --------------------------------------------------------------------- * AISC 2010 - Scientific Programme Invited Talks: - The Challenges of Multivalued "Functions" James Davenport - The Dynamic Dictionary of Mathematical Functions Bruno Salvy Keynote Talk: - A Revisited Perspective on Symbolic Mathematical Computing and Artificial Intelligence Jacques Calmet, John Campbell Research papers and short presentations: - I-terms in ordered resolution and superposition calculi: retrieving lost completeness Hicham Bensaid, Ricardo Caferra and Nicolas Peltier - Structured Formal Development with Quotient Types in Isabelle/HOL Maksym Bortin and Christoph Lueth - Instantiation of SMT problems modulo Integers Mnacho Echenim and Nicolas Peltier - On Krawtchouk Transforms Philip Feinsilver and Rene Schott - A mathematical model of the competition between acquired immunity and virus Mikhail Kolev - Some Notes upon "When does equal sat(T)?" Yongbin Li - How to correctly prune tropical trees Jean-Vincent Loddo and Luca Saiu - From matrix interpretations over the rationals to matrix interpretations over the naturals Salvador Lucas - Efficiency of Automating Problem Solving in Martin-Loef's Type Theory (short presentation) Gohar Marikyan - Automated Reasoning and Presentation Support for Formalizing Mathematics in Mizar Josef Urban and Geoff Sutcliffe ---------------------------------------------------------------------------- * Co-Located Events Conferences - 17th Symposium on the Integration of Symbolic Computation and Mechanised Reasoning (Calculemus 2010) - 9th International Conference on Mathematical Knowledge Management (MKM 2010) Workshops - 3rd Workshop on Compact Computer Algebra (CCA) - 3rd Workshop, Towards a Digital Mathematics Library (DML) - 6th Workshop on Mathematical User-Interfaces (MathUI) - Workshop on Mathematically Intelligent Proof Search (MIPS) - 23rd Workshop on OpenMath (OpenMath) - 4th Workshop on Programming Languages for Mechanized Mathematics Systems (PLMMS) - Content Math Training Camp with Doctoral Programme (CMTC+DP) ---------------------------------------------------------------------------- * Social Events: - Conference reception with Wine & Cheese buffet - Conference Banquet at the "Cafe des Techniques" at the CNAM Museum