RAIM 2021 : 12èmes Rencontres Arithmétique de l'Informatique Mathématique
27-28 mai 2021
Connexion
Mot de passe oublié ?
Créer un compte
Navigation
Accueil
Inscription
Programme
SUPPORT
@ Contact
Programme
Semaine
Jeu. 27
Ven. 28
Liste
jeudi 27 mai 2021
›
08:00
09:00
10:00
11:00
12:00
13:00
14:00
15:00
16:00
17:00
›8:55 (05min)
Ouverture
Sylvie Boldo, Laurent-Stéphane Didier
8:55 - 9:00 (05min)
Ouverture
Sylvie Boldo, Laurent-Stéphane Didier
›9:00 (1h45)
Session 1
9:00 - 10:45 (1h45)
Session 1
›
CORE-MATH : quand pourra-t-on calculer correctement ?
- Paul Zimmermann, Inria
09:00-09:55 (55min)
›
Algorithms for Manipulating Quaternions in Floating-Point Arithmetic
- Jean-Michel Muller, CNRS/LIP
09:55-10:20 (25min)
›
Alternative Split Functions and Dekker's Product
- Vincent Lefèvre, Inria / LIP
10:20-10:45 (25min)
›10:45 (30min)
Pause café sur GatherTown
10:45 - 11:15 (30min)
Pause café sur GatherTown
›11:15 (1h15)
Session 2
11:15 - 12:30 (1h15)
Session 2
›
projet ANR Fast Reliable Approximation (FastRelax)
-
11:15-11:27 (12min)
›
projet ANR Numerical Safety for Computer-Aided Proofs (NuSCAP)
-
11:27-11:39 (12min)
›
projet ANR ImPreNum
-
11:39-11:51 (12min)
›
projet ANR "Plateforme d'analyse pour l'arithmétique flottante" (Interflop)
-
11:51-12:03 (12min)
›
projet LeanAI
-
12:03-12:15 (12min)
›
projet ANR JCJC "Performance- and Accuracy-aware Data format Optimization in numerical Codes" (Padoc)
- guillaume revy, DALI, Univ. Perpignan Via Domitia / LIRMM
12:15-12:28 (13min)
›12:30 (1h30)
Pause déjeuner
12:30 - 14:00 (1h30)
Pause déjeuner
›14:00 (1h40)
Session 3
14:00 - 15:40 (1h40)
Session 3
›
Fast rounding error estimation for compute-intensive operations using standard floating-point arithmetic
- Fabienne JEZEQUEL, Université Panthéon-Assas, LIP6
14:00-14:25 (25min)
›
É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:25-14:50 (25min)
›
Interprétation abstraite relationnelle de précision numérique dédiée aux erreurs relatives
- Maxime Jacquemin, CEA Paris Saclay
14:50-15:15 (25min)
›
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:15-15:40 (25min)
›15:40 (30min)
Pause café sur GatherTown
15:40 - 16:10 (30min)
Pause café sur GatherTown
›16:10 (1h)
Assemblée Générale
Sylvie Boldo, Laurent-Stéphane Didier
16:10 - 17:10 (1h)
Assemblée Générale
Sylvie Boldo, Laurent-Stéphane Didier
Session
Discours
Logistique
Pause
Sortie
Personnes connectées :
1
Vie privée
Chargement...