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