Arithmetic of Mathematical Computer Science

Lille from 3 to 5 June 2008

These meetings result from a proposal of the GT Arithmetics in Mathematical Computer Science inside the part *Symbolic Computation,
Arithmetics and Geometry* of the CNRS GDR 673 Mathematical Computer Science. Its goal is to gather and present once a year the
different approaches of the arithmetic domain.

The first edition took place in Montpellier. This one was held in the campus of the University of Sciences and Technologies of Lille (USTL/Lille I) from the 3rd to the 5th of June.

Five sessions were planned (cf. the program) :

- Algorithms of "reduction" and their analyses (Brigitte Vallée, Caen)
- Hardware Implementation of Arithmetics (David Defour, Perpignan)
- Polyzêtas (Joris van der Hoeven, Paris XI)
- Computing Arithmetics : Computations on floats and integers (Nicolas Brisebarre, Lyon)
- Arithmetical aspects of Symbolic Computation (Pascal Giorgi, Montpellier)
- PhD advisor (Hoang Ngoc Minh, Lille2)

At the end of these meetings i.e. thursday afternoon, we were able to attend the defensis of the Christian Costermans PhD thesis entitled
*«Calcul symbolique non commutatif : analyse des constantes d'arbre de fouille»* under the direction of Hoang Ngoc Minh
(more details).

Webmaster :
Julien Soula