----------------------------------------------------------------
We apologize if you receive multiple copies of this message.
----------------------------------------------------------------

          Calculemus 2003
        Last call for papers

We kindly recall you that the deadline for Calculemus 2003 is approaching.

About This Symposium
--------------------

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.

More details at

http://www-calfor.lip6.fr/~rr/Calculemus03/

Deadlines
---------
                                           
 Abstract Submission:        May 19, 2003  
                                           
 Submission Deadline:        May 23, 2003  
                                           
 Notification if acceptance: June 16, 2003 
                                           
 Camera ready version:       July 8, 2003  
                                           
Addresses
---------
e-mail: calculemus2003@calfor.lip6.fr

URL:  http://www-calfor.lip6.fr/~rr/Calculemus03/  

Surface mail:

     CALCULEMUS'2003
     Therese Hardin
     LIP6-UPMC
     8 rue du Capitaine Scott
     F-75015 Paris (France)

Phone number: +33-1-4427-7369
Fax number: +33-1-4427-8878

     CALCULEMUS'2003
     Renaud Rioboo
     LIP6-UPMC
     8 rue du Capitaine Scott
     F-75015 Paris (France)

Phone number: +33-1-4427-3341
Fax number: +33-1-4427-8878