David Carral (GraphiK, LIRMM & INRIA, ) organise le MERCREDI 17 NOVEMBRE 2021 dans le cadre de l’action transverse « logique » du LIRMM une belle journée consacrée à des fragments décidables de la logique du premier ordre.
David a mis au point (cf. infra) une suite d’exposés par des chercheurs renommés, et nous espérons vous y voir nombreux, d’autant que les exposés du matin sont accessibles aux néophytes.
accueil
Giannos Stamoulis mis à l’honneur dans CNRS Sciences Informatiques
Lauréat d’un accessit du prix de thèse Gilles Kahn 2024, remis conjointement avec les travaux de Mathieu Even sur l’apprentissage fédéré, notamment sur des données privées, Giannos Stamoulis est
14 octobre 2025
