Journées Nationales du GDR IM 2021

Mar. 23

Mer. 24

Jeu. 25

Ven. 26

08:00

09:00

10:00

11:00

12:00

13:00

14:00

Zoom

8:00 - 8:45 (45min)

Zoom

Ouverture de la salle du mardi pour la connexion

Ouverture

8:45 - 9:00 (15min)

Ouverture

Conférence invitée

9:00 - 10:00 (1h)

Conférence invitée

(Chair : David Ilcinkas, exposé 50mn puis questions 10mn)

› Problèmes de partitionnement - Claire Mathieu, CNRS, Institut de Recherche en Informatique Fondamentale 09:00-10:00 (1h)

Pause

10:00 - 10:15 (15min)

Pause

Exposés réguliers

10:15 - 12:00 (1h45)

Exposés réguliers

(Chair : Frédérique Bassino, exposé 40mn puis questions 5mn)

› Identités de partitions et cristaux dans $A_{n-1}^{(1)}$ - Jehanne Dousse, CNRS, Institut Camille Jordan 10:15-11:00 (45min)

› Empilements d'oranges et variations - Thomas Fernique, Laboratoire d'informatique de Paris-nord 11:15-12:00 (45min)

Philippe Flajolet, hommage

12:05 - 12:30 (25min)

Philippe Flajolet, hommage

Brigitte Vallée, GREYC, CNRS et Université de Caen.

Zoom

8:30 - 9:00 (30min)

Zoom

Ouverture de la salle du mercredi pour la connexion

Conférence invitée

9:00 - 10:00 (1h)

Conférence invitée

(Chair : Bruno Salvy, exposé 50mn puis questions 10mn)

› 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

10:05 - 10:15 (10min)

Pause

Exposés réguliers

10:15 - 12:00 (1h45)

Exposés réguliers

(Chair : Valérie Berthé, exposé 40mn puis questions 5mn)

› Automatic Differentiation in PCF - Michele Pagani, Institut de Recherche en Informatique Fondamentale 10:15-11:00 (45min)

› Mathematical modeling and control of resource allocation in microorganisms - Hidde De Jong, Equipe IBIS INRIA/Grenoble 11:15-12:00 (45min)

INS2I : informations et discussions

13:30 - 14:00 (30min)

INS2I : informations et discussions

Adeline Nazarenko (DAS INS2I et LIPN)

Actualités du GDR IM

14:00 - 14:30 (30min)

Actualités du GDR IM

Jean-Michel Muller et Guillaume Theyssier (co-directeurs GDR IM)

Zoom

8:30 - 9:00 (30min)

Zoom

Ouverture de la salle du jeudi pour la connexion

Conférence invitée

9:00 - 10:00 (1h)

Conférence invitée

(Chair : Francis Lazarus, exposé 50mn puis questions 10mn)

› 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 09:00-10:00 (1h)

Pause

10:00 - 10:15 (15min)

Pause

Exposés réguliers

10:15 - 12:00 (1h45)

Exposés réguliers

(Chair : Véronique Cortier, exposé 40mn puis questions 5mn)

› Limite locale de surfaces discrètes aléatoires munies (ou non !) d'un modèle de physique statistique - Marie Albenque, LIX, École polytechnique 10:15-11:00 (45min)

› Mutual information and secret key agreement - Andrei Romashchenko, Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier 11:15-12:00 (45min)

Zoom

8:30 - 9:00 (30min)

Zoom

Ouverture de la salle du vendredi pour la connexion

Conférence invitée

9:00 - 10:00 (1h)

Conférence invitée

(Chair : Damiano Mazza, exposé 50mn puis questions 10mn)

› Structures mathématiques en théorie des types - Assia Mahboubi, Inria, Laboratoire des Sciences du Numérique de Nantes 09:00-10:00 (1h)

Pause

10:00 - 10:15 (15min)

Pause

Exposés réguliers

10:15 - 12:00 (1h45)

Exposés réguliers

(Chair : Delia Kesner, exposé 40mn puis questions 5mn)

› Cyclic proofs as a programming language - Damien Pous, CNRS, ENS Lyon, LIP 10:15-11:00 (45min)

› 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:15-12:00 (45min)