Additional referees

The use of Computer Algebra systems is now wide-spread not only in education or scientic contexts but also in industry, where mathematical software systems help engineers to design systems. In the same way, the growing needs for a more formal approach in software industry require powerful deduction systems, help-ing engineers to prove that the developments agree with their requirements. The combination of automated mathematical computation and automated mathe-matical deduction is the major topic of the CALCULEMUS symposium. This includes development of more reliable and accurate computer algebra systems, more powerful and exible deduction systems. But essentially, the CALCULE-MUS symposium is intended to researchers and developers interested in coop-eration and unication between the two families of mathematical based soft-ware and of their communities. For these reasons, CALCULEMUS symposium co-locate in alternate years with either a Computer Algebra conference or a de-duction conferences. This is the case in 2003: CALCULEMUS is co-located with TABLEAUX2003 and TPHOL2003. We thank Marta Cielda, the local organise