Journées Nationales du GDR Informatique Mathématique
Cnam, Paris (France)

Programme

mardi 22 septembre 2020

Heures événement  
14:15 - 14:30 Ouverture (Amphithéâtre Gaston Planté)  
14:30 - 15:30 Exposé invité  
14:30 - 15:30 › Problèmes de partitionnement - Claire Mathieu, CNRS, Institut de Recherche en Informatique Fondamentale  
15:30 - 15:50 Pause café (Salon d'honneur)  
15:50 - 17:30 Exposé GT  
15:50 - 16:40 › Identités de partitions et cristaux dans $A_{n-1}^{(1)}$ - Jehanne Dousse, CNRS, Institut Camille Jordan  
16:40 - 17:30 › Mathematical modeling and control of resource allocation in microorganisms - Hidde de Jong, Equipe IBIS INRIA/Grenoble  

mercredi 23 septembre 2020

Heures événement  
09:00 - 10:00 Exposé invité  
09:00 - 10:00 › Towards a theory of non-commutative optimization: geodesic first and second order methods for moment maps and polytopes - Peter Buergisser, Technical University of Berlin, Institute of Mathematics  
10:00 - 10:20 Pause café (Salon d'honneur)  
10:20 - 12:00 Exposé GT  
10:20 - 11:10 › Automatic Differentiation in PCF - Michele Pagani, Institut de Recherche en Informatique Fondamentale  
11:10 - 12:00 › Mutual information and secret key agreement - Andrei Romashchenko, Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier  
12:00 - 14:00 Déjeuner  
14:00 - 15:20 Posters (Galerie d'honneur)  
15:20 - 15:40 Pause café (Salon d'honneur)  
15:40 - 16:30 Exposé GT  
16:45 - 17:30 Assemblée Générale  
16:45 - 16:50 › Intervention comme DAS à l'INS2I (CNRS) - Adeline Nazarenko, DAS INS2I et LIPN  
19:00 - 21:30 Soirée Cocktail (Salon d'honneur)  

jeudi 24 septembre 2020

Heures événement  
09:00 - 10:20 Session thématique Informatique Quantique  
09:00 - 09:40 › Calcul et programmation quantique - Benoît Valiron, Laboratoire de Recherche en Informatique  
09:40 - 10:20 › Titre à venir - Elham Kashefi, CNRS, LIP6, Sorbonne Université  
10:20 - 10:40 Pause café (Salon d'honneur)  
10:40 - 12:00 Session thématique Informatique Quantique  
10:40 - 11:20 › Calcul quantique tolérant aux fautes et codes expanseurs - Anthony Leverrier, Inria Paris  
11:20 - 12:00 › Activité R&D d'Atos Quantum - Simon Martiel, ATOS Quantum  
12:00 - 14:00 Déjeuner  
14:00 - 15:20 Posters (Galerie d'honneur)  
15:20 - 15:40 Pause café (Salon d'honneur)  
15:40 - 16:40 Exposé invité  
15:40 - 16:40 › Triangulations des variétés : de l'existence à la construction - Jean-Daniel Boissonnat, Inria Sophia Antipolis Méditerranée, DataShape  
16:40 - 17:30 Exposé GT  
16:40 - 17:30 › Titre à venir - Marie Albenque, LIX, École polytechnique  

vendredi 25 septembre 2020

Heures événement  
09:00 - 10:00 Exposé invité  
09:00 - 10:00 › Méthodes numériques rigoureuses et formellement vérifiées - Assia Mahboubi, Inria, Laboratoire des Sciences du Numérique de Nantes  
10:00 - 10:20 Pause café (Salon d'honneur)  
10:20 - 12:00 Exposé GT  
10:20 - 11:10 › Titre à venir - Damien Pous, CNRS, ENS Lyon, LIP  
11:10 - 12:00 › 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  
12:00 - 12:20 Fermeture - Jean-Michel Muller et Guillaume Theyssier  
Personnes connectées : 10 Vie privée
Chargement...