Conférences et séminaires organisés depuis 2006

LIP6

PEQUAN

09/12/2022: Adaptive precision sparse matrix-vector product
07/12/2022: Feedback on the use of the Julia programming language for the numerical solution of Partial Differential Equations
18/12/2020: An Iterative Refinement Technique with an Integer Arithmetic-Based GMRES Solver
02/12/2020: Algorithms for Stochastically Rounded Elementary Arithmetic Operations in IEEE 754 Floating-Point Arithmetic
18/11/2020: Multiple precisions iterative refinement for the solution of large sparse linear systems
04/11/2020: Mixed precision algorithms, a tool for advancement of numerical linear algebra
14/04/2020: Exhaustive search of permutations with many patterns
05/11/2019: Optimal Word-Length Allocation for the Fixed-Point Implementation of Linear Filters and Controllers
08/10/2019: Sharper and smaller error bounds for low precision scientific computing
23/05/2019: Reproducibility Strategies for Parallel Preconditioned Conjugate Gradient
28/02/2019: Minimum number of additions in elliptic curve cryptography using double-based number representation
31/01/2019: Après-midi apprentissage / embarqué / précision numérique
17/01/2019: Toward optimizing compilers for quantum computers
06/12/2018: Accuracy and Stability of Low-rank Linear Solvers
25/10/2018: The Frobenius FFT and application to the multiplication of binary polynomials
05/07/2018: A communication-avoiding sparse direct solver
15/02/2018: Implementation and optimization techniques of linear algebra kernels for modern HPC systems
18/01/2018: CPUs and GPUs: can we get the best of both worlds?
20/11/2017: Deep Learning & Accélération GPU
25/09/2017: Predicting the Behavior of Large Dynamical Systems using Intervals and Reduced-Order Modeling
21/09/2017: Algorithmique de l'implementation fiable de filtres numériques
07/09/2017: Compilation abstraite et synthèse d'invariants basée sur des domaines numériques paramétrés
29/06/2017: Segmentation non-uniforme suivie d’approximation polynomiale pour l’évaluation de fonctions au sein de processeurs embarqués
15/06/2017: FP-ANR, un format de représentation des flottants pour la gestion à l’exécution des cancellations
15/05/2017: Précision, Reproductibilité en Calcul et Informatique Scientifique
04/05/2017: Topological Data Analysis and Visualization: A Tutorial (Part II: TTK)
27/04/2017: Topological Data Analysis and Visualization: A Tutorial
30/03/2017: Sweet and sour lessons from chasing hard-to-round cases in 128-bit
02/02/2017: Chebychev Approximation by Polynomials, Rational Functions and Splines
23/01/2017: Fast Fourier transform algorithms based on binary trees representation
19/01/2017: Fin de la Loi de Moore et applications HPC
24/11/2016: Computer algebra methods for the study of the stability and the stabilization of multidimensional systems
17/11/2016: Automating the pipeline of arithmetic datapaths
20/10/2016: Trois exposés (voir détails)
22/09/2016: A Decimal Multiple-Precision Interval Arithmetic Library
06/07/2016: Calcul par Intervalles et Transport Optimal
09/06/2016: Enlarged Krylov Subspace Methods and Preconditioners for Reducing Communication
19/05/2016: Programming with Numerical Uncertainties
19/05/2016: Towards reliable implementation of digital filtersTBA
12/05/2016: New results on floating-point
07/04/2016: Development of a library for symbolic floating-point arithmetic
24/03/2016: Evaluating Straight-Line Programs over Balls
10/03/2016: Accelerating the Conjugate Gradient Algorithm with GPU in CFD Simulations
22/02/2016: Persistent homology for multivariate data visualization
11/02/2016: Information Visualization from Trenches and Labs
03/02/2016: Estimation of numerical reproducibility using stochastic arithmetic
18/01/2016: Tutoriel Sollya et PythonSollya
07/01/2016: Sur la précision p-adique
17/12/2015: Apports des architectures hybrides à l?imagerie profondeur : étude comparative entre CPU, APU et GPU / Contributions of hybrid architectures to depth imaging: a CPU, APU and GPU comparative study
10/12/2015: Sound static analysis of run-time errors in programs with floating-point computations
30/11/2015: Vérification formelle de programmes numériques: l'exemple de la moyenne
19/11/2015: Towards a Modern Floating-Point Environment
02/11/2015: Determining Fixed-Point Formats using the Worst-Case Peak Gain measure (exposé court)
22/10/2015: Bornes sur les restes de séries solutions d'équations différentielles
24/09/2015: Pattern formation in a coupled Brusselator model
10/09/2015: Metalibm: Kalray's side
03/07/2015: Investigation of Crouzeix’s Conjecture via Nonsmooth Optimization
02/07/2015: Computer-aided floating point error analysis and debug
18/06/2015: Trois exposés courts (voir détails)
04/06/2015: Dilemme du fabricant de tables pour les fonctions transcendantes
21/05/2015: Parameterization of Surfaces
07/05/2015: Verrou : l'arithmétique stochastique sans recompiler
06/05/2015: Diagonalisation parallèle pour le calcul de structure électronique
26/03/2015: Reliable evaluation of the Worst-Case Peak Gain matrix in multiple precision
05/03/2015: Special functions in the Arb library
02/03/2015: The Parks McClellan algorithm: a scalable approach for designing FIR filters
26/02/2015: An inverse problem of magnetization in geoscience
12/02/2015: New Applications of Semidefinite Programming
29/01/2015: Calcul rapide des valeurs propres pour matrices compagnon
15/01/2015: Reproducible and Accurate BLAS for ExaScale Computing
11/12/2014: Itérations asynchrones des méthodes de décomposition de domaines sur architectures parallèles
27/11/2014: Intra-Procedural Optimization of the Numerical Accuracy of Programs
13/11/2014: Algèbre linéaire d'intervalles : Qualité Numérique et Hautes Performances sur Processeurs Multi-Cœurs
12/11/2014: Big Data Visual Analysis
30/10/2014: Metalibm: a code generator for parametrized mathematical functions
29/10/2014: Numerical stability of the Gram-Schmidt algorithm
16/10/2014: Introduction à Sage
20/03/2014: Résolution des systèmes linéaires et non linéaires creux sur clusters de GPUs
15/10/2013: Numerical Computation on Intel® Xeon Phi™ Coprocessors Using the Intel® Compilers and Math Libraries
10/10/2013: Algorithmic number theory and digital filter synthesis
10/05/2012: Etendre le compilateur GCC avec MELT
04/12/2008: Journée Thème Emergent --- GDR ASR du CNRS ---Calcul généraliste sur unités graphiques
27/05/2008: Interval Arithmetic: Concepts, Theory, Application
04/09/2007: Large estimation du mouvement apparent par des fonctions splines vectorielles : application à l'océanographie et à la météorologie
23/05/2006: On the algebraic properties of stochastic and interval numbers