RAIM'09 : 3^es Rencontres Arithmétique de l'Informatique Mathématique

Présentation

Ces rencontres sont organisées dans le cadre du Groupe de Travail Arithmétique du GDR Informatique Mathématique, pôle Calcul Formel, Arithmétique et Géométrie. Elles ont lieu au Laboratoire de l'Informatique du Parallélisme (LIP), situé à l'École Normale Supérieure de Lyon. Les deux premières éditions ont eu lieu respectivement à Montpellier et à Lille.

Cette édition est organisée autour de cinq thèmes :

1. Numération (responsable : Anne Siegel).
2. Géométrie et arithmétique (responsable : Dominique Michelucci).
3. Opérateurs arithmétiques (responsable : Laurent-Stéphane Didier).
4. Validation numérique et preuve formelle (responsable : Micaela Mayero).
5. Calcul formel (responsable : Alin Bostan).

Chaque session comporte soit un cours introductif suivi de quelques exposés courts, soit uniquement des exposés courts (organisés par exemple autour de deux sous-thèmes). En guise d'ouverture thématique, nous avons également prévu deux cours d'une heure sur des domaines proches: traitement du signal et nouvelles architectures.

Nos soutiens financiers

Sponsors : CNRS – ENS Lyon – INRIA Rhône-Alpes – LIP – GDR IM – ANR EVA-Flo – ANR FOST – System@tic Paris Region.

Participants

Liste des participants inscrits.

Programme

Lundi 26 octobre

• À partir de 11h : accueil et remise des badges et des tickets-repas (rez-de-chaussée du bâtiment principal de l'ENS Lyon (côté accueil)).
• 11h45 - 13h30 :
  • Déjeuner au restaurant universitaire de l'ENS Lyon.
  • À partir de 12h30, café servi en salle passerelle (4^e étage).
• 13h30 - 16h30 : session Numération (amphi B).
  • Cours (50 min) : Représentation des nombres et automates finis par Jacques Sakarovitch (LTCI, CNRS / ENST).
  • Exposé (25 min) : Le développement de certaines périodes exponentielles dans une base entière par Boris Adamczewski (Institut Camille Jordan, CNRS, Université de Lyon 1).
  • Exposé (25 min) : Représentation de nombres par des automates dénombrables et des langages non réguliers par Marion Le Gonidec (Université de Toulon).
  • 15h10 - 15h35 : pause (café servi en salle passerelle (4^e étage)).
  • Exposé (25 min) : Écritures de nombres en base réelle, fractals et pavages par Wolfgang Steiner (LIAFA, CNRS, Université Paris Diderot - Paris 7).
  • Exposé (25 min) : Représentation de nombres par des fractions continues : extensions (Rosen) et algorithmes par Benoît Rittaud (Université Paris 13).
• 16h30 - 17h30 : cours d'ouverture thématique Accélérateurs matériels de calcul (amphi B) par David Defour (DALI, ELIAUS, Université de Perpignan) et Florent de Dinechin (LIP, ENS Lyon).

Mardi 27 octobre

• 08h30 - 11h30 : session Géométrie et arithmétique (amphi B).
  • Cours (55 min) : Méthodes par intervalles pour la résolution de systèmes d'équations non linéaires par Gilles Trombettoni (Université de Nice-Sophia, équipe-projet COPRIN).
  • Exposé (25 min) : Sur le calcul de la topologie d'objets en utilisant seulement de l'arithmétique d'intervalles par Nicolas Delanoue (Université d'Angers, LISA).
  • 9h50 - 10h10 : pause (café servi en salle passerelle (4^e étage)).
  • Exposé (25 min) : Un solveur de systèmes non linéaires basé sur le polytope de Bernstein par Christoph Fünfzig (Université de Bourgogne, LE2I).
  • Exposé (25 min) : Robustesse des algorithmes géométriques: des outils arithmétiques à l'interface utilisateur dans CGAL par Sylvain Pion (INRIA, équipe-projet Geometrica).
  • Exposé (30 min) : Calcul différentiel discret par convolutions binomiales par Remy Malgouyres (Université d'Auvergne, LAIC).
• 11h45 - 13h30 :
  • Déjeuner au restaurant universitaire de l'ENS Lyon.
  • À partir de 12h30, café servi en salle passerelle (4^e étage).
• 13h30 - 16h30 : session Opérateurs arithmétiques (amphi B).
  • Exposé (30 min) : Opérateurs arithmétiques sécurisés par Arnaud Tisserand (CNRS, IRISA, équipe CAIRN).
  • Exposé (30 min) : Calcul du produit scalaire dans un grand corps fini en arithmétique flottante par Jérémy Jean (PEQUAN, LIP6, Université Pierre et Marie Curie Paris 6).
  • Exposé (30 min) : LNS sur architectures exotiques par Sylvain Collange (DALI, ELIAUS, Université de Perpignan).
  • 15h - 15h25 : pause (café servi en salle passerelle (4^e étage)).
  • Exposé (30 min) : Pollard Rho sur Playstation3 par Marcelo Kaihara (EPFL).
  • Exposé (30 min) : Un accélérateur matériel pour le couplage de Tate en caractéristique trois à base de multiplieur Karatsuba par Jérémie Detrey (INRIA, CACAO).
• 16h30 - 17h30 : cours d'ouverture thématique Arithmétique pour les applications de traitement du signal embarquées (amphi B) par Daniel Ménard (IRISA/INRIA, équipe-projet CAIRN).

Mercredi 28 octobre

• 08h30 - 11h30 : session Validation numérique et preuve formelle (amphi B).
  • Cours (55 min) : Calculs numériques et méthodes formelles par Guillaume Melquiond (INRIA, LRI / Université Paris Sud, équipe-projet ProVal).
  • Exposé (30 min) : Preuves de programmes numériques indépendantes du compilateur et du processeur par Sylvie Boldo (INRIA, LRI / Université Paris Sud, équipe-projet ProVal).
  • 9h55 - 10h30 : pause (café servi en salle passerelle (4^e étage)).
  • Exposé (30 min) : Vérification formelle et arithmétique réelle exacte par Ioana Pasca (INRIA, équipe-projet Marelle).
  • Exposé (30 min) : Analyse statique d'algorithmes numériques par Sylvie Putot (CEA-LIST, équipe MEASI).
• 11h45 - 13h30 :
  • Déjeuner au restaurant universitaire de l'ENS Lyon.
  • À partir de 12h30, café servi en salle passerelle (4^e étage).
• 13h30 - 16h30 : session Calcul formel (amphi B).
  • Cours (1 h) : Arithmétique moderne par Paul Zimmermann (INRIA, équipe-projet CACAO).
  • Exposé (30 min) : Arithmétique rapide dans les tours d'Artin-Schreier par Luca De Feo (INRIA et École Polytechnique).
  • 15h - 15h25 : pause (café servi en salle passerelle (4^e étage)).
  • Exposé (30 min) : Réduction modulaire simultanée et substitution de Kronecker pour les petits corps finis par Laurent Fousse (CASYS, LJK, Univ. J. Fourier, Grenoble).
  • Exposé (30 min) : Développement en séries de Tchebychev pour les solutions d'équations différentielles à coefficients polynomiaux par Alexandre Benoit (INRIA-MSR, équipe-projet Algorithms).

Informations pratiques

• Pour venir à l'ENS Lyon.

  Attention: depuis la gare de Perrache, la ligne de bus 96 est désormais remplacée par la ligne 60 (direction Feyzin les Razes, arrêt Halle Tony Garnier).

• L'amphi B, où auront lieu tous les cours et exposés, est accessible via le 4^e étage du bâtiment principal de l'ENS Lyon. Les pauses auront lieu dans la salle passerelle, au 4^e étage.
• Les repas de midi se prendront au restaurant universitaire de l'ENS à partir de 11h45, pour ceux qui l'ont indiqué via le formulaire d'inscription. Pour y aller, sortir du bâtiment principal et se diriger vers la fontaine (place de l'École); l'entrée du restaurant est sur la droite.

Suggestions de restaurants :

• À Gerland :
  • Le Fleurie, 123 rue de Gerland (04 78 72 64 32).
  • Carnegie-Hall, 253 rue Marcel Mérieux (04 78 58 85 79).
  • Ninkasi Gerland, 267 rue Marcel Mérieux (04 72 76 89 00).
  • Argenson, 40 allée Pierre de Coubertin (04 72 73 72 73).
• Dans le Vieux Lyon :
  • Les Adrets, 30 rue du Boeuf (04 78 38 24 30).
  • Les Retrouvailles, 38 rue du Boeuf (04 78 42 68 84).
• Sur la presqu'île :
  • Goman Etsu, 11 rue Lanterne (04 78 39 31 91).
  • Le Connetable, 38 rue de l'arbre sec (04 78 29 27 90).
  • Le Comptoir des Marronniers, 8 rue des Marronniers (04 72 77 10 00).
  • Le Caro de Lyon, 25 rue du Bât d'Argent (04 78 39 58 58).
  • Le Garet, 7 rue du Garet (04 78 28 16 94).
  • Brasserie Georges, 30 cours Verdun (04 72 56 54 56).

Quelques hôtels à Gerland :

• Sur la centrale des hôtels CNRS ou INRIA : City Suite Lyon Gerland, 175 avenue Jean Jaurès, 69007 Lyon.
• Ibis Gerland Mérieux, 246 rue Marcel Mérieux, 69007 Lyon, tel : 04 72 72 63 63, fax : 04 78 72 15 30.
• Bed in City, 219 rue Marcel Mérieux, 69007 Lyon, tel : 08 10 10 00 75.

Quelques hôtels en ville :

• Sur la centrale des hôtels CNRS ou INRIA : Au Patio Morand, 99 rue de Créqui, 69006 Lyon.
• Hôtel La Résidence, 18 rue Victor Hugo, 69002 Lyon, tel : 04 78 42 63 28, fax : 04 78 42 85 76.
• B&B Hotel Lyon Gambetta, 93 cours Gambetta, 69003 Lyon, tel : 08 92 70 75 34, fax : 04 78 60 12 65.

Organisation

Organisation scientifique :

• Jean-Claude Bajard,
• Alin Bostan,
• Laurent-Stéphane Didier,
• Florent de Dinechin,
• Claude-Pierre Jeannerod,
• Vincent Lefèvre,
• Nicolas Louvet,
• Micaela Mayero,
• Dominique Michelucci,
• Nathalie Revol,
• Anne Siegel.

Organisateurs locaux :

• Claude-Pierre Jeannerod,
• Marie Buillas,
• Florent de Dinechin,
• Vincent Lefèvre,
• Nicolas Louvet,
• Nathalie Revol.