Journées FastRelax

25--27 mai 2016,

Toulouse

Venue

Programme, abstracts

  • 25 mai
    • Accueil 10h30
    • 11h Fredrik Johansson, Hypergeometric functions in Arb
    • 12h Déjeuner
    • 14h-15h Bruno Salvy, Symbolic-Numeric Tools for Multivariate Asymptotics in Combinatorics. Slides
    • 15h Pause
    • 15h30-16h30 Laurent Thery, Intro à Coq et conjecture de Goldbach
    • 16h30 Discussions
  • 26 mai
    • 10h Thomas Sibut-Pinote, Formally Verified Approximations of Definite Integrals
    • 11h Tillmann Weisser, NLVerify Non Linear Verification - a coq-Tactic
    • 12h Déjeuner
    • 14h Jean-Michel Muller, Fast2Sum et 2Sum sont plus robustes qu'on le croit
    • 15h Siegfried Rump, Recent results on floating-point arithmetic
    • 16h Pause
    • 16h30 Valentina Popescu, Data-parallel algorithms for arithmetic operations using floating-point expansions
    • 17h30 Bruno Salvy, Bilan du projet
    • 20h Diner
  • 27 mai
    • 10h Mioara Joldes & Paulo Antares Gilz & Frédéric Camps sur les travaux reliés au RDV impulsionnel validé.
    • 12h Déjeuner
    • 14h Fin