First Call for Papers AISC'98 The Fourth International Conference ARTIFICIAL INTELLIGENCE AND SYMBOLIC COMPUTATION Theory, Implementations and Applications Plattsburgh, NY , USA September 16-18, 1998 (http://www.plattsburgh.edu/aisc98/) About this Conference Series Conferences in this series are held every two years; the previous three took place in Karlsruhe (Germany), Oxford (United Kingdom) and Steyr (Austria). This time the conference will be held in USA and will be sponsored by the Plattsburgh State University of New York. Papers submitted to the conference undergo a standard review process. Previous proceedings appeared in the Springer Verlag LNCS Series, volumes 737, 958 and 1138. This year's proceeedings are also expected to be published by Springer Verlag and available at the time of the conference. Later, expanded versions of best papers will appear after a review in a special volume of Fundamenta Informaticae. The aim of the conference is to provide a forum for the exchange of novel ideas and the presentation of latest solutions. Another goal is to foster personal contacts among researchers from diverse fields surrounding AI and symbolic computation. The conference is concerned with all aspects of research, including theory, implementations and applications. Topics * AI in 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 Computation for Expert Systems and Machine Learning * Implementations of Symbolic Computation Systems Papers involving other topics but with significant links to the topics above will also be appropriate. Invited Speakers * Luc DeRaedt (Katholieke Universiteit Leuven, Belgium): Inductive logic programming. * Melvin Fitting (City University of New York, USA): Bertrand Russell, Herbrand's theorem, and the assignment statement. * Richmond Thomason (University of Pittsburgh, USA): Repesenting and reasoning with context. Deadlines * Deadline for submissions: March 25, 1998 * Information about acceptance of papers: May 1, 1998 * Final version due: June 1, 1998 Submission Requirements Authors are invited to submit papers up to 12 pages long, in English, conforming to the editorial requirements of the Springer Verlag LNCS series, formatted in LaTeX. (See http://www.springer- n y.com/samples/tools.html or contact organizers to receive LaTeX lncs.sty file and instructions). The title page should contain: * title, * author(s) with affiliation(s), * e-mail address(es), * specification of topic(s) from the list above to which the paper is related, * listing of keywords, * abstract. Results must be unpublished. Electronic submission is encouraged. Send both a postscript file and the LaTeX source code to aisc98@splava.cc.plattsburgh.edu (If electronic submission is not possible at this time, please send four hard copies to the address below.) About the Place of the Conference Platts burgh is a city of 20,000 located in the north-eastern corner of the State of New York. It is on Lake Champlain and enjoys beautiful views of the mountains of Vermont. Plattsburgh has a convenient connection with Mont re al (Canada) - only 1 hour by car. The connection to Burling ton ( Vermont) is by a ferry and this half-hour trip is very scenic. To the west and south of Plattsburgh there is the Adirondack Park -- the biggest recreational area in the USA -- 6,000,000 acres of mountains, lakes and forests. Lake Placid, which was the host of the Winter Olympic Games in 1932 and 1980, is only 1 hour by car from Plattsburgh. The Olympic Authority offers many tours and attractions year round. The Valcour Conference Center belongs to the State University of New York at Plattsburgh and it is beautifully located on Lake Champlain somewhat to the south of the city. The center provides a relaxed atmosphere and professional conference environment. This is where the meetings will be held. Van transportation between Montreal and Plattsburgh and also between Burlington and Plattsburgh will be arranged before and after the conference. (Cars rented in Montreal may be driven to the US.) During the conference, van transportation will be available between Plattsburgh and Valcour, from two hotels. Steering Committee Jacques Calmet (Universitaet Karlsruhe, Germany) John Campbell (University College London, Great Britain) Jochen Pfalzgraf (Universitaet Salzburg, Austria) Jan Plaza (SUNY/Plattsburgh, USA), Conference Chairman Program Committee Luigia C. Aiello (Roma, Italy) Francois Arlabosse (Framatome, France) Bruno Buchberger (Linz, Austria) Gregory Butler (Montreal, Canada) James Cunningham (London, Great Britain) John Debenham (Sydney, Australia) Ruediger Dillmann (Karlsruhe, Germany) Fausto Guiunchiglia (Trento, Italy) Stan Klasa (Montreal, Canada) Alfonso Miola (Roma, Italy) Lin Padgham (Melbourne, Australia) Zbigniew W. Ras (Charlotte, USA) Klaus U. Shultz (Munich, Germany) Joerg H. Siekmann (Saarbruecken, Germany) Andrzej Skowron (Warsaw, Poland) Stanly Steinberg (Albuquerque, USA) Karel Stokkermans (Linz, Austria) Carolyn Talcott (Stanford, USA) Peder Thusgaard Ruhoff (Odense, Denmark) Dongming Wang (Grenoble, France) Addresses * Up-to-date information is always available on the web page (http://www.plattsburgh.edu/aisc98/) * Submissions and questions can be directed via e-mail to: aisc98@splava.cc.plattsburgh.edu * Phone: (518) 564 2788 * Fax: (518) 564 3010 * Mail can be addressed to: AISC'98 c/o Jan Plaza Computer Science Department Plattsburgh State University of New York Plattsburgh, NY 12901 USA