January 27th, 2022 at 10:15 am -- Éric Goubault (LIX, École Polytechnique)

Verification of ReLU neural networks with tropical polyhedra

December 16th, 2021 at 10:15 am -- Stef Graillat (PEQUAN, LIP6, Sorbonne Université)

On a compensated Ehrlich-Aberth method for the accurate computation of all polynomial roots

November 18th, 2021 at 3:00 pm -- Jan Verschelde (Dpt of Mathematics, Statistics and Computer, University of Illinois at Chicago, U.S.A.)

Least Squares on GPUs in Multiple Double Precision

October 7th, 2021 at 10:15 am -- Michael Plum (Fakultät für Mathematik, Karlsruher Institut für Technologie, Karlsruhe, Deutschland)

Computer-assisted existence and multiplicity proofs for semilinear elliptic boundary value problems

July 1st, 2021 at 10:15 am -- Sheehan Olver (Department of Mathematics, Imperial College London, United Kingdom)

Infinite Linear Algebra + Interval Arithmetic

June 17, 2021 at 10:15 am -- Guillaume Melquiond (Toccata, INRIA Paris Saclay)

Plotting in a formally verified way

May 20, 2021 at 10:15 am -- Joel Dahne (Uppsala Univ., Sweden)

A computer assisted counterexample to Payne’s nodal line conjecture with few holes