Programme

lundi 12 novembre 2018

HEURES ÉVÉNEMENT
12:00 - 14:00 Déjeuner
14:00 - 14:30 › Analyse de terminaison des calculs flottants - Fonenantsoa Maurica, CEA
14:30 - 15:00 › Towards Correctly Rounded Mixed-Radix IEEE754 Arithmetic - Clothilde Jeangoudoux, Laboratoire d'Informatique de Paris 6
15:00 - 15:30 › Faster dot product and matrix multiplication in arbitrary-precision ball arithmetic - Fredrik Johansson, LFANT - Inria Bordeaux
15:30 - 16:00 Pause café
16:00 - 16:30 › Continued Logarithm Algorithm: A probabilistic study - Pablo Rotondo, Laboratoire d'Informatique Gaspard-Monge
16:30 - 17:00 › Sound approximation of Programs with Elementary Functions - Anastasia Volkova, Inria - LIP - ENS de Lyon

mardi 13 novembre 2018

HEURES ÉVÉNEMENT
09:00 - 10:00 › Multiplication rapide de polynômes sur les corps finis - Joris Van Der Hoeven, INSMI (CNRS)
10:00 - 10:30 Pause café
10:30 - 11:00 › Une bibliothèque efficace et formellement prouvée pour les calculs sur grands entiers - Raphaël Rieu-Helft, TrustInSoft, Inria
11:00 - 11:30 › A compensated dot product for vectors of floating-point expansions - Nicolas Louvet, Université Claude Bernard - Lyon I
11:30 - 12:00 › Karatsuba with Rectangular Multipliers for FPGAs - Florent De Dinechin, Institut National des Sciences Appliquées de Lyon
12:00 - 14:00 Déjeuner
14:00 - 15:00 › Génération et validation des méthodes de Runge-Kutta - Alexandre Chapoutot, École Nationale Supérieure de Techniques Avancées - Julien Alexandre dit Sandretto, École Nationale Supérieure de Techniques Avancées
15:00 - 15:30 › A Three-tier Strategy for Reasoning about Floating-Point Numbers in SMT - Mohamed Iguernlala, OCamlPro / VALS-LRI
15:30 - 16:00 Pause café
16:00 - 16:30 › A Formally-Proved Algorithm to Compute the Correct Average of Decimal Floating-Point Numbers - Florian Faissole, Université Paris-Saclay, Laboratoire de Recherche en Informatique, Inria
16:30 - 17:30 Discussions GT Arith

mercredi 14 novembre 2018

HEURES ÉVÉNEMENT
09:00 - 10:00 › Generalized Hermite Reduction, Creative Telescoping and Definite Integration of D-Finite Functions - Frédéric Chyzak, Inria
10:00 - 10:30 Pause café
10:30 - 11:00 › Analyse d'erreur en utilisant des séries génératrices - Marc Mezzarobba, Laboratoire d'Informatique de Paris 6
11:00 - 11:30 › A Reduced Product of Absolute and Relative Error Bounds for Floating-point Analysis - Maxime Jacquemin, CEA Paris Saclay
11:30 - 12:00 › Exhaustive search of optimal formulae for bilinear maps - Svyatoslav Covanov, Inria
12:00 - 14:00 Déjeuner
Personnes connectées : 1