Programme

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  
Personnes connectées : 2 Vie privée
Chargement...