--------------------------------------------------------------- We apologize if you receive multiple copies of this message. --------------------------------------------------------------- CALCULEMUS 2002 10^th Symposium on the Integration of Symbolic Computation Systems and Mechanized Reasoning In conjunction with AISC 2002 Marseille, France -- July 1th-5th, 2002 http://www.ags.uni-sb.de/~calculemus2002 About this conference series This is the tenth symposium in a series which started with three meetings in year 1996, two meetings in 1997 and then turned to a yearly event in 1998. It has become tradition to hold the meeting jointly with an event in either symbolic computation or automated deduction. This year's symposium is in conjunction with the AISC'2002 conference in Artificial Intelligence and Symbolic Computation. The aim of the symposium is to bring together researchers interested in both symbolic computation and mechanized reasoning. It has been recognized that the integration of computing and deduction would enhance the power of mathematical software systems. However it is not yet clear which is the right way to achieve such an integration. The symposium provides a forum for discussing and investigating the various approaches possible including integration of reasoning into computer algebra systems, integration of efficient computations in theorem provers, and frameworks, languages, or protocols for integrating both symbolic computation and mechanized reasoning. Other topics of interest include the integration of constraint solving techniques into both theorem provers and computer algebra systems, environments for hybrid mathematical systems and systems for explorative mathematics. Topics * Integration of Computer Algebra Systems and Automated Theorem Provers * Symbolic Computation Aspects in Mechanized Reasoning * Mechanized Reasoning Aspects of Symbolic Computation Systems * Combination of Logical and Formal Methods with Computer Algebra * Connections between formal and informal approaches to mathematics * Mathematical Software Buses and Protocols * Design Issues for Logic and Symbolic Computing Systems * Architectures and environments for integration of software components * Heterogenous reasoning/computing frameworks * Constraint Solving Aspects in ATP/CAS * Explorative Systems for doing Mathematics * Case studies and applications Papers on other topics with strong links to those described above will also be considered. Authors that wish to present material relating other AI techniques and symbolic computation should consider submitting with AISC. Authors are also encouraged to submit different material to both AISC and CALCULEMUS. 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. PROGRAM CHAIRS Olga Caprotti (RISC-Linz, Austria) Volker Sorge (Birmingham, United Kingdom) PROGRAM COMMITTEE Alessandro Armando (Genova, Italy) Christoph Benzmueller (Saarbruecken, Germany) Jacques Calmet (Karlsruhe, Germany) Alessandro Coglio (Kestrel Institute, United States) Arjeh Cohen (Eindhoven, The Netherlands) Simon Colton (Edinburgh, Scotland) James Davenport (Bath, United Kingdom) William M. Farmer (McMaster U., Canada) Therese Hardin (Paris VI, France) Hoon Hong (North Carolina State, United States) Manfred Kerber (Birmingham, United Kingdom) Michael Kohlhase (CMU, United States) Steve Linton (St. Andrews, Scotland) Ursula Martin (St. Andrews, Scotland) Julian Richardson (Heriot-Watt, Scotland) Renaud Rioboo (Paris VI, France) Roberto Sebastiani (Trento, Italy) Andrew Solomon (Sidney, Australia) Andrzej Trybulec (Bialystok, Poland) V. Weisspfenning (Passau, Germany) Wolfgang Windsteiger (RISC-Linz, Austria) LOCAL ORGANIZING COMMITTEE Gilles Audemard (Univ. de Provence, Aix-Marseille I) Belaid Benhamou (Chairman) (Univ. de Provence, Aix-Marseille I) Philippe Jegou (Univ. de Saint Jerome, Aix-Marseille III) Laurent Henocque(Chairman) (Univ. de la miditerrannée, Aix-Marseille II) Pierre Siegel (Univ. de Provence,Aix-Marseille I) Eric Wurbel (Univ. du Var, Toulon) SUBMISSION DETAILS Authors are invited to submit papers in the following categories: - Full research papers up to 12 pages describing original theoretical or applied research that has not been published elsewhere. - System descriptions of up to 5 pages describing new systems or significant upgrades of existing ones, especially including experiments. - Work in progess papers or position papers up to 12 pages. Submitted papers should be prepared following the LNCS guidelines (see http://www.springer.de/comp/lncs/authors.html) and submitted electronically by sending an e-mail to calculemus2001@ags.uni-sb.de, with header "CALCULEMUS-2002 SUBMISSION", containing as attachments the file of the paper (in either postscript of pdf format) and a compiled submission form. Please see the webpage for further details. We strongly encourage the author(s) to use LaTeX. Authors of accepted papers and system descriptions are expected to present their contribution at the symposium. Authors of system descriptions are expected to demonstrate their systems. DEADLINES Deadline for submission: February 22, 2002 Notification of acceptance: April 2, 2002 Camera-ready papers due: April 19, 2002 PROCEEDINGS Papers submitted to the symposium undergo a standard review process. Accepted research papers and system descriptions will be published in the Symposium's formal proceedings, which will be joint proceedings with AISC and published by Springer-Verlag. The work in progress and position papers will be published as informal proceedings in a technical report of the Saarland University. Both formal and informal proceedings will be available at the conference. The full paper versions of the very best papers will appear in a special issue of the Journal of Symbolic Computation. Addresses e-mail: calculemus2002@ags.uni-sb.de URL: http://www.ags.uni-sb.de/~calculemus2002 Surface mail: CALCULEMUS'2002 Volker Sorge School of Computer Science The University of Birmingham Birmingham, B15 2TT UK Phone number: +44-121-414-4769 Fax number: +44-121-414-4281