Programme

Semaine Mer. 27 Jeu. 28 Ven. 29 Liste

	Mer. 27	Jeu. 28	Ven. 29
09:00 10:00 11:00 12:00 13:00 14:00 15:00 16:00 17:00 18:00	Déjeuner 12:00 - 14:00 (2h) Déjeuner FA110 Arithmétique des ordinateurs Pause café 14:00 - 16:00 (2h) Arithmétique des ordinateurs FA110 Mioara Joldes › Accurate Complex Multiplication in Floating-Point Arithmetic - Vincent Lefèvre, LIP 14:00-15:00 (1h) › Formalisation en Coq de sommes de produits en virgule fixe en complément à 2 - Diane Gallois-Wong, Inria 15:00-15:30 (30min) 15:30 - 16:00 (30min) Pause café Arithmétique des ordinateurs 16:00 - 18:00 (2h) Arithmétique des ordinateurs FA110 Jean-Michel Muller › Programmation par contraintes sur des intervalles pour la génération automatique de tests numériques - Clothilde Jeangoudoux, Max Planck Institute for Software Systems 16:00-16:30 (30min) › Posits, the good, the bad and the ugly - Luc Forget, INSA Lyon 16:30-17:00 (30min) › Vérification formelle d'une racine carrée entière efficace - Raphael Rieu-Helft, Inria 17:00-17:30 (30min) › Exchange Algorithm for Evaluation and Approximation Error-Optimized Polynomials - Florent Bréhart, LIP 17:30-18:00 (30min)	Arithmétique des ordinateurs 9:00 - 10:30 (1h30) Arithmétique des ordinateurs FA110 David Defour › Error analysis of some operations involved in the Fast Fourier Transform - Jean-Michel Muller, LIP 09:00-10:00 (1h) › Using rational functions for efficient libm implementations - Silviu Filip, Inria 10:00-10:30 (30min) Pause café 10:30 - 11:00 (30min) Pause café Arithmétique des ordinateurs 11:00 - 12:30 (1h30) Arithmétique des ordinateurs FA110 Arnaud Tisserand › Conception optimale de filtres FIR sur des FPGA - Volkova Anastasia, Université de Nantes 11:00-11:30 (30min) › Hybrid Dot-Product Design for FP-Enabled FPGAs - Bogdan Pasca, INTEL 11:30-12:00 (30min) › A practical use case of homomorphic encryption - Nadia El Marbet, Ecole des mines de Saint Etienne à Gardanne 12:00-12:30 (30min) Déjeuner 12:30 - 14:00 (1h30) Déjeuner Arithmétique des ordinateurs Pause Arithmétique des ordinateurs 14:00 - 16:00 (2h) Arithmétique des ordinateurs FA110 Florent de Dinechin › Implémentation logicielle du protocole ROLLO - Lina Mortajine, Ecoles des mines de saint Etinenne à Gardanne 14:00-14:30 (30min) › Hierarchical Approach in RNS Base Extension for Asymmetric Cryptography - Arnaud Tisserand, CNRS 14:30-15:00 (30min) › Randomization of Arithmetic Over Polynomial Modular Number System - Yssouf-Fangan Dosso, Institut de Mathématiques de Toulon - EA 2134 15:00-15:30 (30min) 15:30 - 15:45 (15min) Pause 15:45 - 16:45 (1h) Arithmétique des ordinateurs FA110 Sylvie Boldo › Optimal word-length allocation for the fixed-point implementation of linear filters and controllers - Thibault Hilaire, LIP6 15:45-16:45 (1h) Pause café 16:45 - 17:15 (30min) Pause café Assemblée Générale 17:15 - 18:15 (1h) Assemblée Générale FA110 Sylvie Boldo	Arithmétique des ordinateurs 9:00 - 10:30 (1h30) Arithmétique des ordinateurs FA110 Laurent-Stéphane Didier › Factorisation d'entiers : aujourd'hui et demain - Samuele Anni, Aix Marseille Université 09:00-10:00 (1h) › On the scalar complexity of Chudnovsky$^2$ multiplication algorithm in finite fields - Thanh-Hung Dang, Institut de Mathématiques de Marseille 10:00-10:30 (30min) Pause café 10:30 - 11:00 (30min) Pause café Arithmétique des ordinateurs 11:00 - 12:00 (1h) Arithmétique des ordinateurs FA110 Guillaume Melquiond › Semi-automatic implementation of the complementary error function - Anastasia Volkova, Laboratoire des Sciences du Numérique de Nantes 11:00-11:30 (30min) › A Dividing Method Minimizing the Linearization Term in Affine Arithmetic - Maxime Jacquemin, CEA Paris Saclay 11:30-12:00 (30min) Déjeuner 12:00 - 14:00 (2h) Déjeuner FA110

Personnes connectées : 1

Vie privée