Programme

Semaine Mer. 02 Jeu. 03 Ven. 04 Liste

	Mer. 02	Jeu. 03	Ven. 04
09:00 10:00 11:00 12:00 13:00 14:00 15:00 16:00 17:00 18:00 19:00 20:00	Accueil et café 13:00 - 14:00 (1h) Accueil et café RDC bâtiment 34 Computing with FPGAs? 14:00 - 15:00 (1h) Computing with FPGAs? Florent de Dinechin Opérateurs arithmétiques pour le matériel 15:00 - 15:30 (30min) Opérateurs arithmétiques pour le matériel › Low-Latency Modular Exponentiation for FPGAs - Bogdan Pasca, Intel France 15:00-15:30 (30min) Pause café 15:30 - 16:00 (30min) Pause café Opérateurs arithmétiques pour le matériel 16:00 - 17:30 (1h30) Opérateurs arithmétiques pour le matériel › Towards the Multiple Constant Multiplication at Minimal Hardware Cost - Rémi Garcia, Nantes Université, LS2N 16:00-16:30 (30min) › Using integer linear programming for correctly rounded multipartite architectures - Orégane Desrentes, Univ Lyon, INSA Lyon, Inria, CITI, F-69621 Villeurbanne, France 16:30-17:00 (30min) › Accelerating Variants of the Conjugate Gradient with the Variable Precision Processor - Andrea Bocco, Univ. Grenoble Alpes, CEA, List, F-38000 Grenoble, France 17:00-17:30 (30min) Apéritif en ville 19:30 - 20:30 (1h) Apéritif en ville	Preuve formelle et calcul numérique 9:00 - 10:00 (1h) Preuve formelle et calcul numérique Guillaume Melquiond Analyse d'erreurs 10:00 - 10:30 (30min) Analyse d'erreurs › High-level algorithms for correctly-rounded reciprocal square roots - Jean-Michel Muller, Laboratoire de l'Informatique du Parallélisme 10:00-10:30 (30min) Pause café 10:30 - 11:00 (30min) Pause café Analyse d'erreurs 11:00 - 12:30 (1h30) Analyse d'erreurs › Stochastic Rounding Variance and Probabilistic Bounds: A New Approach - El-Mehdi El Arar, Laboratoire dÍnformatique Parallélisme Réseaux Algorithmes Distribués 11:00-11:30 (30min) › Bounding the Round-Off Error of the Upwind Scheme for Advection - Sylvie Boldo, INRIA, Laboratoire Méthodes Formelles, Université Paris-Saclay 11:30-12:00 (30min) › Le projet CORE-MATH - Paul Zimmermann, Inria 12:00-12:30 (30min) Déjeuner 12:30 - 14:00 (1h30) Déjeuner Analyse d'erreurs 14:00 - 15:30 (1h30) Analyse d'erreurs › Error-bounded approximation of the inverse of a function near an extremum - Christophe Jermann, Laboratoire des Sciences du Numérique de Nantes 14:00-14:30 (30min) › Adaptive precision sparse matrix-vector product and its application to Krylov solvers - Roméo Molina, LIP6, IJCLab 14:30-15:00 (30min) › Optimization of the scalar complexity of Chudnovsky^2 multiplication algorithms in finite fields. - Stephane Ballet, Ballet 15:00-15:30 (30min) Pause café 15:30 - 16:00 (30min) Pause café Opérateurs arithmétiques pour la cryptographie 16:00 - 17:00 (1h) Opérateurs arithmétiques pour la cryptographie › PMNS for efficient arithmetic and small memory cost - Jean-Marc Robert, IAA/IMATH Université de Toulon 16:00-16:30 (30min) › A software comparison of RNS and PMNS - Laurent-Stéphane Didier, Université de Toulon 16:30-17:00 (30min) Assemblée Générale du GT ARITH 17:00 - 18:00 (1h) Assemblée Générale du GT ARITH	Arithmétique pour apprentissage et inférence 9:00 - 10:00 (1h) Arithmétique pour apprentissage et inférence › Mixed precision approaches for DNN training acceleration - Silviu-Ioan Filip, Inria Rennes 09:00-09:30 (30min) › TBA* - Paul Estano 09:30-10:00 (30min) Pause café 10:00 - 10:30 (30min) Pause café Arithmétique pour apprentissage et inférence 10:30 - 12:00 (1h30) Arithmétique pour apprentissage et inférence › Neural Network Precision Tuning Using Stochastic Arithmetic - Quentin Ferro, LIP6 10:30-11:00 (30min) › Mixed Precision Iterative Refinement for Low-rank Matrix and Tensor Approximations - Matthieu Robeyns, Laboratoire Interdisciplinaire des Sciences du Numérique 11:00-11:30 (30min) › Quantization Aware Training with Learnable Precision - Cédric Gernigon, Inria 11:30-12:00 (30min) Discours de clôture 12:00 - 12:30 (30min) Discours de clôture

Personnes connectées : 1

Vie privée