jeudi 27 mai 2021
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 |
vendredi 28 mai 2021
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 |