Menu Fermer

Une belle journée consacrée à des fragments décidables de la logique du premier ordre

JourneeLogique

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.

Programme

En voir plus

accueil

Séminaire Intelligence Artificielle 

Danger et opportunité pour la R&D à l’horizon 2030 Mardi 14 Juin 2022   Campus St Priest -860 Rue de St Priest -Montpellier Coordination Scientifique :