Programme

Semaine Mar. 22 Mer. 23 Jeu. 24 Ven. 25 Liste

	Mar. 22	Mer. 23	Jeu. 24	Ven. 25
09:00 10:00 11:00 12:00 13:00 14:00 15:00 16:00 17:00 18:00 19:00 20:00 21:00	Ouverture 14:15 - 14:30 (15min) Ouverture Amphithéâtre Gaston Planté Exposé invité 14:30 - 15:30 (1h) Exposé invité › Problèmes de partitionnement - Claire Mathieu, CNRS, Institut de Recherche en Informatique Fondamentale 14:30-15:30 (1h) Pause café 15:30 - 15:50 (20min) Pause café Salon d'honneur Exposé GT 15:50 - 17:30 (1h40) Exposé GT › Identités de partitions et cristaux dans $A_{n-1}^{(1)}$ - Jehanne Dousse, CNRS, Institut Camille Jordan 15:50-16:40 (50min) › Mathematical modeling and control of resource allocation in microorganisms - Hidde de Jong, Equipe IBIS INRIA/Grenoble 16:40-17:30 (50min)	Exposé invité 9:00 - 10:00 (1h) Exposé invité › 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 09:00-10:00 (1h) Pause café 10:00 - 10:20 (20min) Pause café Salon d'honneur Exposé GT 10:20 - 12:00 (1h40) Exposé GT › Automatic Differentiation in PCF - Michele Pagani, Institut de Recherche en Informatique Fondamentale 10:20-11:10 (50min) › Mutual information and secret key agreement - Andrei Romashchenko, Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier 11:10-12:00 (50min) Déjeuner 12:00 - 14:00 (2h) Déjeuner Posters 14:00 - 15:20 (1h20) Posters Galerie d'honneur Pause café 15:20 - 15:40 (20min) Pause café Salon d'honneur Exposé GT 15:40 - 16:30 (50min) Exposé GT Assemblée Générale 16:45 - 17:30 (45min) Assemblée Générale › Intervention comme DAS à l'INS2I (CNRS) - Adeline Nazarenko, DAS INS2I et LIPN 16:45-16:50 (05min) Soirée Cocktail 19:00 - 21:30 (2h30) Soirée Cocktail Salon d'honneur	Session thématique Informatique Quantique 9:00 - 10:20 (1h20) Session thématique Informatique Quantique › Calcul et programmation quantique - Benoît Valiron, Laboratoire de Recherche en Informatique 09:00-09:40 (40min) › Titre à venir - Elham Kashefi, CNRS, LIP6, Sorbonne Université 09:40-10:20 (40min) Pause café 10:20 - 10:40 (20min) Pause café Salon d'honneur Session thématique Informatique Quantique 10:40 - 12:00 (1h20) Session thématique Informatique Quantique › Calcul quantique tolérant aux fautes et codes expanseurs - Anthony Leverrier, Inria Paris 10:40-11:20 (40min) › Activité R&D d'Atos Quantum - Simon Martiel, ATOS Quantum 11:20-12:00 (40min) Déjeuner 12:00 - 14:00 (2h) Déjeuner Posters 14:00 - 15:20 (1h20) Posters Galerie d'honneur Pause café 15:20 - 15:40 (20min) Pause café Salon d'honneur Exposé invité 15:40 - 16:40 (1h) Exposé invité › Triangulations des variétés : de l'existence à la construction - Jean-Daniel Boissonnat, Inria Sophia Antipolis Méditerranée, DataShape 15:40-16:40 (1h) Exposé GT 16:40 - 17:30 (50min) Exposé GT › Titre à venir - Marie Albenque, LIX, École polytechnique 16:40-17:30 (50min)	Exposé invité 9:00 - 10:00 (1h) 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é 10:00 - 10:20 (20min) Pause café Salon d'honneur Exposé GT 10:20 - 12:00 (1h40) 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 12:00 - 12:20 (20min) Fermeture Jean-Michel Muller et Guillaume Theyssier

Personnes connectées : 30

Vie privée