lundi 24 mars 2025
Heures | événement | (+) |
13:15 - 14:00 | Accueil | |
14:00 - 15:00 | Logique linéaire et différentiation - Thomas Ehrhard | |
15:00 - 16:00 | Posters | |
16:00 - 16:30 | Pause café | |
16:30 - 17:30 | Modeling Biological Networks as Logic Programs - Carito Guziolowski (GT Bioss) |
mardi 25 mars 2025
Heures | événement | (+) |
09:15 - 10:15 | Drawing graphs with no or few crossings in the plane, on surfaces, and beyond. - Eric Colin de Verdiere (GT GeoAlgo) | |
10:15 - 10:45 | Pause café | |
10:45 - 11:45 | Low-crossing vertex orderings in hypergraphs - Mónika Csikós (GT CoA) | |
11:45 - 12:45 | Graphes d'intersection aléatoires - Lucas Gerin (GT Alea) | |
12:45 - 14:15 | Déjeuner | |
14:15 - 18:00 | 1/2 journée parité - Comité de programme: Adeline Roux-Langlois, Eleonora Guerrini et Julien Cervelle | |
14:15 - 15:15 | Exposé scientifique sur les biais cognitifs de genre - Clément-Guillotin (Université de Nice) et Lucile Sassatelli (Université de Nice) | |
15:15 - 16:00 | Présentation de la politique en terme de parité du CNRS - Patrick Baillot (Délégué scientifique, en présentiel), Clémence Magnien (cellule égalité, en visio) | |
16:00 - 16:30 | Pause café | |
16:30 - 17:30 | Table ronde sur la parité et le recrutement | |
17:30 - 18:00 | 1/2 journée parité - Ateliers |
mercredi 26 mars 2025
Heures | événement | (+) |
09:15 - 10:15 | Cryptography, lattices, and graph isomorphism - Alice Pellet-Mary (GT C2) | |
10:15 - 10:45 | Pause café | |
10:45 - 11:45 | Groups acting on context-free graphs - Géraud Sénizergues (LaBRI, GT Daal) | |
11:45 - 12:45 | Raisonner avec les probabilités et les fonctions de croyances dans un cadre paraconsistant - Sabine Frittella (GT DAAL) | |
12:45 - 14:15 | Déjeuner | |
14:00 - 15:00 | How to decompose planar graphs? - Gwenael Joret | |
15:00 - 16:00 | Distributed Quantum Computing as a Service - Elham Kashefi | |
16:00 - 16:15 | Pause café | |
16:15 - 17:15 | Posters | |
17:15 - 19:30 | AG du GDR IFM | |
17:15 - 17:20 | Lancement de l'année thématique Jeux | |
17:20 - 17:30 | Point sur l'année thématique Quantique | |
17:30 - 18:00 | Bilan année thématique Géométrie | |
18:00 - 18:30 | Bilan année thématique Probabilité | |
18:30 - 19:30 | Annonces GdR IFM et discussions | |
19:30 - 22:00 | Cocktail Dinatoire - Cocktail Dinatoire |
jeudi 27 mars 2025
Heures | événement | (+) |
09:15 - 10:15 | Polynomial system solving over the reals: from algebra to geometry - Mohab Safey El Din | |
10:15 - 10:45 | Pause café | |
10:45 - 11:45 | Énumération de cartes combinatoires en genre quelconque - Valentin Bonzom (GT CombAlgo) | |
11:45 - 12:45 | Querying Inconsistent Data under Repair-Based Semantics - Meghyn Bienvenu |