Final CfP: Calculemus 2002

Calculemus 2002 Calculemus 2002 <calculemus2002@ags.uni-sb.de>
Fri, 08 Feb 2002 17:29:21 +0100


---------------------------------------------------------------
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