RAIM'08 : Program

The presentations took place in the Turing amphitheatre of M3 building at the USTL campus (cf. access).

10h - 10h30
Welcome of participants
10h30 - 13h
Arithmetical aspects of Symbolic Computation (Pascal Giorgi, Montpellier)
- Ludovic Perret (1h of course)
  Gröbner Bases in Cryptography : Selected Topics
- 15mn of pause
- Jean-Guillaume Dumas (35mn of talk)
  Arithmétique compressée pour des petits corps finis
- Marc Mezzarobba (35mn of talk)
  Bornes sur les suites et fonctions différentiellement finies et évaluation garantie
13h15 - 14h45
Lunchtime
15h - 18h
Hardware Implementation of Arithmetics (David Defour, Perpignan)
- Bernard Goossens (1h of course)
  Implémentation de l'arithmétique matérielle
- Jeremie Detrey (35mn of talk)
- 15mn of pause
- Bogdan Pasca and Cristian Klein (35mn of talk)
  FloPoCo, un générateur de coeurs arithmétiques pour FPGA
- Sylvain Collange (35mn of talk)
  Operateurs arithmétiques sur processeur graphique
18h30 - 19h30
Welcome drink

10h15 - 13h
Computing Arithmetics : Computations on floats and integers (Nicolas Brisebarre, Lyon)
- Nicolas Louvet (30mn of talk)
  Résolution compensée de systèmes triangulaires
- Sylvain Chevillard (30mn of talk)
  Présentation du logiciel Sollya, boîte à outil du numéricien
- Christoph Lauter (30mn of talk)
  Quand les boucles deviennent des polynômes ou l'implantation automatique de fonctions mathématiques
- 15mn of pause
- Stef Graillat (30mn of talk)
  Produit précis de nombres flottants
- Hong Diep Nguyen and Nathalie Revol (30mn of talk)
  Résoudre et certifier la solution d'un système linéaire
13h15 - 14h45
Lunchtime
15h - 17h45
Algorithms of "reduction" and their analyses (Brigitte Vallée, Caen)
- Brigitte Vallée (30mn of talk)
  Présentation des trois algorithmes de réduction : Euclide, Gauss et LLL
- Brigitte Vallée (40mn of talk)
  Systèmes dynamiques associés aux algorithmes d'Euclide et de Gauss
- 15mn of pause
- Loick Lhote (40mn of talk)
  Les principes de l'analyse dynamique --Un exemple
- Ali Akhavi (40mn of talk)
  L'algorithme LLL -premiers résultats d'analyse

9h30 - 13h
Polyzêtas (Joris van der Hoeven, Paris XI)
- Gérard Duchamp (45mn of course)
  Algebras of diagrams and functions coming from physics
- Hayat Cheballah (30mn of talk)
  Groupes à un paramètre, combinatoire et calcul formel
- 15mn of pause
- Jacky Cresson (30mn of talk)
- Jean-Yves Enjalbert (30mn of talk)
- 15mn of pause
- Michel Petitot (45mn of course)
13h15 - 14h45
Lunchtime
15h - 17h
PhD advisor (Hoang Ngoc Minh, Lille2)
- Soutenance de Christian Costermans
  Calcul symbolique non commutatif : analyse des constantes d'arbre de fouille

RAIM'08