RAIM'08 : Programme

Les présentations se sont déroulées dans l'amphithéâtres Turing du bâtiment M3 sur le campus de l'USTL (cf. accès) :

10h - 10h30
Accueil des participants
10h30 - 13h
Calcul formel : aspects arithmétiques (Pascal Giorgi, Montpellier)
- Ludovic Perret (cours de 1h)
  Gröbner Bases in Cryptography : Selected Topics
- pause de 15mn
- Jean-Guillaume Dumas (exposé de 35mn)
  Arithmétique compressée pour des petits corps finis
- Marc Mezzarobba (exposé de 35mn)
  Bornes sur les suites et fonctions différentiellement finies et évaluation garantie
13h15 - 14h45
Pause déjeuner
15h - 18h
Implantation de l'arithmétique sur matériels (David Defour, Perpignan)
- Bernard Goossens (cours de 1h)
  Implémentation de l'arithmétique matérielle
- Jeremie Detrey (exposé de 35mn)
- pause de 15mn
- Bogdan Pasca et Cristian Klein (exposé de 35mn)
  FloPoCo, un générateur de coeurs arithmétiques pour FPGA
- Sylvain Collange (exposé de 35mn)
  Operateurs arithmétiques sur processeur graphique
18h30 - 19h30
Pot d'accueil

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

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

RAIM'08