 |
29 mars-1 avr. 2022 Villeneuve d'Ascq (France)
|
 |
|
|
|
|
Programme
mardi 29 mars 2022
| Heures | événement | (+) |
| 13:30 - 14:00 | Accueil - Accueil | |
| 13:50 - 14:00 | Ouverture des Journées | |
| 14:00 - 15:00 | [KEYNOTE] Les algorithmes distribués : un terrain de jeu formidable pour la vérification - Nathalie Bertrand |
|
| 15:00 - 15:45 | Réduction exacte de modèles biochimiques de signalisation intracellulaire - Jérôme Féret |
|
| 15:45 - 16:15 | Pause café | |
| 16:15 - 17:00 | Graph Algorithms Through the Lens of Continuous Optimization - Adrian Vladu |
|
| 17:00 - 17:45 | Partitions aléatoires, cartes de grand genre et marche aléatoire sur les permutations - Guillaume Chapuy |
|
mercredi 30 mars 2022
| Heures | événement | (+) |
| 08:30 - 09:00 | Accueil café | |
| 09:00 - 10:00 | [KEYNOTE] Crossings and Perfection - Janos Pach |
|
| 10:00 - 10:30 | Pause café | |
| 10:30 - 11:15 | Twin-width and the algorithmic implications - Eunjung Kim |
|
| 11:15 - 12:00 | Algorithmes hors-cœur pour les arbres de poids minimum et les hiérarchies de segmentations - Jean Cousty |
|
| 12:00 - 14:00 | Pause déjeuner | |
| 14:00 - 14:45 | Calcul et programmation quantique - Benoit Valiron |
|
| 14:45 - 15:30 | Optimisation of quantum computations using the graphical ZX-calculus - Miriam Backens |
|
| 15:30 - 16:00 | Pause café | |
| 16:00 - 16:45 | Calcul quantique tolérant aux fautes - Anthony Leverrier |
|
| 16:45 - 17:30 | Verifying BQP Computations on Noisy Devices with Minimal Overhead - Elham Kashefi |
|
| 17:30 - 18:30 | Intervention d'Olivier Serre et Assemblée générale | |
| 20:00 - 23:55 | Gala - L'OMNIA - 9 rue Esquermoise, Lille (métro Rihour) |
jeudi 31 mars 2022
| Heures | événement | (+) |
| 08:30 - 09:00 | Accueil café | |
| 09:00 - 10:00 | [KEYNOTE] Dynamic Membership for Regular Languages - Charles Paperman |
|
| 10:00 - 10:30 | Pause café | |
| 10:30 - 11:15 | Computer arithmetic for DNN acceleration or how to compute right with errors and fast - Anastasia Volkova |
|
| 11:15 - 12:00 | Regular expressions for graphs of tree-width 2 - Amina Doumane |
|
| 12:00 - 14:00 | Pause déjeuner | |
| 14:00 - 15:00 | Session Posters | |
| 15:00 - 15:45 | When a little nondeterminism goes a long way: a survey of history-deterministic automata - Karoliina Lehtinen |
|
| 15:45 - 16:15 | Pause café | |
| 16:15 - 17:00 | Règles locales et apériodicité - Nathalie Aubrun |
|
| 17:00 - 17:45 | Hard problems for isogeny-based cryptography - Benjamin Wesolowski |
|
vendredi 1 avril 2022
| Heures | événement | (+) |
| 08:30 - 09:00 | Accueil café | |
| 09:00 - 10:00 | [KEYNOTE] Substitutions Linéaires et non Linéaires - une approche multicatégorique - Christine Tasson |
|
| 10:00 - 10:30 | Pause café | |
| 10:30 - 11:15 | Graph Queries: Did we study the right ones ? - Leonid Libkin | |
| 11:15 - 12:00 | Algorithmes de parking, avec application à un problème de géométrie énumérative - Philippe Nadeau |
|
| Personnes connectées : 1 | Vie privée |
|
