Programme
Heures |
événement |
|
08:55 - 09:00
|
Ouverture - Sylvie Boldo, Laurent-Stéphane Didier |
|
09:00 - 10:45
|
Session 1 |
|
09:00 - 09:55 |
› CORE-MATH : quand pourra-t-on calculer correctement ? - Paul Zimmermann, Inria |
|
09:55 - 10:20 |
› Algorithms for Manipulating Quaternions in Floating-Point Arithmetic - Jean-Michel Muller, CNRS/LIP |
|
10:20 - 10:45 |
› Alternative Split Functions and Dekker's Product - Vincent Lefèvre, Inria / LIP |
|
10:45 - 11:15
|
Pause café sur GatherTown |
|
11:15 - 12:30
|
Session 2 |
|
11:15 - 11:27 |
› projet ANR Fast Reliable Approximation (FastRelax) - Bruno Salvy - Inria - Centre de recherche Grenoble Rhône-Alpes |
|
11:27 - 11:39 |
› projet ANR Numerical Safety for Computer-Aided Proofs (NuSCAP) - Nicolas Brisebarre - CNRS |
|
11:39 - 11:51 |
› projet ANR ImPreNum - Florent de Dinechin - Univ Lyon, INSA Lyon, Inria, CITI, F-69621 Villeurbanne, France |
|
11:51 - 12:03 |
› projet ANR "Plateforme d'analyse pour l'arithmétique flottante" (Interflop) - David Defour - LAboratoire de Mathématiques et PhySique |
|
12:03 - 12:15 |
› projet LeanAI - Silviu Filip - INRIA Rennes - Bretagne Atlantique |
|
12:15 - 12:28 |
› projet ANR JCJC "Performance- and Accuracy-aware Data format Optimization in numerical Codes" (Padoc) - guillaume revy, DALI, Univ. Perpignan Via Domitia / LIRMM |
|
12:30 - 14:00
|
Pause déjeuner |
|
14:00 - 15:40
|
Session 3 |
|
14:00 - 14:25 |
› Fast rounding error estimation for compute-intensive operations using standard floating-point arithmetic - Fabienne JEZEQUEL, Université Panthéon-Assas, LIP6 |
|
14:25 - 14:50 |
› Étude du biais de l'arithmétique stochastique sur la méthode d'intégration des rectangles. - El-Mehdi El Arar, Université de Versailles Saint-Quentin-en-Yvelines |
|
14:50 - 15:15 |
› Interprétation abstraite relationnelle de précision numérique dédiée aux erreurs relatives - Maxime Jacquemin, CEA Paris Saclay |
|
15:15 - 15:40 |
› Erreur Encapsulée : une méthode directe pour estimer l'erreur due à l'arithmétique à virgule flottante - Nestor Demeure, Lawrence Berkeley National Laboratory [Berkeley] |
|
15:40 - 16:10
|
Pause café sur GatherTown |
|
16:10 - 17:10
|
Assemblée Générale - Sylvie Boldo, Laurent-Stéphane Didier |
|
Heures |
événement |
|
09:00 - 10:45
|
Session 4 |
|
09:00 - 09:55 |
› Accuracy and Stability of Scalar Polynomial Root Finders and Matrix Polynomial Eigensolvers - Françoise Tisseur, University of Manchester [Manchester] |
|
09:55 - 10:20 |
› GMRES-based iterative refinement in five precisions for the solution of large sparse linear systems - Bastien Vieublé, IRIT |
|
10:20 - 10:45 |
› Bounding the Round-Off Error of the Upwind Scheme for Advection - Louise Ben Salem-Knapp, Laboratoire de Recherche en Informatique, INRIA, Université Paris-Saclay |
|
10:45 - 11:15
|
Pause café sur GatherTown |
|
11:15 - 12:30
|
Session 5 |
|
11:15 - 11:40 |
› Utilisation de compression Block Low-Rank multiprécision pour résoudre des systèmes linéaires - Matthieu Gerest, LIP6, EDF Lab Paris-Saclay |
|
11:40 - 12:05 |
› Numerical validation of half precision simulations - Sara sadat Hoseininasab, Laboratoire d'Informatique de Paris 6, LIP6 |
|
12:05 - 12:30 |
› Custom-Precision Mathematical Library Explorations for Code Profiling and Optimization - Matei Istoan, Université de Versailles Saint-Quentin-en-Yvelines |
|
12:30 - 14:00
|
Pause déjeuner |
|
14:00 - 15:15
|
Session 6 |
|
14:00 - 14:25 |
› A Framework for Semi-Automatic Precision and Accuracy Analysis for Fast and Rigorous Deep Learning - Anastasia Volkova, Laboratoire des Sciences du Numérique de Nantes |
|
14:25 - 14:50 |
› Fast and Efficient Bit-Level Precision Tuning - Dorra Ben Khalifa, LAboratoire de Mathématiques et PhySique |
|
14:50 - 15:15 |
› Parallel Accurate and Reproducible Summation - Farah Benmouhoub, Université de Perpignan Via Domitia |
|
15:15 - 15:45
|
Pause café sur GatherTown |
|
15:45 - 17:00
|
Session 7 |
|
15:45 - 16:10 |
› The Interleaved Ladders: securing algorithms against side-channel and fault-injection attacks - Yoann Marquer, Inria Rennes – Bretagne Atlantique |
|
16:10 - 16:35 |
› An HPR variant of the FV scheme - Vincent ZUCCA, Laboratoire dÍnformatique de Robotique et de Microélectronique de Montpellier |
|
16:35 - 17:00 |
› Une stratégie d'optimisation des algorithmes de type Chudnovsky sur la droite projective - Bastien Pacifico, Institut de Mathématiques de Marseille |
|
17:00 - 17:05
|
Fermeture - Sylvie Boldo, Laurent-Stéphane Didier |
|
|