NPDC
Genopole de Lille
CNRS
INRIA
USTL
Lille2

RAIM'08

2nd Meeting
Arithmetic of Mathematical Computer Science
Lille from 3 to 5 June 2008

Welcome

Presentation

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

  1. Algorithms of "reduction" and their analyses (Brigitte Vallée, Caen)
  2. Hardware Implementation of Arithmetics (David Defour, Perpignan)
  3. Polyzêtas (Joris van der Hoeven, Paris XI)
  4. Computing Arithmetics : Computations on floats and integers (Nicolas Brisebarre, Lyon)
  5. Arithmetical aspects of Symbolic Computation (Pascal Giorgi, Montpellier)
  6. 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