|
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 |
|
|