Section: Dissemination

Invited Conferences

• Florent de Dinechin gave invited talks or lectures at the CERN/Intel OpenLab workshop at CERN, at the LIF seminar in Luminy, at the Intel Summer School in Nizhniy Novgorod, and at the Journées Développement Logiciel (JDEV) in Palaiseau.

• Jean-Michel Muller gave an invited talk Proof of Properties in Floating-Point Arithmetic at the conference Continuity, Computability, Constructivity - From Logic to Algorithms (CCC 2013), Swansea University/Gregynog, UK, June 26–30, 2013.

• Nathalie Revol gave talks about numerical reproducibility, with a focus on interval computations, at PPAM'2013 (Warsaw, Poland, 2013/09/8-11), at RAIM 2013 (Paris, France, 2013/11/18-20), at McMaster University (Hamilton, Ontario, Canada, 2013-12-10), and at University of Toronto (Ontario, Canada, 2013-12-13).

• Bruno Salvy was invited to give a talk Implicit Species at the basis of Analytic Combinatorics at the 24th International Meeting on Probabilistic, Combinatorial and Asymptotic Methods for the Analysis of Algorithm (AofA 2013, Menorca, Spain, May 27–31) and on Newton iteration in computer algebra and combinatorics at the Journées d'Informatique Fondamentale de Paris Diderot (April 22–26).

• Damien Stehlé gave an invited lecture talk at Journées Nationales du Calcul Formel (Luminy, France, May 13–17, 2013), invited plenary talks at the conferences SIAM Conference on Applied Algebraic Geometry (AG13) (Fort Collins, Colorado, USA, August 1–4, 2013) and ICISC (Seoul, Korea, November 25–29, 2013) and at the Microsoft Research India Workshop on Lattice-Based Cryptography (Bengalore, India, November 30, 2013).