Programme
| 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) |
|
| 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 |
|
| 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 |
|
| 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 |
|
|
