Programme
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 |
|
| 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) |
|
|
