JNIM 2023 : Journées nationales du GDR IM - Sciencesconf.org

Semaine Mar. 04 Mer. 05 Jeu. 06 Ven. 07 Liste

	Mar. 04	Mer. 05	Jeu. 06	Ven. 07
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 22:00	Accueil 13:30 - 13:50 (20min) Accueil Ouverture des journées 13:50 - 14:00 (10min) Ouverture des journées Keynote talk: Pavages par dominos 14:00 - 15:00 (1h) Keynote talk: Pavages par dominos Sylvie Corteel https://jnim2023.sciencesconf.org/data/program/Corteel.pdf Pause café 15:00 - 15:30 (30min) Pause café Session Posters I 15:30 - 16:30 (1h) Session Posters I Hall de l'amphi Buffon https://jnim2023.sciencesconf.org/data/program/PostersMardi_1.pdf GT Verif : Vérifier des systèmes paramétrés: les réseaux communiquant par rendez-vous non bloquants 16:30 - 17:15 (45min) GT Verif : Vérifier des systèmes paramétrés: les réseaux communiquant par rendez-vous non bloquants Tali Sznajder https://jnim2023.sciencesconf.org/data/program/Sznajder_1.pdf GT C2 : Secure computation: protecting the privacy of sensitive data used in distributed computations 17:15 - 18:00 (45min) GT C2 : Secure computation: protecting the privacy of sensitive data used in distributed computations Geoffroy Couteau https://jnim2023.sciencesconf.org/data/program/Couteau_1.pdf	Accueil café 9:00 - 9:30 (30min) Accueil café Keynote talk: On lightweight cryptography 9:30 - 10:30 (1h) Keynote talk: On lightweight cryptography Joan Daemen https://jnim2023.sciencesconf.org/data/program/Daemen.pdf Pause café 10:30 - 11:00 (30min) Pause café GT Scalp : De la programmation fonctionnelle à l'analyse fonctionnelle. 11:00 - 11:45 (45min) GT Scalp : De la programmation fonctionnelle à l'analyse fonctionnelle. Marie Kerjean https://jnim2023.sciencesconf.org/data/program/Kerjean.pdf GT Graphes : Algorithmes d’énumération dans les graphes 11:45 - 12:30 (45min) GT Graphes : Algorithmes d’énumération dans les graphes Aurélie Lagoutte https://jnim2023.sciencesconf.org/data/program/Lagoutte.pdf Buffet déjeuner 12:30 - 14:00 (1h30) Buffet déjeuner Hall de l'amphi Buffon GT Calcul Formel : Démonstration automatique d'identités binomiales multiples 14:00 - 14:45 (45min) GT Calcul Formel : Démonstration automatique d'identités binomiales multiples Pierre Lairez https://jnim2023.sciencesconf.org/data/program/Lairez.pdf Pause café 14:45 - 15:15 (30min) Pause café Session Posters II 15:15 - 16:15 (1h) Session Posters II Hall de l'amphi Buffon https://jnim2023.sciencesconf.org/data/program/PostersMercredi_1.pdf GT Alea : Probabilités de fuite pour des marches aléatoires singulières dans des cônes 16:15 - 17:00 (45min) GT Alea : Probabilités de fuite pour des marches aléatoires singulières dans des cônes Kilian Raschel https://jnim2023.sciencesconf.org/data/program/Raschel_1.pdf 50 ans de l'EPIT 17:00 - 17:10 (10min) 50 ans de l'EPIT Michele Pagani AG du GDR-IM en présence d'Olivier Serre 17:10 - 18:30 (1h20) AG du GDR-IM en présence d'Olivier Serre Cocktail 19:30 - 22:00 (2h30) Cocktail Grand Hall 12, rue de l’École de Médecine	Accueil café 9:00 - 9:30 (30min) Accueil café Keynote talk : Distributed Problems: Concurrent Specifications beyond Binary Relations 9:30 - 10:30 (1h) Keynote talk : Distributed Problems: Concurrent Specifications beyond Binary Relations Sergio Rajsbaum https://jnim2023.sciencesconf.org/data/program/Rajsbaum.pdf Pause café 10:30 - 11:00 (30min) Pause café GT Bioss : Coupling and synchronization dynamics among biological oscillators 11:00 - 11:45 (45min) GT Bioss : Coupling and synchronization dynamics among biological oscillators Madalena Chaves https://jnim2023.sciencesconf.org/data/program/Chaves.pdf GT MM : Une histoire inachevée de la tomographie discrète 11:45 - 12:30 (45min) GT MM : Une histoire inachevée de la tomographie discrète Yan Gérard https://jnim2023.sciencesconf.org/data/program/Gerard.pdf Buffet déjeuner ANNULATION DE LA 1/2 JOURNEE "ASSISTANTS DE PREUVE" [Annulé] Ouverture de la demi-journée sur les assistants de preuve [Annulé] Keynote talk : Assistants de Preuves : retour sur le pourquoi et le comment [Annulé] Des fondements théoriques des assistants de preuves aux choix d'implémentation: Dans les Boyaux de mon Noyau [Annulé] Pause café [Annulé] Formalisation des mathématiques: Bibliothèques numériques de mathématiques formalisées [Annulé] Table ronde enseignement 12:30 - 14:00 (1h30) Buffet déjeuner Hall de l'amphi Buffon 13:30 - 18:00 (4h30) ANNULATION DE LA 1/2 JOURNEE "ASSISTANTS DE PREUVE" 14:00 - 14:00 () [Annulé] Ouverture de la demi-journée sur les assistants de preuve 14:00 - 15:00 (1h) [Annulé] Keynote talk : Assistants de Preuves : retour sur le pourquoi et le comment Christine Paulin 15:00 - 15:50 (50min) [Annulé] Des fondements théoriques des assistants de preuves aux choix d'implémentation: Dans les Boyaux de mon Noyau Pierre-Marie Pédrot 15:50 - 16:20 (30min) [Annulé] Pause café 16:20 - 17:10 (50min) [Annulé] Formalisation des mathématiques: Bibliothèques numériques de mathématiques formalisées Assia Mahboubi 17:10 - 18:00 (50min) [Annulé] Table ronde enseignement	Accueil café 9:00 - 9:30 (30min) Accueil café Keynote talk : Vector Addition Systems Reachability Problem 9:30 - 10:30 (1h) Keynote talk : Vector Addition Systems Reachability Problem Jérôme Leroux https://jnim2023.sciencesconf.org/data/program/Leroux.pdf Pause café 10:30 - 11:00 (30min) Pause café GT CombAlg : De la diagonale du permutoèdre aux arbres k-colorés : une histoire de partitions et d'arbres 11:00 - 11:45 (45min) GT CombAlg : De la diagonale du permutoèdre aux arbres k-colorés : une histoire de partitions et d'arbres Bérénice Delcroix-Oger https://jnim2023.sciencesconf.org/data/program/DelcroixOger.pdf GT SDA2 : Un argument de comptage simple appliqué à l'entropie des pavages 11:45 - 12:30 (45min) GT SDA2 : Un argument de comptage simple appliqué à l'entropie des pavages Matthieu Rosenfeld https://jnim2023.sciencesconf.org/data/program/Rosenfeld.pdf