"Apologizes for multiple copies" **************************************************************************** * Call for Papers * * AISC'2002 * * Sixth International Conference on * * ARTIFICIAL INTELLIGENCE AND SYMBOLIC COMPUTATION * * Theory, Implementations and Applications * * * (In conjunction with CALCULEMUS'2002) * * * France, Marseille * * July 1th-5th, 2002 * **************************************************************************** Organized by: Universite de Provence, Universite de Mideterrannee, Faculte des sciences de Saint-Jerome, and the LSIS laboratory. More informations are available on the web site of the conference: http://www.cmi.univ-mrs.fr/aisc2002. ----------------------------------------------------------------------------- ABOUT THIS CONFERENCE SERIES ---------------------------- Conferences in this series are held every two years. The previous five took place in Karlsruhe (Germany), Cambridge (United Kingdom), Steyr (Austria), Plattsburgh (USA) and Madrid (Spain)-- the first three under the name "Artificial Intelligence and Symbolic Mathematical Computing (AISMC)". For the year 2002, the conference AISC will be held in Marseille (France) in conjunction with CALCULEMUS'2002 (The 10th Symposium on the Integration of symbolic Computation and Mechanized Reasoning). The aim of the conference is to make a forum for the exchange of ideas on artificial intelligence and symbolic computation. The purpoose of such discussion is to provide new tools and solutions by considering problem solving methods from AI and symbolic (mathematical) computation. Another goal is to make personal contacts among researchers from different fields related to AI and Symbolic Computation. The conference is concerned with all aspects of research (including theory, implementations and applications). ORGANIZERS OF AISC'2002 / CALCULEMUS'2002 ----------------------------------------- Both AISC'2002 and CALCULEMUS'2002 are organized by the three Universities of Marseille: L'universite de Provence (Aix-Marseille I), L'universite de la Miditerrannée (Aix-Marseille II), la Faculté des sciences de Saint-Jerome (Aix-Marseille III) and the LSIS laboratory. TOPICS ------ * AI and Symbolic Mathematical Computing * Computer Algebra Systems and Automated Theorem Provers * Integration of Logical Reasoning and Computer Algebra * 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 * Constraint Programming * Term Rewriting * Logic based Multi Agent Systems * Reasoning Papers on other topics with strong links to those descibed above will also be welcomed for consideration. The second and the third topics of the previous liste fit perfectly the scope of CALCULEMUS'2002. STEERING COMMITTEE ------------------ Jacques Calmet (Univ. Karlsruhe, Germany) John Campbell (University College London, England) Eugenio Roanes-Lozano (Univ. Complutense de Madrid, Spain) CHAIRS ------- Belaid Benhamou (Conference chair) Universite de Provence CMI, 39 rue F. Juliot-Curie 13453 Marseille Cedex 13, France email:Belaid.Benhamou@cmi.univ-mrs.fr Laurent Henocque (Program chair) Universite de Mediterrannee ESIL, 163 Avenue de Luminy Marseille Cedex 09, France email:henocque@esil.univ-mrs.fr PROGRAM COMMITTEE ----------------- Luigia C. Aiello (Univ. La Sapienza, Roma, Italy) Jose A. Alonso (Univ. de Sevilla, Spain) Michael Beeson (San Jose State Univ., USA) Belaid Benhamou (Universite de Provence, France) Greg Butler (Univ. Concordia, Montreal, Canada) Jim Cunningham (Imperial College London, UK) James Davenport (Univ. of Bath, England) Carl van Geem (LAAS-CNRS, Tolouse, France) Reiner Haehnle (Univ. of technology, Chalmers, Sweden) Deepak Kapur (Univ. New Mexico, USA) Luis M. Laita (Univ. Politecnica de Madrid, Spain) Luis de Ledesma (Univ. Politecnica de Madrid, Spain) Eric Monfroy (Univ de Nantes, France) Jose Mira (UNED, Spain) Ewa Orlowska (Inst. Telecomunications, Warsaw, Poland) Jochen Pfalzgraf (Univ. Salzburg, Austria) Jan Plaza (Univ. Plattsburgh, USA) Zbigniew W. Ras (Univ. North Carolina, Charlotte, USA) Tomas Recio (Univ. de Santander, Spain) Peder Thusgaard Ruhoff (MDS, Proteomics, Denmark) Pierre Siegel (Universite de Provence, France) Andrzej Skowron (Warsaw Univ., Poland) John Slaney (ANU, Canberra, Australia) Viorica Sofronie-Stokkermans (Max Planck Institut, Germany) Karel Stokkermans (Univ. Salzburg, Austria) Carolyn Talcott (Stanford Univ., USA) Rich Thomason (Univ. of Pittsburgh, USA) Dongming Wang (Univ. Paris VI, France) LOCAL COMMITTEE --------------- Gilles Audemard (Univ. Univ de Provence, Aix-Marseille I) Belaid Benhamou (Univ. Univ de Provence, Aix-Marseille I) Philippe Jegou (Univ. de Saint Jerome, Aix-Marseille III) Laurent Henocques (Univ. de la Mediterrannée, Aix-Marseille II) Pierre Siegel (Univ. Univ de Provence,Aix-Marseille I) Eric Wurbel (Univ. du Var, Toulon) DEADLINES --------- * Deadline for submission: February 15, 2002 * Notification of acceptance: March 30, 2002 * Camera-ready papers due: April 19, 2002 PROCEEDINGS ----------- Papers submitted to the conference undergo a standard review process. Previous proceedings were printed by Springer-Verlag (in their volumes LNCS 737, 958, 1138, LNAI 1476 and LNAI 1930). This year's proceedings will also be published by Springer-Verlag and will be available at the conference. SUBMISSION REQUIREMENTS ----------------------- Theoretical and applied research papers on all topics within the scope of the conference are encouraged. Submitted papers (in English) must not exceed 12 pages in length. The title page should contain the title, author(s) with affiliation(s), e-mail address(es), a listing of keywords and abstract PLUS the topics from the list above to which the paper is related. The program committee will subject all submitted papers to 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 unpublished. Electronic submission is strongly encouraged. Please send a postscript file (.PS ) by e-mail to both "aisc2002@cmi.univ-mrs.fr" and "henocque@esil.univ-mrs.fr". If electronic submission is not possible, please send four hard copies to the address given at the end. SUBMISSION REQUIREMENTS FOR THE FINAL VERSION OF ACCEPTED PAPERS ---------------------------------------------------------------- (Observe that this section does not apply when submitting the papers; it REFERS only to the final version of ACCEPTED papers. Nevertheless papers can be submitted in final format, although for submission only the .PS should be sent) Accepted papers should be prepared in LaTeX and formatted in accordance to the instructions given for Springer-Verlag's LNAI series (the correspon- ding style files can be obtained from the web page http://www.springer.de/comp/lncs/authors.html and are the same for the LNCS and LNAI). Please remember to send, together with the .TEX, any non-standard files that are necessary to compile the LaTeX source code too. ADDRESSES (ORGANIZATION) ------------------------ e-mail: aisc2002@cmi.univ-mrs.fr web page: http://www.cmi.univ_mrs.fr/aisc2002 Surface mail: AISC 2002 Dr. Belaid Benhamou Universite de Provence, CMI, 39 rue F. Juliot-Curie 13453 Cedex 13 Phone number: (+33) 4 91 11 36 22 Fax number: (+33) 4 91 11 36 02