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

Amine Dehbaoui
accueil

Hommage au Docteur Amine Dehbaoui

C’est avec stupéfaction et une immense tristesse que nous avons appris le décès brutal de notre collègue, le Dr Amine Dehbaoui. Amine avait effectué sa