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
Le LIRMM dans la presse : entretien avec David Novo sur les puces du futur (CMOS 2.0)
Dans la continuité de son implication dans le consortium européen sur les technologies CMOS 2.0, le LIRMM est aujourd’hui mis en lumière dans la presse spécialisée.Découvrez
31 mars 2026
