	JNIM 2022 : Journées Nationales du GDR IM 29 mars-1 avr. 2022 Villeneuve d'Ascq (France)

Programme

Semaine Mar. 29 Mer. 30 Jeu. 31 Ven. 01 Liste

	Mar. 29	Mer. 30	Jeu. 31	Ven. 01
08:00 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 23:00	Accueil Ouverture des Journées 13:30 - 14:00 (30min) Accueil Accueil 13:50 - 14:00 (10min) Ouverture des Journées [KEYNOTE] Les algorithmes distribués : un terrain de jeu formidable pour la vérification 14:00 - 15:00 (1h) [KEYNOTE] Les algorithmes distribués : un terrain de jeu formidable pour la vérification Nathalie Bertrand https://jnim2022.sciencesconf.org/data/program/new.txt Réduction exacte de modèles biochimiques de signalisation intracellulaire 15:00 - 15:45 (45min) Réduction exacte de modèles biochimiques de signalisation intracellulaire Jérôme Féret https://jnim2022.sciencesconf.org/data/program/Jerome_Feret_1.txt Pause café 15:45 - 16:15 (30min) Pause café Graph Algorithms Through the Lens of Continuous Optimization 16:15 - 17:00 (45min) Graph Algorithms Through the Lens of Continuous Optimization Adrian Vladu https://jnim2022.sciencesconf.org/data/program/exposeVladu_1.txt Partitions aléatoires, cartes de grand genre et marche aléatoire sur les permutations 17:00 - 17:45 (45min) Partitions aléatoires, cartes de grand genre et marche aléatoire sur les permutations Guillaume Chapuy https://jnim2022.sciencesconf.org/data/program/Guillaume_Chapuy.txt	Accueil café 8:30 - 9:00 (30min) Accueil café [KEYNOTE] Crossings and Perfection 9:00 - 10:00 (1h) [KEYNOTE] Crossings and Perfection Janos Pach https://jnim2022.sciencesconf.org/data/program/Janos_Pach_2.txt Pause café 10:00 - 10:30 (30min) Pause café Twin-width and the algorithmic implications 10:30 - 11:15 (45min) Twin-width and the algorithmic implications Eunjung Kim https://jnim2022.sciencesconf.org/data/program/Eunjung_Kim_1.txt Algorithmes hors-cœur pour les arbres de poids minimum et les hiérarchies de segmentations 11:15 - 12:00 (45min) Algorithmes hors-cœur pour les arbres de poids minimum et les hiérarchies de segmentations Jean Cousty https://jnim2022.sciencesconf.org/data/program/Jean_Cousty_1.txt Pause déjeuner 12:00 - 14:00 (2h) Pause déjeuner Calcul et programmation quantique 14:00 - 14:45 (45min) Calcul et programmation quantique Benoit Valiron https://jnim2022.sciencesconf.org/data/program/Elham_Kashefi.txt Optimisation of quantum computations using the graphical ZX-calculus 14:45 - 15:30 (45min) Optimisation of quantum computations using the graphical ZX-calculus Miriam Backens https://jnim2022.sciencesconf.org/data/program/Miriam_Backens.txt Pause café 15:30 - 16:00 (30min) Pause café Calcul quantique tolérant aux fautes 16:00 - 16:45 (45min) Calcul quantique tolérant aux fautes Anthony Leverrier https://jnim2022.sciencesconf.org/data/program/Anthony_Leverrier.txt Verifying BQP Computations on Noisy Devices with Minimal Overhead 16:45 - 17:30 (45min) Verifying BQP Computations on Noisy Devices with Minimal Overhead Elham Kashefi https://jnim2022.sciencesconf.org/data/program/Benoit_Valiron.txt Intervention d'Olivier Serre et Assemblée générale 17:30 - 18:30 (1h) Intervention d'Olivier Serre et Assemblée générale Gala 20:00 - 23:55 (3h55) Gala	Accueil café 8:30 - 9:00 (30min) Accueil café [KEYNOTE] Dynamic Membership for Regular Languages 9:00 - 10:00 (1h) [KEYNOTE] Dynamic Membership for Regular Languages Charles Paperman https://jnim2022.sciencesconf.org/data/program/Charles_Paperman_1.txt Pause café 10:00 - 10:30 (30min) Pause café Computer arithmetic for DNN acceleration or how to compute right with errors and fast 10:30 - 11:15 (45min) Computer arithmetic for DNN acceleration or how to compute right with errors and fast Anastasia Volkova https://jnim2022.sciencesconf.org/data/program/Anastasia_Volkova_1.txt Regular expressions for graphs of tree-width 2 11:15 - 12:00 (45min) Regular expressions for graphs of tree-width 2 Amina Doumane https://jnim2022.sciencesconf.org/data/program/Amina_Doumane_1.txt Pause déjeuner 12:00 - 14:00 (2h) Pause déjeuner Session Posters 14:00 - 15:00 (1h) Session Posters When a little nondeterminism goes a long way: a survey of history-deterministic automata 15:00 - 15:45 (45min) When a little nondeterminism goes a long way: a survey of history-deterministic automata Karoliina Lehtinen https://jnim2022.sciencesconf.org/data/program/Karoliina_Lehtinen_1.txt Pause café 15:45 - 16:15 (30min) Pause café Règles locales et apériodicité 16:15 - 17:00 (45min) Règles locales et apériodicité Nathalie Aubrun https://jnim2022.sciencesconf.org/data/program/Nathalie_Aubrun_1.txt Hard problems for isogeny-based cryptography 17:00 - 17:45 (45min) Hard problems for isogeny-based cryptography Benjamin Wesolowski https://jnim2022.sciencesconf.org/data/program/Benjamin_Wesolowski_1.txt	Accueil café 8:30 - 9:00 (30min) Accueil café [KEYNOTE] Substitutions Linéaires et non Linéaires - une approche multicatégorique 9:00 - 10:00 (1h) [KEYNOTE] Substitutions Linéaires et non Linéaires - une approche multicatégorique Christine Tasson https://jnim2022.sciencesconf.org/data/program/Christine_Tasson.txt Pause café 10:00 - 10:30 (30min) Pause café Graph Queries: Did we study the right ones ? 10:30 - 11:15 (45min) Graph Queries: Did we study the right ones ? Leonid Libkin Algorithmes de parking, avec application à un problème de géométrie énumérative 11:15 - 12:00 (45min) Algorithmes de parking, avec application à un problème de géométrie énumérative Philippe Nadeau https://jnim2022.sciencesconf.org/data/program/Philippe_Nadeau.txt

Personnes connectées : 2

Vie privée | Accessibilité

Chargement...