|
mardi 23 mars 2021
| Heures | événement | (+) |
| 08:00 - 08:45 | Zoom - Ouverture de la salle du mardi pour la connexion | |
| 08:45 - 09:00 | Ouverture | |
| 09:00 - 10:00 | Conférence invitée - (Chair : David Ilcinkas, exposé 50mn puis questions 10mn) | (+) |
| 09:00 - 10:00 | › Problèmes de partitionnement - Claire Mathieu, CNRS, Institut de Recherche en Informatique Fondamentale | |
| 10:00 - 10:15 | Pause | |
| 10:15 - 12:00 | Exposés réguliers - (Chair : Frédérique Bassino, exposé 40mn puis questions 5mn) | (+) |
| 10:15 - 11:00 | › Identités de partitions et cristaux dans $A_{n-1}^{(1)}$ - Jehanne Dousse, CNRS, Institut Camille Jordan | |
| 11:15 - 12:00 | › Empilements d'oranges et variations - Thomas Fernique, Laboratoire d'informatique de Paris-nord | |
| 12:05 - 12:30 | Philippe Flajolet, hommage - Brigitte Vallée, GREYC, CNRS et Université de Caen. |
mercredi 24 mars 2021
| Heures | événement | (+) |
| 08:30 - 09:00 | Zoom - Ouverture de la salle du mercredi pour la connexion | |
| 09:00 - 10:00 | Conférence invitée - (Chair : Bruno Salvy, exposé 50mn puis questions 10mn) | (+) |
| 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:05 - 10:15 | Pause | |
| 10:15 - 12:00 | Exposés réguliers - (Chair : Valérie Berthé, exposé 40mn puis questions 5mn) | (+) |
| 10:15 - 11:00 | › Automatic Differentiation in PCF - Michele Pagani, Institut de Recherche en Informatique Fondamentale | |
| 11:15 - 12:00 | › Mathematical modeling and control of resource allocation in microorganisms - Hidde De Jong, Equipe IBIS INRIA/Grenoble | |
| 13:30 - 14:00 | INS2I : informations et discussions - Adeline Nazarenko (DAS INS2I et LIPN) | |
| 14:00 - 14:30 | Actualités du GDR IM - Jean-Michel Muller et Guillaume Theyssier (co-directeurs GDR IM) |
jeudi 25 mars 2021
| Heures | événement | (+) |
| 08:30 - 09:00 | Zoom - Ouverture de la salle du jeudi pour la connexion | |
| 09:00 - 10:00 | Conférence invitée - (Chair : Francis Lazarus, exposé 50mn puis questions 10mn) | (+) |
| 09:00 - 10:00 | › Triangulations des variétés : de l'existence à la construction - Jean-Daniel Boissonnat, Université Cote d'Azur, Institut National de Recherche en Informatique et en Automatique, Centre Sophia-Antipolis Méditerranée | |
| 10:00 - 10:15 | Pause | |
| 10:15 - 12:00 | Exposés réguliers - (Chair : Véronique Cortier, exposé 40mn puis questions 5mn) | (+) |
| 10:15 - 11:00 | › Limite locale de surfaces discrètes aléatoires munies (ou non !) d'un modèle de physique statistique - Marie Albenque, LIX, École polytechnique | |
| 11:15 - 12:00 | › Mutual information and secret key agreement - Andrei Romashchenko, Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier |
vendredi 26 mars 2021
| Heures | événement | (+) |
| 08:30 - 09:00 | Zoom - Ouverture de la salle du vendredi pour la connexion | |
| 09:00 - 10:00 | Conférence invitée - (Chair : Damiano Mazza, exposé 50mn puis questions 10mn) | (+) |
| 09:00 - 10:00 | › Structures mathématiques en théorie des types - Assia Mahboubi, Inria, Laboratoire des Sciences du Numérique de Nantes | |
| 10:00 - 10:15 | Pause | |
| 10:15 - 12:00 | Exposés réguliers - (Chair : Delia Kesner, exposé 40mn puis questions 5mn) | (+) |
| 10:15 - 11:00 | › Cyclic proofs as a programming language - Damien Pous, CNRS, ENS Lyon, LIP | |
| 11:15 - 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 |
|
|