Mioara Joldes publications

Mioara Joldes' Talks, Seminaries (Selection).

May 2021: Invited participation in the AIM (American Institute of Mathematics) workshop Computational mathematics in computer assisted proofs.
January 2021 Invited talk at the workshop Machine Learning in Certified Systems.
November 2020: Invited talk at Séminaire différentiel, Université de Versailles-St Quentin, Laboratoire de Mathématiques.
February 2020: Invited talk at Imperial/UCL Numerics Seminar, London, UK.
March 2019: Invited talk at National Days of Informatics-Mathematics, (Journées du GDR IM), Orléans, France.
October 2018, 2020: Invited course at Master2Course at ENS Lyon, Approximation Theory and Proof Assistants: Certified Computations, Lyon, France.
June 2018: Talk at ANR FastRelax Meeting, Nice, France.
June 2018: Course at CEA-EDF-Inria Summer School, Paris, France.
June 2018: Talk at Dynamics, Topology and Computations, Bedlewo, Poland.
January 2018: Course at Winter Workshop on Dynamics, Topology and Computations, Bedlewo, Poland.
December 2017: Talk at Workshop on Space Rendezvous, CCT ORB, CNES, Toulouse, France.
October 2017: Plenary talk at RAIM 2017: Rencontres Arithmetique de l'Informatique Mathematique, Lyon, France.
July 2017: Semi-Plenary talk at Foundations of Computational Mathematics, FOCM2017, Barcelona, Spain.
May 2017: Invited visit and talk at the Department of Mechanical & Aerospace Engineering at the University of Strathclyde, Glasgow, UK
September 2016: Invited plenary talk at 17th International Symposium on Scientific Computing, Computer Arithmetics and Verified Numerics, Uppsala, Sweden
August 2016: Talk at 20th IFAC Symposium on Automatic Control in Aerospace - ACA 2016, Sherbrooke, Canada.
July 2016: Talk at 5th International Congress on Mathematical Software, Berlin, Germany.
May 2016: Talk at ANR FastRelax project meeting, Toulouse, France.
April 2016: Talk at Specfun Team Seminar Computations and Proofs, Inria Saclay, France.
March 2016: Talk at Dali Team Seminar, Perpignan, France.
June 2015: Talk at 2015 CMS Summer Meeting in Charlottetown, University of Prince Edward Island, Canada.
June 2015: Talk at The 13th International Symposium on Orthogonal Polynomials, Special Functions and Applications (OPSFA-13), SIAM, National Institute of Standards and Technology (NIST), MD, USA.
December 2014: Talk at CAPA Project's Seminar, Uppsala University, Sweden.
June 2014: Talk at ASAP Conference, Zurich, Switzerland.
February 2014: Talk at "Mathematical Structures of Computation - Formal Proof, Symbolic Computation and Computer Arithmetic" (SMC2014), Lyon.
November 2013: Talk at "6ème Rencontres Arithmétiques de l'Informatique Mathématique" (RAIM), Paris.
November 2013: Talk at "13ème forum des jeunes mathématicien-ne-s", Lyon.
May 2013: Talk at Aric Seminar, LIP, Lyon.
April 2012: Talk at National Institute of Aerospace, Hampton, Virginia, USA.
November 2011: Talk at a seminary of MAC Team, LAAS, Toulouse (France).
November 2011: Talk at a seminary of Pequan Team, LIP6, Paris (France).
Novembrer 2011: Talk at Journées Nationales de Calcul Formel (JNCF), CIRM, Luminy (France).
April 2011: talk at CAPA Project's Seminar, Uppsala University, Sweden.
April 2011: talk entitled "Automatic generation of polynomial-based hardware architectures for function evaluation", at Technical University of Cluj-Napoca, Romania.
June 2011: talk entitled "Rigorous uniform approximation of D-finite functions", at SWIM2011, Bourges, France.
February 2011: talk at RAIM'11, Perpignan, France.
November 2010: talk at Séminaire Calcul Formel à l'Université de Limoges.
October 2010: talk at Algorithms Project's Seminar, INRIA, Rocquencourt.
October 2010: talk entitled "Supnorm for Newbies", at Journées TAMADI, ENS Lyon, France.
June 2010: talk at the 3rd edition of the Small Workshop on Interval Methods (SWIM), Nantes, France.
June 2010: talk at International Symposium on Symbolic and Algebraic Computation (ISSAC 2010), Munich, Germany.
May 2010: talk at EVA-Flo: Evaluation et Validation Automatique pour le calcul Flottant meeting, Perpignan - Canet, France
April 2010: talk at a seminary of Caramel team, LORIA, Nancy, entitled ''Chebyshev Interpolation Polynomial-based Tools for Rigorous Computing''
March 2010: talk at the workgroup of the team Arénaire in the ENS Lyon (France)
November 2009: presentation of my work targeted for general scientific audience, entitled "When a Logarithm is just a misspelled Algorithm", at Neuvième Forum des Jeunes Mathématiciennes, Institut Henri Poincaré, Paris
September 2009: presentation at International Conference of Numerical Analysis and Applied Mathematics 2009 (ICNAAM 2009), Rethymno, Crete, Greece
June 2009: talk at the 19th IEEE Symposium of Computer Arithmetic, ARITH'19, Portland, Oregon, USA
June 2009: talk at a seminary at INTEL, Portland, Oregon, USA
May 2009: talk at the Sixth International Taylor Model Methods Workshop, Karlsruhe (Germany)
May 2009: talk at the workgroup of the team Arénaire in the ENS Lyon (France)
October 2008: talk at Journées Nationales de Calcul Formel (JNCF), CIRM, Luminy (France)