**************************************************************************** * First Call for Papers * * AISC'2000 * * Fifth International Conference * * ARTIFICIAL INTELLIGENCE AND SYMBOLIC COMPUTATION * * Theory, Implementations and Applications * * * * Madrid, Spain * * July 17th-19th, 2000 * **************************************************************************** ANNOUNCEMENT No. 1 If you would like to receive future announcements of AISC'2000 by e-mail, please send a message to AISC2000@ccedu.ucm.es The conference takes place immediately after the European Mathematical Society (EMS) Conference (Barcelona, Spain, July 10th-14th, 2000) ------------------------------------------------------------------------------ ABOUT THIS CONFERENCE SERIES ---------------------------- Conferences in this series are held every two years. The previous four took place in Karlsruhe (Germany), Cambridge (United Kingdom), Steyr (Austria) and Plattsburgh (USA) -- the first three under the name "Artificial Intelligence and Symbolic Mathematical Computing (AISMC)". The conference will return to Europe in year 2000 and will be held in Spain. The aim of the conference is to provide a forum for the exchange of ideas and the presentation of new tools and solutions. 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'2000 ----------------------- AISC'2000 is organized by the Universidad Complutense de Madrid (UCM), with the collaboration of the Sociedad Matematica ``Puig Adam''. 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 Papers on other topics with strong links to those above will also be welcomed for consideration. STEERING COMMITTEE ------------------ Jacques Calmet (Univ. Karlsruhe, Germany) John Campbell (Univ. College, London, United Kingdom) Jochen Pfalzgraf (Univ. Salzburg, Austria) Jan Plaza (SUNY-Plattsburgh, USA) Eugenio Roanes-Lozano (Univ. Complutense Madrid, Spain; Conference Chairman) INVITED SPEAKERS ---------------- Marc Knoppe (EuWiM AG, Frankfurt, Germany) Michael Kohlhase (Univ. Saarbruecken, Germany) Luis M. Laita (Univ. Politecnica Madrid, Spain) PROGRAM COMMITTEE ----------------- Luigia C. Aiello (Univ. La Sapienza, Roma, Italy) Jose A. Alonso (Univ. Seville, Spain) Michael Beeson (San Jose State Univ., USA) Bruno Buchberger (RISC-Linz, Austria) Alan Bundy (Univ. Edimburgh, UK) Greg Butler (Univ. Concordia, Montreal, Canada) Frans P. Coenen (Univ. of Liverpool, UK) Jim Cunningham (Imperial College London, UK) Carl van Geem (LAAS-CNRS, Tolouse, France) Fausto Giunchiglia (Univ. Trento, Italy) Martin C. Golumbic (Bar-Ilan Univ., Israel) Leon A. Gonzalez (Univ. Alcala, Spain) Anthony J. Guttman (Univ. of Melbourne, Australia) Reiner Haehnle (Univ. Karlsruhe, Germany) Deepak Kapur (Univ. New Mexico, USA) Luis de Ledesma (Univ. Politecnica Madrid, Spain) Jose Mira (UNED, Spain) Ewa Orlowska (Inst. Telecomunications, Warsaw, Poland) Angel Pasqual del Pobil (Univ. Jaume I, Spain) Juan Pazos (Univ. Politecnica Madrid, Spain) Zbigniew W. Ras (Univ. North Carolina, Charlotte, USA) Tomas Recio (Univ. Santander, Spain) Joerg Siekmann (Univ. Saarland, Saarbruecken, Germany) Andrzej Skowron (Warsaw Univ. Poland) Viorica Sofronie-Stokkermans (Max Planck Institut, Germany) Stanly Steinberg (Univ. New Mexico, USA) Karel Stokkermans (Univ. Salzburg, Austria) Carolyn Talcott (Stanford Univ., USA) Rich Thomason (Univ. of Pittsburgh, USA) Peder Thusgaard Ruhoff (Univ. of Southern Denmark, Denmark) Dongming Wang (IMAG Grenoble, France) LOCAL COMMITTEE --------------- F. Javier Blanco (Purdue Univ., USA) Martin Garbayo (Univ. Complutense Madrid, Spain) Mercedes Hidalgo (Univ. Complutense Madrid, Spain) Eugenio Roanes-Macias (Univ. Complutense Madrid, Spain) Lola Rodriguez (CPR Leganes) DEADLINES --------- * Deadline for submission: February 15, 2000 * Communication of acceptance of papers: March 30, 2000 * Deadline for reception of final version: April 20, 2000 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 and LNAI 1476). 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 invited. 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), 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 or .EPS) by e-mail to AISC2000@ccedu.ucm.es. If electronic submission is not possible, please send four hard copies to the address 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 --------- e-mail: AISC2000@ccedu.ucm.es Surface mail: AISC 2000 Dr. Eugenio Roanes-Lozano Departamento de Algebra, Desp. 3517 Edificio ``La Almudena'' Universidad Complutense de Madrid c/ Rector Royo Villanova s/n 28040 - Madrid SPAIN Phone & Fax: (+34) 91 394 6248 SPONSORS/COLLABORATORS (requested) ---------------------------------- Addlink Software Cientifico (confirmed) Libreria Rubi~nos 1860 Ministerio de Educacion y Ciencia Real Sociedad Matematica Espa~nola Sociedad Matematica Puig Adam (confirmed) Texas Instruments Universidad Complutense de Madrid (confirmed) Universidad Complutense de Madrid - Servicios Informaticos (confirmed)