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
L’équipe ICAR du LIRMM contribue à une base de référence pour la microscopie du futur
L’équipe ICAR du LIRMM est impliquée dans la publication de Light My Cells, une base de données ouverte d’envergure décrite dans la revue Scientific Data. Cette ressource
18 juin 2026
