Journées Nationales 2020 du GDR Informatique Mathématique

Exposé invité

› Méthodes numériques rigoureuses et formellement vérifiées - Assia Mahboubi, Inria, Laboratoire des Sciences du Numérique de Nantes 09:00-10:00 (1h)

Pause café

Salon d'honneur

Exposé GT

› Titre à venir - Damien Pous, CNRS, ENS Lyon, LIP 10:20-11:10 (50min)

› Factoring RSA of 240 decimal digits and computing discrete logarithms in a 240-decimal-digit prime field with the same software and hardware. - Aurore Guillevic, Inria Nancy - Grand Est 11:10-12:00 (50min)

Fermeture

Jean-Michel Muller et Guillaume Theyssier